Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
From MaRDI portal
Publication:645074
DOI10.1007/s10472-010-9220-zzbMath1237.68201MaRDI QIDQ645074
Gianluigi Greco, Fabrizio Angiulli, Luigi Palopoli
Publication date: 8 November 2011
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-010-9220-z
68T27: Logic in artificial intelligence
68T37: Reasoning under uncertainty in the context of artificial intelligence
68N17: Logic programming
68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)
68T42: Agent technology and artificial intelligence
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Knowledge, action, and the frame problem
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- Nonmonotonic causal theories
- Magic Sets and their application to data integration
- On the logic of theory change: safe contraction
- Diagnosing multiple faults
- A theory of diagnosis from first principles
- The complexity of optimization problems
- A taxonomy of complexity classes of functions
- Computational complexity of planning and approximate planning in the presence of incompleteness
- A survey of non-prioritized belief revision
- Reasoning about noisy sensors and effectors in the situation calculus
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting
- The complexity of selecting maximal solutions
- On the computational cost of disjunctive logic programming: Propositional case
- Census Data Repair: A Challenging Application of Disjunctive Logic Programming
- On the logic of theory change: Partial meet contraction and revision functions
- Knowledge, probability, and adversaries
- Representing action and change by logic programs
- The complexity of logic-based abduction
- Answer sets for consistent query answering in inconsistent databases
- Diagnostic reasoning with A-Prolog
- Unfolding partiality and disjunctions in stable model semantics
- Heterogeneous temporal probabilistic agents
- The DLV system for knowledge representation and reasoning
- Reasoning about actions with sensing under qualitative and probabilistic uncertainty
- Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
- Logic Programming and Nonmonotonic Reasoning
- Database Programming Languages
- Probabilistic agent programs
- Formalizing sensing actions -- a transition function based approach