New Semantics for Epistemic Specifications
From MaRDI portal
Publication:3003265
DOI10.1007/978-3-642-20895-9_29zbMATH Open1327.68249OpenAlexW1514021129MaRDI QIDQ3003265FDOQ3003265
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
Cited In (21)
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- Epistemic logic programs: a study of some properties
- On Uniform Equivalence of Epistemic Logic Programs
- Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting
- Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
- About Epistemic Negation and World Views in Epistemic Logic Programs
- Evaluating epistemic negation in answer set programming
- Splitting Epistemic Logic Programs
- Thirty years of Epistemic Specifications
- A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming
- Title not available (Why is that?)
- selp: A Single-Shot Epistemic Logic Program Solver
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- 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
- Determining inference semantics for disjunctive logic programs
- Epistemic logic programs: a study of some properties
- Revisiting Epistemic Specifications
- Logic Programming with Graded Modality
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)
