Search results for: Franz Baader
KI - Künstliche Intelligenz > 2017 > 31 > 1 > 85-90
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning and Uncertainty > 9-16
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Applications of Logics > 228-248
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 11-27
Lecture Notes in Computer Science > Conceptual Structures for Knowledge Creation and Communication > Logical and Linguistic Aspects > 117-130
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 1-32
Lecture Notes in Computer Science > Conceptual Structures: Logical, Linguistic, and Computational Issues > Contextual Logic and Formal Concept Analysis > 292-305
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP '95 > 380-397
International Handbooks on Information Systems > Handbook on Ontologies > Ontology Representation and Reasoning > 3-28