Pages that link to "Item:Q3001928"
From MaRDI portal
The following pages link to Revisiting Epistemic Specifications (Q3001928):
Displayed 18 items.
- Evaluating epistemic negation in answer set programming (Q286399) (← links)
- Autoepistemic answer set programming (Q2046018) (← 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)
- Epistemic logic programs: a study of some properties (Q2694560) (← links)
- Logic Programming with Graded Modality (Q3449234) (← links)
- Characterizing and extending answer set semantics using possibility theory (Q4592973) (← links)
- selp: <i>A Single-Shot Epistemic Logic Program Solver</i> (Q4957201) (← links)
- Splitting Epistemic Logic Programs (Q4957221) (← links)
- Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Q5019599) (← links)
- Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming (Q5019605) (← links)
- (Q5020544) (← links)
- Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting (Q5108495) (← links)
- About Epistemic Negation and World Views in Epistemic Logic Programs (Q5108503) (← links)
- On Uniform Equivalence of Epistemic Logic Programs (Q5108505) (← links)
- eclingo : A Solver for Epistemic Logic Programs (Q5140019) (← links)
- Thirty years of Epistemic Specifications (Q6085582) (← links)