Relating defeasible logic to extended logic programs

DOI10.1007/3-540-46014-4_6MaRDI QIDQ4737932zbMATH OpenFDO

Authors George E. Antoniou

Publication date 11 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/2308/23080054.htm

zbMATH Keywords

knowledge representationlogic programmingnonmonotonic reasoning

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

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

Cited in

(14)

• A directly cautious theory of defeasible consequence for default logic via the notion of general extension
• Relating defeasible and normal logic programming through transformation properties.
• Compiling defeasible inheritance networks to general logic programs
• Advancements in resource-driven substructural 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
• Embedding defeasible logic into logic programming
• Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics
• Defeasible Logic is Stable
• Relating defeasible and default logic
• Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond
• On the relationship between defeasible logic and well-founded semantics
• Embedding defeasible logic into logic programs
• Relative expressiveness of defeasible logics

This page was built for publication: Relating defeasible logic to extended logic programs

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