关注
Till Mossakowski
Till Mossakowski
Professor of Computer Science, University of Magdeburg
在 ovgu.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
The Heterogeneous Tool Set, Hets
T Mossakowski, C Maeder, K Lüttich
International Conference on Tools and Algorithms for the Construction and …, 2007
3532007
A condensed semantics for qualitative spatial reasoning about oriented straight line segments
R Moratz, D Lücke, T Mossakowski
Artificial Intelligence 175 (16-17), 2099-2127, 2011
1892011
High-level nets with nets and rules as tokens
K Hoffmann, H Ehrig, T Mossakowski
Applications and Theory of Petri Nets 2005: 26th International Conference …, 2005
1442005
A survey of qualitative spatial and temporal calculi: algebraic and computational properties
F Dylla, JH Lee, T Mossakowski, T Schneider, AV Delden, JVD Ven, ...
ACM Computing Surveys (CSUR) 50 (1), 1-39, 2017
1072017
Heterogeneous specification and the heterogeneous tool set
T Mossakowski
Habilitation thesis, University of Bremen, 2005
1072005
Carnap, Goguen, and the hyperontologies: Logical pluralism and heterogeneous structuring in ontology design
O Kutz, T Mossakowski, D Lücke
Logica Universalis 4, 255-333, 2010
1002010
What is a Logic? In memoriam Joseph Goguen
T Mossakowski, J Goguen, R Diaconescu, A Tarlecki
Logica universalis: towards a general theory of logic, 111-133, 2007
1002007
Qualitative reasoning about relative direction of oriented points
T Mossakowski, R Moratz
Artificial Intelligence 180, 34-45, 2012
982012
Relating CASL with other specification languages: the institution level
T Mossakowski
Theoretical Computer Science 286 (2), 367-475, 2002
962002
Development graphs—proof management for structured specifications
T Mossakowski, S Autexier, D Hutter
The Journal of Logic and Algebraic Programming 67 (1-2), 114-145, 2006
872006
Osmonto-an ontology of openstreetmap tags
M Codescu, G Horsinka, O Kutz, T Mossakowski, R Rau
State of the map Europe (SOTM-EU) 2011, 23-24, 2011
842011
Algebraic–coalgebraic specification in CoCasl
T Mossakowski, L Schröder, M Roggenbach, H Reichel
The Journal of Logic and Algebraic Programming 67 (1-2), 146-197, 2006
792006
Project abstract: logic atlas and integrator (LATIN)
M Codescu, F Horozal, M Kohlhase, T Mossakowski, F Rabe
International Conference on Intelligent Computer Mathematics, 289-291, 2011
742011
The development graph manager MAYA
S Autexier, D Hutter, T Mossakowski, A Schairer
International Conference on Algebraic Methodology and Software Technology …, 2002
722002
HasCasl: Towards integrated specification and development of functional programs
L Schröder, T Mossakowski
International Conference on Algebraic Methodology and Software Technology …, 2002
712002
Introducing the Open Energy Ontology: Enhancing data interpretation and interfacing in energy systems analysis
M Booshehri, L Emele, S Flügel, H Förster, J Frey, U Frey, M Glauer, ...
Energy and AI 5, 100074, 2021
692021
Specification of an ontology for route graphs
B Krieg-Brückner, U Frese, K Lüttich, C Mandel, T Mossakowski, RJ Ross
International Conference on Spatial Cognition, 390-412, 2004
682004
CASL the Common Algebraic Specification Language: Semantics and proof theory
T Mossakowski, AE Haxthausen, D Sannella, A Tarlecki
Computing and Informatics 22 (3/4), 285-321, 2003
652003
The distributed ontology, modeling and specification language–DOL
T Mossakowski, M Codescu, F Neuhaus, O Kutz
The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves …, 2015
632015
What is a logic translation?
T Mossakowski, R Diaconescu, A Tarlecki
Logica Universalis 3, 95-124, 2009
582009
系统目前无法执行此操作，请稍后再试。
文章 1–20
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交