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

disjunctive logic programmingexceptions.inheritanceknowledge representationnonmonotonic reasoning

Mathematics Subject Classification ID

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

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

(16)

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

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)