Top
Topic: I1-OntoSpace
Publications for topic "I1-OntoSpace" sorted by title
A
| and , A Modular Consistency Proof for Dolce, in: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, pages 227-234, AAAI Press; Menlo Park, CA, 2011 |
[URL] |
| and , Achieving reference via contrast in route instructions and spatial object identification, in: Workshop on Reference, 21st Scandinavian Conference of Linguistics, June 1-4, 2005, 2005 |
| , and , 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 |
B
| , and , Beyond left, right, and straight: How speakers disambiguate route directions, in: Australian Linguistic Society Conference, 2005 |
C
| , and , Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design (2010), in: Logica Univeralis, 4:2(255-333) |
[URL] |
| , , and , 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] |
| , and , Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design, in: Principles of Knowledge Representation and Reasoning: Proceedings of the 14th International Conference, KR 2014, Vienna, Austria, 2014 |
[URL] |
| and , Conservativity in Structured Ontologies, in: ECAI 2008, IOS Press, 2008 |
|
| , Conveying spatial information in linguistic human-robot interaction, in: DiaBruck, 7th Workshop on the Semantics and Pragmatics of Dialogue, Proceedings, Sept. 4th-6th 2003, pages 207--8, 2003 |
|
D
| , and , Deciding FO-Rewritability in EL, in: Description Logics, 2012 |
| , and , Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability, in: IJCAI, pages 983-988, 2011 |
|
| and , Discourse factors influencing spatial descriptions in English and German, in: Spatial Cognition V: Reasoning, Action, Interaction, pages 470--488, Springer-Verlag Berlin Heidelberg, 2007 |
| , , , and , DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap, in: Fourth International Conference on GeoSpatial Semantics, pages 88--107, Springer, 2011 |
[URL] |
E
| , , , and , E pluribus unum: Formalisation, Use-Cases, and Computational Support for Conceptual Blending, in: Computational Creativity Research: Towards Creative Machines. Thinking Machines. Studies in Computational Cognition. Editors: T. R. Besold, M. Schorlemmer, A. Smaill, pages 167-196, Atlantis - Springer, 2015 |
[DOI] [URL] |
F
| and , Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics, in: IJCAI, pages 989-995, 2011 |
|
G
| and , Group-based spatial reference in linguistic human-robot interaction, in: Proc. EuroCogSci 2003: The European Cognitive Science Conference, September 10-13, Osnabrück, Germany, 2003 |
|
H
| and , Heterogeneous colimits, in: MoVaH'08 Workshop on Modeling, Validation and Heterogeneity, IEEE press, 2008 |
[URL] |
| , and , Heterogeneously Structured Ontologies: Integration, Connection, and Refinement, in: Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia, 2008 |
[URL] |
| , and , How to model the shapes of molecules? Combining topology and ontology using heterogeneous specifications, in: Deep Knowledge Representation Challenge Workshop, co-located with K-CAP 2011, 2011 |
[URL] |
| , , , and , Hyperontology for the Biomedical Ontologist - A Sketch and Some Examples, in: Workshop on Working with Multiple Biomedical Ontologies (at ICBO 2011), 2011 |
[URL] |
I
| , Identifying objects on the basis of spatial contrast: an empirical study, in: Spatial Cognition IV: Reasoning, Action, Interaction. International Conference Spatial Cognition 2004, Proceedings, pages 124-146, Springer Verlag; 14197 Berlin; http://www.springeronline.com, 2005 |
| (ed.), IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, IJCAI/AAAI, 2011 |
| , Imposing common ground by using temporal connectives: The pragmatics of before and after, in: Lexical Markers of Common Grounds, pages 113-139, 2007 |
| and , Instruction modes for joint spatial reference between naive users and a mobile robot, in: Proc. {ICRISSP 2003 IEEE International Conference on Robotics, Intelligent Systems and Signal Processing, Special Session on New Methods in Human Robot Interaction, October 8-13, 2003, Changsha, Hunan, China}, 2003 |
|
| , Instruction modes for joint spatial reference between naive users and a mobile robot, in: Proc. RISSP 2003 IEEE International Conference on Robotics, Intelligent Systems and Signal Processing, Special Session on New Methods in Human Robot Interaction, October 8-13, 2003, Changsha, Hunan, China, 2003 |
|