DLP and FaCT

Authors:
Peter F. Patel-Schneider;Ian Horrocks
Affiliations:
-;-
Venue:
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Year:
1999

FaCT and DLP

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Optimising Propositional Modal Satisfiability for Description Logic Subsumption

AISC '98 Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation
Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K

CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Dynamic backtracking

Journal of Artificial Intelligence Research

The Hybrid µ-Calculus

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning

Hi-index	0.00