scientific article; zbMATH DE number 2090541

MaRDI QIDQ4812974zbMATH OpenFDO

Authors Grigoris Antoniou, Michael J. Maher

Publication date 12 August 2004

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
• 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

(13)

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

Describes a project that uses

Uses Software

• DELORES

This page was built for publication:

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