Epistemic logic programs: a study of some properties

DOI10.1017/s1471068424000012MaRDI QIDQ6656459

Andrea Formisano, Stefania Costantini

Publication date: 3 January 2025

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

answer set programmingepistemic logic programsepistemic splitting

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Logic programming (68N17)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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*
• Thirty years of Epistemic Specifications
• Refining the semantics of epistemic specifications

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 Q6656459)