Disjunctive logic programs with inheritance

DOI10.1017/S1471068402001394MaRDI QIDQ4452618zbMATH OpenOpenAlexFDO

Authors Francesco Buccafurri, Wolfgang Faber, N. Leone

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL http://journals.cambridge.org/action/displayIssue?jid=TLP&volumeId=2&issueId=03

zbMATH Keywords

nonmonotonic reasoninginheritanceknowledge representationdisjunctive logic programmingexceptions.

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2089454
• Semantics and expressiveness of disjunctive ordered logic
• scientific article; zbMATH DE number 2063231
• The DLV system for knowledge representation and reasoning
• Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system

Cited in

(13)

• The refinement extension principle for semantics of dynamic logic programming
• LUPS -- A language for updating logic programs
• Linking Data to Ontologies
• scientific article; zbMATH DE number 2063231 (Why is no real title available?)
• Answer Set Programming: A Primer
• Characterizing and extending answer set semantics using possibility theory
• Enhancing context knowledge repositories with justifiable exceptions
• Inheritance in Rule-Based Frame Systems: Semantics and Inference
• Reasoning on with Defeasibility in ASP
• scientific article; zbMATH DE number 2089454 (Why is no real title available?)
• Login: a logic programming language with built-in inheritance
• Semantic forgetting in answer set programming
• Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures

This page was built for publication: Disjunctive logic programs with inheritance

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