Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system
From MaRDI portal
Publication:2372203
DOI10.1016/j.jal.2006.02.002zbMath1122.68029OpenAlexW2126260950MaRDI QIDQ2372203
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
Uses Software
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