( en | de | ru )

 

Disambiguierung von "Mossakowski, Till"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Three Semantics for the Core of the Distributed Ontology Language.

, , und . FOIS, Volume 239 von Frontiers in Artificial Intelligence and Applications, Seite 337-352. IOS Press, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Till Mossakowski

Konrad Mossakowski

Herbert Mossakowski

Gerhard Mossakowski

Dietrich Mossakowski

 

Weitere Publikationen von Autoren mit dem selben Namen

Using Limits of Parchment to Systematically Construct Institutions of partial Algebras.. COMPASS/ADT, Volume 1130 von Lecture Notes in Computer Science, Seite 379-393. Springer, (1995)Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables., , und . FLAIRS, Seite 665-670. AAAI Press, (2007)Categorial Fibring of Logics with Terms and Binding Operators., , , und . FroCoS, Seite 295-316. Research Studies Press/Wiley, (1998)Monad-Independent Hoare Logic in HASCASL., und . FASE, Volume 2621 von Lecture Notes in Computer Science, Seite 261-277. Springer, (2003)The Distributed Ontology, Modeling and Specification Language – DOL, , , und . The Road to Universal Logic, 2, Birkhäuser, (2015)Modular Construction of Models - Towards a Consistency Proof for the Foundational Ontology DOLCE, , und . First International Workshop on Foundations of Computer Science as Logic-Related, (ICTAC-08), (2008)Compiling Logics, , , , und . Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, Volume 7841 von Lecture Notes in Computer Science, Seite 111-126. Springer, (2013)Completeness of Global Evaluation Logic, , und . Mathematical Foundations of Computer Science, Volume 4162 von Lecture Notes in Computer Science, Seite 447-458. Springer; Berlin; http://www.springer.de, (2006)Streets to the OPRA - Finding your destination with imprecise knowledge, , und . IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning, Seite 25-32. (2011)CASL Semantics, , , , , , und . CASL Reference Manual, Volume 2960 von Lecture Notes in Computer Science, Kapitel ÏII, Springer Verlag, London, Ëdited by D. Sannella and A. Tarlecki.(2004)