Publication list - A Web Based Annotated Bibliography

BROWSE
EXPORT
- Export all publications
SORT BY
- Author
- Title
- Type/Journal
- Year
- Recently added
SITE
- Help
- About this site
GUEST USER
Topic Subscribe
LOGIN
Name:

Password:

Deutsch, English, Nederlands, Norsk, <more...>

| 1-25 | 26-50 | 51-75 | 76-100 | 101-125 | 126-150 | 151-175 | 176-200 | 201-225 | 226-250 | 251-275 | 276-300 | 301-325 | 326-350 | 351-375 | 376-400 | 401-425 | 426-450 | 451-475 | 476-500 | 501-525 | 526-550 | 551-575 | 576-600 | 601-625 | 626-650 | 651-675 | 676-700 | 701-725 | 726-750 | 751-775 | 776-800 | 801-825 | 826-850 | 851-875 | 876-900 | 901-925 | 926-950 | 951-975 | 976-1000 | 1001-1025 | 1026-1050 | 1051-1075 | 1076-1100 | 1101-1125 | 1126-1150 | 1151-1175 | 1176-1200 | 1201-1225 | 1226-1250 | 1251-1275 | 1276-1300 | 1301-1325 | 1326-1350 | 1351-1375 | 1376-1400 | 1401-1425 | 1426-1450 | 1451-1475 | 1476-1500 | 1501-1525 | 1526-1550 | 1551-1575 | 1576-1600 | 1601-1625 | 1626-1650 | 1651-1675 | 1676-1700 | 1701-1725 | 1726-1750 | 1751-1775 | 1776-1800 | 1801-1825 | 1826-1850 | 1851-1875 | 1876-1900 | 1901-1925 | 1926-1950 | 1951-1975 | 1976-2000 | 2001-2025 | 2026-2050 | 2051-2075 | 2076-2100 | 2101-2125 | 2126-2150 | 2151-2175 | 2176-2200 | 2201-2225 | 2226-2250 | 2251-2275 | 2276-2300 | 2301-2325 | 2326-2350 | 2351-2375 | 2376-2400 | 2401-2425 | 2426-2450 | 2451-2475 | 2476-2500 | 2501-2525 | 2526-2550 | 2551-2575 | 2576-2600 | 2601-2625 | 2626-2650 | 2651-2675 | 2676-2700 | 2701-2725 | 2726-2750 | 2751-2764 |

A. Mahnke and B. Krieg-Brückner, Literate Ontology Development, in: On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops, pages 753-757, Springer; Berlin; http://www.springer.de, 2004

K. Lüttich, T. Mossakowski and B. Krieg-Brückner, Ontologies for the Semantic Web in CASL, in: Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), pages 106-125, Springer; Berlin; http://www.springer.de, 2005

[DOI]

K. Lüttich and T. Mossakowski, Specification of Ontologies in CASL, in: Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), pages 140-150, IOS Press; Amsterdam; http://www.iospress.nl, 2004

Klaus Lüttich and Till Mossakowski, Reasoning Support for CASL with Automated Theorem Proving Systems, in: WADT 2006, pages 74-91, Springer-Verlag Heidelberg, 2007

Klaus Lüttich, Claudio Masolo and Stefano Borgo, Development of Modular Ontologies in CASL, in: Workshop on Modular Ontologies 2006, CEUR-WS.org, 2006

[URL]

K. Lüttich, B. Krieg-Brückner and T. Mossakowski, Tramway Networks as Route Graphs, in: FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, pages 109-119, 2004

Klaus Lüttich, Approximation of Ontologies in CASL, in: CALCO-jnr 2005 CALCO Young Researchers Workshop Selected Papers, pages 41-53, University of Wales Swansea, 2005

Klaus Lüttich, Approximation of Ontologies in CASL, in: Formal Ontology in Information Systems -- Proceedings of the Fourth International Conference (FOIS-2006), pages 335--346, IOS Press; Amsterdam; http://www.iospress.nl, 2006

Dominik Lücke, Till Mossakowski and Diedrich Wolter, Qualitative reasoning about convex relations, in: Spatial Cognition VI 2008, pages 426-440, Springer, 2008

[DOI]

Dominik Lücke, Till Mossakowski and Reinhard Moratz, Streets to the OPRA - Finding your destination with imprecise knowledge, in: IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning, pages 25-32, 2011

[URL]

Dominik Lücke and Till Mossakowski, A much better polynomial time approximation of consistency in the LR calculus, in: Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), pages 175-185, IOS Press; Amsterdam; http://www.iospress.nl, 2010

[URL]

Carsten Lutz and Frank Wolter, Non-Uniform Data Complexity of Query Answering in Description Logics (With Appendix), in: Proceedings of the 13nd International Joint Conference on Principles of Knowledge Representation and Reasoning ({KR2012}), 2012

Carsten Lutz, Inanç Seylan and Frank Wolter, An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic $mathcal{EL}$ (With Appendix), in: Proceedings of the 13nd International Joint Conference on Principles of Knowledge Representation and Reasoning ({KR2012}), 2012

Jae Hee Lee, Jochen Renz and Diedrich Wolter, StarVars---Effective Reasoning about Relative Directions, in: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, pages 976--982, AAAI Press; Menlo Park, CA, 2013

Jae Hee Lee, Cylindrical algebraic decomposition for reasoning about qualitative spatial knowledge (2011), in: SIGSAM Bull., 44(123--124)

[DOI]

Christoph Lange, Till Mossakowski and Oliver Kutz, LoLa: A Modular Ontology of Logics, Languages, and Translations, in: Workshop on modular ontologies, 2012

[URL]

Christoph Lange, and Oliver Kutz, Till Mossakowski and Michael Grüninger, The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization, in: Conferences on Intelligent Computer Mathematics CICM 2012, Springer, 2012

[DOI]

P. Lamon, C. Stachniss, R. Triebel, P. Pfaff, C. Plagemann, G. Grisetti, S. Kolski, W. Burgard and R. Siegwart, Mapping with an Autonomous Car, in: Workshop on Safe Navigation in Open and Dynamic Environments at the IEEE/RSJ Int.~Conf.~on Intelligent Robots and Systems (IROS), 2006

Peter König, Von der Idee zum Bild und zurück, Universität Bremen, 2005

Oliver Kutz, Immanuel Normann, Till Mossakowski and Dirk Walther, Chinese Whispers and Connected Alignments, in: Proc. of the 5th International Workshop on Ontology Matching, OM-2010, collocated with the 9th International Semantic Web Conference ISWC-2010, November 7, 2010, Shanghai, China., pages 25-36, 2010

[URL]

Oliver Kutz, Till Mossakowski and Dominik Lücke, Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design (2010), in: Logica Univeralis, 4:2(255-333)

[URL]

Oliver Kutz, Till Mossakowski, Joana Hois, Mehul Bhatt and John Bateman, Ontological Blending in DOL, in: C2GI - Computational Creativity, Concept Invention, and General Intelligence, at ECAI 2012, Publication Series of the Institute of Cognitive Science, 2012

[URL]

Oliver Kutz, Till Mossakowski, Janna Hastings, Alexander Garcia Castro and Aleksandra Sojic, Hyperontology for the Biomedical Ontologist - A Sketch and Some Examples, in: Workshop on Working with Multiple Biomedical Ontologies (at ICBO 2011), 2011

[URL]

Oliver Kutz, Till Mossakowski, Christian Galinski and Christoph Lange, Towards a Standard for Heterogeneous Ontology Integration and Interoperability, in: Proceedings of the First International Conference on terminology, languages and content resources (LarC 2011), pages 97-106, Seoul: KATS e.a, 2011

Oliver Kutz, Till Mossakowski and Mihai Codescu, Shapes of Alignments - Construction, Combination, and Computation, in: International Workshop on Ontologies: Reasoning and Modularity (WORM-08), 2008

[URL]

processing time: 0.2180 seconds.