Disjunctive logic programs with inheritance

DOI10.1017/S1471068402001394zbMATH Open1087.68527OpenAlexW3104122731MaRDI QIDQ4452618FDOQ4452618

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

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

zbMATH Keywords

nonmonotonic reasoninginheritanceknowledge representationdisjunctive logic programmingexceptions.

Mathematics Subject Classification ID

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

Cited In (13)

• The refinement extension principle for semantics of dynamic logic programming
• Linking Data to Ontologies
• LUPS -- A language for updating logic programs
• Title not available (Why is that?)
• Answer Set Programming: A Primer
• Characterizing and extending answer set semantics using possibility theory
• Inheritance in Rule-Based Frame Systems: Semantics and Inference
• Enhancing context knowledge repositories with justifiable exceptions
• Reasoning on with Defeasibility in ASP
• Title not available (Why is that?)
• Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
• Login: a logic programming language with built-in inheritance
• Semantic forgetting in answer set programming

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)