New Semantics for Epistemic Specifications
From MaRDI portal
Publication:3003265
DOI10.1007/978-3-642-20895-9_29zbMath1327.68249OpenAlexW1514021129MaRDI QIDQ3003265
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
Related Items (18)
Evaluating epistemic negation in answer set programming ⋮ Logic Programming with Graded Modality ⋮ Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty ⋮ Thirty years of Epistemic Specifications ⋮ Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting ⋮ About Epistemic Negation and World Views in Epistemic Logic Programs ⋮ On Uniform Equivalence of Epistemic Logic Programs ⋮ Epistemic logic programs: a study of some properties ⋮ Unnamed Item ⋮ Determining inference semantics for disjunctive logic programs ⋮ selp: A Single-Shot Epistemic Logic Program Solver ⋮ Splitting Epistemic Logic Programs ⋮ Autoepistemic answer set programming ⋮ Autoepistemic equilibrium logic and epistemic specifications ⋮ A parallel memory-efficient epistemic logic program solver: harder, better, faster ⋮ A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming ⋮ Vicious circle principle, aggregates, and formation of sets in ASP based languages ⋮ Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
This page was built for publication: New Semantics for Epistemic Specifications
