Attribut:Booktitle
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
A
Proceedings InTech/VJFuzzy'2002 +
Proceedings of the Thirteenth International Workshop on Non-Monotonic Reasoning (NMR) +
Proceedings of The Ninth International Conference on Concept Lattices and Their Applications +
Proceedings of DL 2005 +
Proceedings of the 7th Extended Semantic Web Conference (ESWC 2010) +
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms +
Proceedings of the 8th International Semantic Web Conference (ISWC 2009) +
Proceedings of the 1998 ACM Symposium on Applied Computing, Multimedia Track, Atlanta, GA, USA (to appear) +
Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning (KR'12) +
Spatial Information Theory - 11th International Conference, {COSIT} 2013, Scarborough, UK, . Proceedings +
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday +
Proceedings of the 25th International Workshop on Description Logics (DL'12) +
Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence (AI'12) +
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2004) +
Proceedings of the Conference on Uncertainty in Artificial Intelligence (UAI'2005) +
Proceedings of the 41st Symposium on Principles of Database Systems (PODS'22) +
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report) +
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning +
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz +
Conceptual Structures in Practice +
LPAR 2001 +
Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002 +