Autoepistemic answer set programming
From MaRDI portal
Publication:2046018
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
autoepistemic logicnon-monotonic reasoninganswer set programmingequilibrium logicepistemic logic programsepistemic specifications
Related Items
Uses Software
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