Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system

DOI10.1016/j.jal.2006.02.002zbMath1122.68029OpenAlexW2126260950MaRDI QIDQ2372203

Francesco Ricca, Nicola Leone

Publication date: 25 July 2007

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2006.02.002

zbMATH Keywords

typesreasoningdisjunctive logic programmingontologiesobjects

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Uses Software

• GNT
• HiLog
• swrl

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• HiLog: A foundation for higher-order logic programming
• Logical foundations of object-oriented and frame-based languages
• Knowledge Representation, Reasoning and Declarative Problem Solving
• The DLV system for knowledge representation and reasoning
• Logics in Artificial Intelligence
• Logic Programming and Nonmonotonic Reasoning
• Discovery Science