Searching for "An SAT-based Decision Procedure for ALC." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
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
Showing 1 through 4.
