Epistemic logic programs: a study of some properties

DOI10.1007/978-3-031-15707-3_11MaRDI QIDQ2694560zbMATH OpenOpenAlexFDO

Authors 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

• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 741347 (Why is no real title available?)
• About epistemic negation and world views in epistemic logic programs
• Adding Metalogic Features to Knowledge Representation Languages*
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• Epistemic answer set programming
• Evaluating epistemic negation in answer set programming
• Logic programming and reasoning with incomplete information
• Negation as a resource: a novel view on answer set semantics
• New semantics for epistemic specifications
• On the existence of stable models of non-stratified logic programs
• Revisiting Epistemic Specifications
• Splitting epistemic logic programs
• Splitting epistemic logic programs
• The language of epistemic specifications (refined) including a prototype solver
• Thirteen Definitions of a Stable Model

Cited in

(5)

• Evaluating epistemic negation in answer set programming
• scientific article; zbMATH DE number 10093 (Why is no real title available?)
• Adding proof calculi to epistemic logics with structured knowledge
• Logics for epistemic programs
• A lightweight epistemic logic and its application to planning

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2694560)