Author:
Lehmann Jos,Chan Michael,Bundy Alan
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computer Networks and Communications,Information Systems
Reference34 articles.
1. Ballarin C (2004) Locales and locale expressions in Isabelle/Isar. Lecture Notes in Computer Science 3085:34–50
2. Borgida A, Serafini L (2003) Distributed description logics: assimilating information from peer sources. J Data Semantics 1:153–184
3. Bouquet P, Serafini L (2003) On the difference between bridge rules and lifting axioms. In: CONTEXT, pp 80–93
4. Bouquet P, Giunchiglia F, Van Harmelen F, Serafini L, Stuckenschmidt H (2004) Contextualizing ontologies. Web Semantics: Science, Services and Agents on the World Wide Web 1(4):325–343. ISSN:1570–8268
5. Bundy A, Chan M (2008) Towards ontology evolution in physics. In: Hodges W, de Queiroz R (eds) Logic, language, information and computation. Lecture notes in computer science, vol 5110. Springer, Berlin-Heidelberg, pp 98–110
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Symbolic and Hybrid Models of Cognition;The Cambridge Handbook of Computational Cognitive Sciences;2023-05-11
2. Cognitive Modeling Paradigms;The Cambridge Handbook of Computational Cognitive Sciences;2023-05-11
3. The History of the DReaM Group;Mathematical Reasoning: The History and Impact of the DReaM Group;2021
4. A Formal Framework for the Ontology Evolution;Intelligent Information and Database Systems;2019
5. Proof Verification Technology and Elementary Physics;Algorithms and Complexity in Mathematics, Epistemology, and Science;2019