scientific article; zbMATH DE number 1420808

MaRDI QIDQ4944873zbMATH OpenFDO

Authors Grigoris Antoniou, David Billington, Michael J. Maher

Publication date 5 December 2000

zbMATH Keywords

defeasible logiclogic-programmingnonmonotonic reasoning formalism

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1301973
• Defeasible Logic is Stable
• scientific article; zbMATH DE number 2063022
• Representation results for defeasible logic
• Embedding defeasible logic into logic programming

Cited in

(15)

• On normal forms in Łukasiewicz logic
• A normal form for logical derivations implying one for arithmetic derivations
• Possible world semantics for defeasible deontic logic
• Representation results for defeasible logic
• scientific article; zbMATH DE number 5371703 (Why is no real title available?)
• scientific article; zbMATH DE number 1269578 (Why is no real title available?)
• scientific article; zbMATH DE number 1301973 (Why is no real title available?)
• Defeasible Logic is Stable
• scientific article; zbMATH DE number 1941934 (Why is no real title available?)
• scientific article; zbMATH DE number 1964822 (Why is no real title available?)
• Propositional defeasible logic has linear complexity
• scientific article; zbMATH DE number 2063022 (Why is no real title available?)
• General normal forms for any additive logic
• Devising the set of abnormalities for a given defeasible rule
• Relative expressiveness of defeasible logics. II

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 Q4944873)