Pages that link to "Item:Q1924820"

The following pages link to Logic programming and reasoning with incomplete information (Q1924820):

Displaying 22 items.

• Evaluating epistemic negation in answer set programming (Q286399) (← links)
• Querying incomplete information in RDF with SPARQL (Q286403) (← links)
• Equilibrium logic (Q854969) (← links)
• General default logic (Q987485) (← links)
• Autoepistemic logic of knowledge and beliefs (Q1389599) (← links)
• Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
• Autoepistemic answer set programming (Q2046018) (← 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)
• selp: <i>A Single-Shot Epistemic Logic Program Solver</i> (Q4957201) (← links)
• (Q5020544) (← links)
• Nonmonotonicity and answer set inference (Q5101463) (← links)
• Trans-epistemic semantics for logic programs (Q5101464) (← links)
• On Uniform Equivalence of Epistemic Logic Programs (Q5108505) (← links)
• eclingo : A Solver for Epistemic Logic Programs (Q5140019) (← links)
• Strong and explicit negation in non-monotonic reasoning and logic programming (Q5236430) (← links)
• Thirty years of Epistemic Specifications (Q6085582) (← links)
• A new logical characterisation of stable models and answer sets (Q6623793) (← links)
• Refining the semantics of epistemic specifications (Q6647309) (← links)
• Epistemic logic programs: a study of some properties (Q6656459) (← links)