New semantics for epistemic specifications
From MaRDI portal
Publication:3003265
DOI10.1007/978-3-642-20895-9_29zbMATH Open1327.68249OpenAlexW1514021129MaRDI QIDQ3003265FDOQ3003265
Authors: Michael Gelfond 
Publication date: 26 May 2011
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-20895-9_29
Recommendations
Cited In (22)
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- Epistemic logic programs: a study of some properties
- Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
- Evaluating epistemic negation in answer set programming
- Thirty years of Epistemic Specifications
- Title not available (Why is that?)
- On uniform equivalence of epistemic logic programs
- Founded (auto)epistemic equilibrium logic satisfies epistemic splitting
- Logic programming with graded modality
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- About epistemic negation and world views in epistemic logic programs
- Autoepistemic answer set programming
- Autoepistemic equilibrium logic and epistemic specifications
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
- Refining the semantics of epistemic specifications
- A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming
- Determining inference semantics for disjunctive logic programs
- Splitting epistemic logic programs
- Epistemic logic programs: a study of some properties
- Revisiting Epistemic Specifications
- The language of epistemic specifications (refined) including a prototype solver
- selp: a single-shot epistemic logic program solver
This page was built for publication: New semantics for epistemic specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3003265)
