Pages that link to "Item:Q3003265"

The following pages link to New Semantics for Epistemic Specifications (Q3003265):

Displaying 15 items.

• Evaluating epistemic negation in answer set programming (Q286399) (← links)
• Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty (Q1677438) (← links)
• Autoepistemic answer set programming (Q2046018) (← links)
• Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic (Q2119125) (← links)
• Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
• Autoepistemic equilibrium logic and epistemic specifications (Q2307335) (← links)
• A parallel memory-efficient epistemic logic program solver: harder, better, faster (Q2317970) (← links)
• Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
• Epistemic logic programs: a study of some properties (Q2694560) (← links)
• Logic Programming with Graded Modality (Q3449234) (← links)
• selp: <i>A Single-Shot Epistemic Logic Program Solver</i> (Q4957201) (← links)
• Splitting Epistemic Logic Programs (Q4957221) (← links)
• A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming (Q4988944) (← links)
• (Q5020544) (← links)
• Thirty years of Epistemic Specifications (Q6085582) (← links)