Mechanizing Mathematical Reasoning
From MaRDI portal
Publication:5717442
DOI10.1007/b106663zbMath1098.68705OpenAlexW2484955858MaRDI QIDQ5717442
Franz Baader, Ian Horrocks, Ulrike Sattler
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106663
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Network design and communication in computer systems (68M10) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items (20)
Web ontology representation and reasoning via fragments of set theory ⋮ Reasoning with concept diagrams about antipatterns in ontologies ⋮ Semantic forgetting in expressive description logics ⋮ Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing ⋮ Petri Nets over Ontological Graphs: Conception and Application for Modelling Tasks of Robots ⋮ A tableau algorithm for description logics with concrete domains and general TBoxes ⋮ Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\) ⋮ Generalized fuzzy rough description logics ⋮ Manifest domains: analysis and description ⋮ Fuzzy description logics under Gödel semantics ⋮ On the failure of the finite model property in some fuzzy description logics ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach ⋮ Reasoning with rough description logics: An approximate concepts approach ⋮ Ontology Integration Using ε-Connections ⋮ Composing Modular Ontologies with Distributed Description Logics ⋮ Description Logics ⋮ Unnamed Item ⋮ On the scalability of description logic instance retrieval ⋮ Fuzzy description logics with general t-norms and datatypes ⋮ Towards Contingent World Descriptions in Description Logics
Uses Software
This page was built for publication: Mechanizing Mathematical Reasoning