scientific article; zbMATH DE number 2090541

zbMATH Open1045.68130MaRDI QIDQ4812974FDOQ4812974

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (13)

• Embedding defeasible logic into logic programming
• Title not available (Why is that?)
• Relating defeasible and normal logic programming through transformation properties.
• Title not available (Why is that?)
• Defeasible logic with dynamic priorities
• Title not available (Why is that?)
• Logic Programming with Defaults and Argumentation Theories
• On the relation between vector annotated logic programs and defeasible theories
• Title not available (Why is that?)
• 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

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)