Embedding defeasible logic into logic programs

DOI10.1007/3-540-45619-8_27MaRDI QIDQ4812974zbMATH OpenFDO

Authors Grigoris Antoniou, Michael J. Maher

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2401/24010393.htm

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Embedding defeasible logic into logic programming
• Relating defeasible logic to extended logic programs
• Interdefinability of defeasible logic and logic programming under the well-founded semantics
• Relating defeasible and default logic
• On the relationship between defeasible logic and well-founded semantics

Cited in

(15)

• Relating defeasible and normal logic programming through transformation properties.
• Compiling defeasible inheritance networks to general logic programs
• Advancements in resource-driven substructural defeasible logic
• A denotational semantics of defeasible logic
• Interdefinability of defeasible logic and logic programming under the well-founded semantics
• On the relation between vector annotated logic programs and defeasible theories
• Defeasible logic with dynamic priorities
• Embedding defeasible logic into logic programming
• scientific article; zbMATH DE number 2063022 (Why is no real title available?)
• Relating defeasible and default logic
• Annotated defeasible logic
• Relating defeasible logic to extended logic programs
• Defeasible logic versus Logic Programming without Negation as Failure
• Logic Programming with Defaults and Argumentation Theories
• Defeasible reasoning via \(\mathrm{Datalog} {}^\neg\)

Describes a project that uses

Uses Software

• DELORES

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

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