Stable reasoning

DOI10.1080/11663081.2018.1439358zbMath1400.68203OpenAlexW4233129850MaRDI QIDQ4586232

No author found.

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

computational logicanswer set programmingphilosophy of logicstable reasoning

Mathematics Subject Classification ID

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

Related Items (1)

Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory

Cites Work

• On intermediate many-valued logics
• Equilibrium logic
• Conflict-driven answer set solving: from theory to practice
• On Semantic Update Operators for Answer-Set Programs
• Temporal Equilibrium Logic: A First Approach
• Probabilistic reasoning with answer sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Stable reasoning