New semantics for epistemic specifications

DOI10.1007/978-3-642-20895-9_29MaRDI QIDQ3003265zbMATH OpenOpenAlexFDO

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)

• 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
• scientific article; zbMATH DE number 7453102 (Why is no real title available?)
• On uniform equivalence of epistemic logic programs
• Founded (auto)epistemic equilibrium logic satisfies epistemic splitting
• Vicious circle principle, aggregates, and formation of sets in ASP based languages
• Logic programming with graded modality
• 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
• Epistemic logic programs: a study of some properties
• Splitting epistemic logic programs
• 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)