Pages that link to "Item:Q1924820"
From MaRDI portal
The following pages link to Logic programming and reasoning with incomplete information (Q1924820):
Displaying 30 items.
- Evaluating epistemic negation in answer set programming (Q286399) (← links)
- Querying incomplete information in RDF with SPARQL (Q286403) (← links)
- Reasoning with incomplete information (Q677073) (← links)
- Equilibrium logic (Q854969) (← links)
- General default logic (Q987485) (← links)
- Formalizing incomplete knowledge in incomplete databases (Q1337644) (← links)
- Autoepistemic logic of knowledge and beliefs (Q1389599) (← links)
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- Building a knowledge base: An example (Q1978006) (← links)
- Autoepistemic answer set programming (Q2046018) (← links)
- Propositional and predicate logics of incomplete information (Q2060732) (← 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)
- Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example (Q3198893) (← links)
- Logic Programming with Graded Modality (Q3449234) (← links)
- (Q3821625) (← links)
- (Q4784885) (← 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)
- Informational logic for automated reasoning (Q5236445) (← 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)