Searching for "An SAT-based Decision Procedure for ALC." – sorted by Relevance.
-
A SAT-Based Decision Procedure for ALC
- . Ordered Binary Decision Diagrams and the Davis-Putnam Procedure. In Proc. of the 1st International
- Cited by 50 (16 self) – Add To MetaCart
-
Reasoning with Expressive DLs – p.1/39 Talk Outline
- , pages 270–281. Morgan Kaufmann, 1992. F. Giunchiglia and R. Sebastiani. A SAT-based decision procedure
- Add To MetaCart
-
Reasoning with Expressive DLs – p. 1/47 Talk Outline The Semantic Web and DAML+OIL Description Logics and Reasoning Reasoning techniques Implementing DL systems Research Challenges Summary Reasoning with Expressive DLs – p. 2/47 The Semantic Web and DAML+
- . Giunchiglia and R. Sebastiani. A SAT-based decision procedure for ALC. In Proc. of KR’96, pages 304
- Add To MetaCart
-
Semantic Web Ontology Languages
- –281. Morgan Kaufmann, 1992. F. Giunchiglia and R. Sebastiani. A SAT-based decision procedure for ALC. In Proc
- Add To MetaCart

