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

stabilitynonmonotonic reasoninginconsistencydefeasible logicexplicitly defined superiority relationwell- behaviour

Mathematics Subject Classification ID

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

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

(16)

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

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)