Logic programming and reasoning with incomplete information
From MaRDI portal
Publication:1924820
DOI10.1007/BF01530762zbMATH Open0858.68013MaRDI QIDQ1924820FDOQ1924820
Authors: Michael Gelfond 
Publication date: 31 March 1997
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Making prolog more expressive
- Title not available (Why is that?)
- A logic for default reasoning
- Non-monotonic logic. I
- Semantical considerations on nonmonotonic logic
- Circumscription - a form of non-monotonic reasoning
- All I know: A study in autoepistemic logic
- Negation as failure: careful closure procedure
- Deduction in non-Horn databases
- Inferring negative information from disjunctive databases
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (34)
- 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
- Assumable logic programming
- Equilibrium logic
- Evaluating epistemic negation in answer set programming
- Querying incomplete information in RDF with SPARQL
- Formalizing incomplete knowledge in incomplete databases
- Title not available (Why is that?)
- Reasoning about actions with loops via Hoare logic
- General default logic
- Thirty years of Epistemic Specifications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Refining the semantics of epistemic specifications
- Propositional and predicate logics of incomplete information
- Title not available (Why is that?)
- 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
- A new logical characterisation of stable models and answer sets
- 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)
