Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results

DOI10.1007/s10472-010-9220-zzbMath1237.68201OpenAlexW1607350599MaRDI 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

zbMATH Keywords

complexity resultsagent technologyreasoning under uncertainty

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Agent technology and artificial intelligence (68T42)

Uses Software

• Smodels
• CCalc

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

This page was built for publication: Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results