Epistemic logic programs: a study of some properties

DOI10.1007/978-3-031-15707-3_11OpenAlexW4293180296MaRDI QIDQ2694560

Stefania Costantini, Andrea Formisano

Publication date: 4 April 2023

Full work available at URL: https://doi.org/10.1007/978-3-031-15707-3_11

zbMATH Keywords

answer set programmingepistemic logic programsepistemic splitting

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Cites Work

• Unnamed Item
• Unnamed Item
• Evaluating epistemic negation in answer set programming
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• Logic programming and reasoning with incomplete information
• Epistemic answer set programming
• Splitting epistemic logic programs
• Revisiting Epistemic Specifications
• New Semantics for Epistemic Specifications
• Negation as a Resource: a Novel View on Answer Set Semantics*
• The language of epistemic specifications (refined) including a prototype solver
• On the existence of stable models of non-stratified logic programs
• Thirteen Definitions of a Stable Model
• Splitting Epistemic Logic Programs
• About Epistemic Negation and World Views in Epistemic Logic Programs
• Adding Metalogic Features to Knowledge Representation Languages*

This page was built for publication: Epistemic logic programs: a study of some properties