Thirty years of Epistemic Specifications
From MaRDI portal
Publication:6085582
DOI10.1017/s147106842100048xarXiv2108.07669OpenAlexW3214062721MaRDI QIDQ6085582
Wolfgang Faber, Michael Gelfond, Jorge Fandinno
Publication date: 12 December 2023
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2108.07669
answer set programmingepistemic reasoningepistemic logic programsepistemic specificationsautopistemic logic
Related Items
Cites Work
- Evaluating epistemic negation in answer set programming
- Semantical considerations on nonmonotonic logic
- On the relation between default and autoepistemic logic
- Nonmonotonic logic and temporal projection
- On modal logic with an intuitionistic base
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- On an intuitionistic modal logic
- Answer set programming and plan generation
- First-order modal logic
- On the computational cost of disjunctive logic programming: Propositional case
- Logic programming and reasoning with incomplete information
- Logic programs with stable model semantics as a constraint programming paradigm
- Autoepistemic answer set programming
- Autoepistemic equilibrium logic and epistemic specifications
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- Splitting epistemic logic programs
- Founded world views with autoepistemic equilibrium logic
- Revisiting Epistemic Specifications
- New Semantics for Epistemic Specifications
- The language of epistemic specifications (refined) including a prototype solver
- What should a database know?
- selp: A Single-Shot Epistemic Logic Program Solver
- Splitting Epistemic Logic Programs
- Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting
- On Uniform Equivalence of Epistemic Logic Programs
- Revisiting Explicit Negation in Answer Set Programming
- eclingo : A Solver for Epistemic Logic Programs
- Constructible falsity
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
