Defeasible Logic is Stable

DOI10.1093/LOGCOM/3.4.379MaRDI QIDQ4276168zbMATH OpenOpenAlexFDO

Authors David Billington

Publication date 15 March 1995

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/3.4.379

zbMATH Keywords

defeasible logicexplicitly defined superiority relationinconsistencynonmonotonic reasoningstabilitywell- behaviour

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other applications of logic (03B80) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1301973
• scientific article; zbMATH DE number 1420808
• scientific article; zbMATH DE number 2087247
• scientific article; zbMATH DE number 1884386
• Well-founded semantics for defeasible logic

Cited in

(17)

• Proving quantified literals in defeasible logic
• t-DeLP: an argumentation-based temporal defeasible logic programming framework
• Interdefinability of defeasible logic and logic programming under the well-founded semantics
• Extending a temporal defeasible argumentation framework with possibilistic weights
• Propositional Clausal Defeasible Logic
• scientific article; zbMATH DE number 408799 (Why is no real title available?)
• scientific article; zbMATH DE number 1301973 (Why is no real title available?)
• scientific article; zbMATH DE number 733394 (Why is no real title available?)
• Levels of modality for BDI logic
• Stable reasoning
• scientific article; zbMATH DE number 1420808 (Why is no real title available?)
• Programming with annotated logics
• scientific article; zbMATH DE number 4189229 (Why is no real title available?)
• A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
• Well-founded semantics for defeasible logic
• Dynamic superiorities in defeasible logic
• Which are the true defeasible logics?

This page was built for publication: Defeasible Logic is Stable

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