Disjunctive logic programming with types and objects: the DLV^+ system

DOI10.1016/J.JAL.2006.02.002MaRDI QIDQ2372203zbMATH OpenOpenAlexFDO

Authors F. Ricca, N. 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

disjunctive logic programmingobjectsontologiesreasoningtypes

Mathematics Subject Classification ID

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

Recommendations

• The DLV system for knowledge representation and reasoning
• scientific article; zbMATH DE number 1890626
• scientific article; zbMATH DE number 1926616
• Logic Programming and Nonmonotonic Reasoning
• scientific article; zbMATH DE number 5043340

Cites work

• Declarative problem-solving using the DLV system
• Discovery Science
• HiLog: A foundation for higher-order logic programming
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming and Nonmonotonic Reasoning
• Logical foundations of object-oriented and frame-based languages
• Logics in Artificial Intelligence
• The DLV system for knowledge representation and reasoning

Cited in

(1)

• Disjunctive logic programs with inheritance

Describes a project that uses

Uses Software

• GNT
• HiLog
• swrl

This page was built for publication: Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system

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