Automated Reasoning with Analytic Tableaux and Related Methods
From MaRDI portal
Publication:5479278
DOI10.1007/11554554zbMath1142.68533OpenAlexW2486590071MaRDI QIDQ5479278
Publication date: 7 July 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11554554
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35)
Related Items (5)
An automata-theoretic approach to constraint LTL ⋮ A tableau algorithm for description logics with concrete domains and general TBoxes ⋮ An Automata-based Approach for CTL⋆ With Constraints ⋮ LTL over integer periodicity constraints ⋮ Flexible software architectures for ontology-based information systems
This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods
