System description: DLP

DOI10.1007/10721959_23MaRDI QIDQ2723427zbMATH OpenFDO

Authors Peter F. Patel-Schneider

Publication date 5 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10721959_23

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• TANCS-2000 results for DLP
• scientific article; zbMATH DE number 1890626
• Fuzzy description logic programs
• The DLV system for knowledge representation and reasoning
• Logic Programming and Nonmonotonic Reasoning

Cited in

(10)

• EXPtime tableaux for ALC
• OWL reasoning: subsumption test hardness and modularity
• Lash 1.0 (system description)
• TANCS-2000 results for DLP
• Towards an efficient library for SAT: A manifesto
• System Description: E- KRHyper
• SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
• RACER system description
• scientific article; zbMATH DE number 1931693 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: System description: DLP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2723427)