Embedding defeasible logic into logic programming

DOI10.1017/S1471068406002778MaRDI QIDQ3422417zbMATH OpenOpenAlexWikidataFDO

Authors Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher

Publication date 13 February 2007

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

Full work available at URL https://doi.org/10.1017/s1471068406002778

zbMATH Keywords

nonmonotonic reasoningDefeasible reasoningKunen semantics

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2090541
• scientific article; zbMATH DE number 2087247
• Interdefinability of defeasible logic and logic programming under the well-founded semantics
• scientific article; zbMATH DE number 2084375
• scientific article; zbMATH DE number 1884386

Cited in

(17)

• Revision of defeasible preferences
• scientific article; zbMATH DE number 2087247 (Why is no real title available?)
• Relating defeasible and normal logic programming through transformation properties.
• scientific article; zbMATH DE number 2090541 (Why is no real title available?)
• scientific article; zbMATH DE number 2063022 (Why is no real title available?)
• Defeasible logic with dynamic priorities
• scientific article; zbMATH DE number 1696797 (Why is no real title available?)
• Time and defeasibility in FIPA ACL semantics
• Logic Programming with Defaults and Argumentation Theories
• On the relation between vector annotated logic programs and defeasible theories
• Well-founded semantics for defeasible logic
• scientific article; zbMATH DE number 2084375 (Why is no real title available?)
• Defeasible logic versus Logic Programming without Negation as Failure
• Interdefinability of defeasible logic and logic programming under the well-founded semantics
• Advancements in resource-driven substructural defeasible logic
• Annotated defeasible logic
• scientific article; zbMATH DE number 1420808 (Why is no real title available?)

Describes a project that uses

Uses Software

• DELORES

This page was built for publication: Embedding defeasible logic into logic programming

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