Stable reasoning

DOI10.1080/11663081.2018.1439358zbMATH Open1400.68203OpenAlexW4233129850MaRDI QIDQ4586232FDOQ4586232

Author name not available (Why is that?)

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

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

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)

Cites Work

• Equilibrium logic
• Title not available (Why is that?)
• Conflict-driven answer set solving: from theory to practice
• Probabilistic reasoning with answer sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• On intermediate many-valued logics
• On Semantic Update Operators for Answer-Set Programs
• Temporal Equilibrium Logic: A First Approach
• Title not available (Why is that?)

Cited In (4)

• Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
• Formal modeling of human reasoning: errors, limitations and Baconian bees
• Title not available (Why is that?)
• Stable inference as intuitionistic validity

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)