Stable reasoning

DOI10.1080/11663081.2018.1439358MaRDI QIDQ4586232zbMATH OpenOpenAlexFDO

Authors

Publication date 12 September 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2018.1439358

zbMATH Keywords

answer set programmingcomputational logicphilosophy of logicstable reasoning

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 408799
• Stable modal logics
• Stable inference as intuitionistic validity
• Logical semantics for stability
• Inference to the stable explanations
• Reasoning with infinite stable models
• Defeasible Logic is Stable
• Reasoning about rationality
• Stability and General Logics

Cites work

• scientific article; zbMATH DE number 3609636 (Why is no real title available?)
• scientific article; zbMATH DE number 3250542 (Why is no real title available?)
• scientific article; zbMATH DE number 3060434 (Why is no real title available?)
• scientific article; zbMATH DE number 3099240 (Why is no real title available?)
• Conflict-driven answer set solving: from theory to practice
• Equilibrium logic
• On intermediate many-valued logics
• On semantic update operators for answer-set programs
• Probabilistic reasoning with answer sets
• Temporal Equilibrium Logic: A First Approach

Cited in

(6)

• scientific article; zbMATH DE number 408799 (Why is no real title available?)
• Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
• Formal modeling of human reasoning: errors, limitations and Baconian bees
• A Note on Cumulative Stereotypical Reasoning
• Stable inference as intuitionistic validity
• The roles of associational and causal reasoning in problem solving.

This page was built for publication: Stable reasoning

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