Autoepistemic answer set programming

DOI10.1016/j.artint.2020.103382zbMath1504.68208OpenAlexW3082775062MaRDI QIDQ2046018

Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro

Publication date: 16 August 2021

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2020.103382

zbMATH Keywords

autoepistemic logicnon-monotonic reasoninganswer set programmingequilibrium logicepistemic logic programsepistemic specifications

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items

Thirty years of Epistemic Specifications

Uses Software

• Clingo
• eclingo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semi-equilibrium models for paracoherent answer set programs
• Evaluating epistemic negation in answer set programming
• Equilibrium logic
• Dynamic epistemic logic
• Semantical considerations on nonmonotonic logic
• On the relation between default and autoepistemic logic
• Non-monotonic logic. I
• A logic of knowledge and justified assumption
• Minimal belief and negation as failure
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• Minimal temporal epistemic logic
• Logic programming and reasoning with incomplete information
• Logic programs with stable model semantics as a constraint programming paradigm
• Lower bound founded logic of here-and-there
• Autoepistemic equilibrium logic and epistemic specifications
• Forgetting auxiliary atoms in forks
• Infinitary equilibrium logic and strongly equivalent logic programs
• Partial equilibrium logic
• Fuzzy Equilibrium Logic
• Revisiting Epistemic Specifications
• New Semantics for Epistemic Specifications
• The language of epistemic specifications (refined) including a prototype solver
• A First-order Theory of Communication and Multi-agent Plans
• The well-founded semantics for general logic programs
• Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
• Temporal equilibrium logic: a survey
• Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting
• eclingo : A Solver for Epistemic Logic Programs
• Logic Programming and Nonmonotonic Reasoning
• Deductive Algorithmic Knowledge
• Verifying security protocols as planning in logic programming
• Gelfond-Zhang aggregates as propositional formulas