Logic programming and reasoning with incomplete information
From MaRDI portal
Publication:1924820
Recommendations
Cites work
- scientific article; zbMATH DE number 4199656 (Why is no real title available?)
- scientific article; zbMATH DE number 4155872 (Why is no real title available?)
- scientific article; zbMATH DE number 3755910 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 88998 (Why is no real title available?)
- scientific article; zbMATH DE number 9973 (Why is no real title available?)
- A logic for default reasoning
- All I know: A study in autoepistemic logic
- Circumscription - a form of non-monotonic reasoning
- Deduction in non-Horn databases
- Inferring negative information from disjunctive databases
- Making prolog more expressive
- Negation as failure: careful closure procedure
- Non-monotonic logic. I
- Semantical considerations on nonmonotonic logic
Cited in
(34)- A new logical characterisation of stable models and answer sets
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- \texttt{eclingo}: a solver for epistemic logic programs
- Autoepistemic logic of knowledge and beliefs
- Epistemic logic programs: a study of some properties
- Informational logic for automated reasoning
- Equilibrium logic
- Assumable logic programming
- Evaluating epistemic negation in answer set programming
- Querying incomplete information in RDF with SPARQL
- Formalizing incomplete knowledge in incomplete databases
- General default logic
- Reasoning about actions with loops via Hoare logic
- scientific article; zbMATH DE number 1890618 (Why is no real title available?)
- Thirty years of Epistemic Specifications
- scientific article; zbMATH DE number 1844516 (Why is no real title available?)
- scientific article; zbMATH DE number 4094860 (Why is no real title available?)
- scientific article; zbMATH DE number 7453102 (Why is no real title available?)
- On uniform equivalence of epistemic logic programs
- Trans-epistemic semantics for logic programs
- New semantics for epistemic specifications
- Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example
- Logic programming with graded modality
- Incomplete Knowledge in Hybrid Probabilistic Logic Programs
- Autoepistemic answer set programming
- Autoepistemic equilibrium logic and epistemic specifications
- Propositional and predicate logics of incomplete information
- Refining the semantics of epistemic specifications
- scientific article; zbMATH DE number 465519 (Why is no real title available?)
- Epistemic logic programs: a study of some properties
- Strong and explicit negation in non-monotonic reasoning and logic programming
- Nonmonotonicity and answer set inference
- selp: a single-shot epistemic logic program solver
- Reasoning with incomplete information
This page was built for publication: Logic programming and reasoning with incomplete information
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1924820)
