Epistemic logic programs: a study of some properties

DOI10.1017/S1471068424000012MaRDI QIDQ6656459FDOQ6656459

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

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic programming and reasoning with incomplete information
• Epistemic answer set programming
• Evaluating epistemic negation in answer set programming
• 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
• Thirteen Definitions of a Stable Model
• About Epistemic Negation and World Views in Epistemic Logic Programs
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• On the existence of stable models of non-stratified logic programs
• Adding Metalogic Features to Knowledge Representation Languages*
• Splitting epistemic logic programs
• Splitting Epistemic Logic Programs
• 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)