New semantics for epistemic specifications

DOI10.1007/978-3-642-20895-9_29MaRDI QIDQ3003265zbMATHOpenAlexFDO

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

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• The language of epistemic specifications (refined) including a prototype solver
• Revisiting Epistemic Specifications
• A new approach to epistemic logic
• Autoepistemic equilibrium logic and epistemic specifications
• Logic programming and reasoning with incomplete information

Cited in

(22)

• Autoepistemic answer set programming
• Thirty years of Epistemic Specifications
• selp: a single-shot epistemic logic program solver
• Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
• Founded (auto)epistemic equilibrium logic satisfies epistemic splitting
• Revisiting Epistemic Specifications
• Splitting epistemic logic programs
• Evaluating epistemic negation in answer set programming
• Epistemic logic programs: a study of some properties
• A parallel memory-efficient epistemic logic program solver: harder, better, faster
• Refining the semantics of epistemic specifications
• About epistemic negation and world views in epistemic logic programs
• Autoepistemic equilibrium logic and epistemic specifications
• On uniform equivalence of epistemic logic programs
• Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
• Logic programming with graded modality
• The language of epistemic specifications (refined) including a prototype solver
• A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming
• Determining inference semantics for disjunctive logic programs
• Vicious circle principle, aggregates, and formation of sets in ASP based languages
• scientific article; zbMATH DE number 7453102 (Why is no real title available?)
• Epistemic logic programs: a study of some properties

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)