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

DOI10.1007/S10472-010-9220-ZzbMATH Open1237.68201OpenAlexW1607350599MaRDI QIDQ645074FDOQ645074

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

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

Cites Work

• Nonmonotonic causal theories
• The complexity of optimization problems
• A taxonomy of complexity classes of functions
• A survey of non-prioritized belief revision
• The complexity of selecting maximal solutions
• On the computational cost of disjunctive logic programming: Propositional case
• On the logic of theory change: Partial meet contraction and revision functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• The DLV system for knowledge representation and reasoning
• Magic Sets and their application to data integration
• On the logic of theory change: safe contraction
• Title not available (Why is that?)
• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Answer sets for consistent query answering in inconsistent databases
• Representing action and change by logic programs
• Reasoning about actions with sensing under qualitative and probabilistic uncertainty
• Knowledge, action, and the frame problem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning about noisy sensors and effectors in the situation calculus
• Knowledge, probability, and adversaries
• Title not available (Why is that?)
• Census Data Repair: A Challenging Application of Disjunctive Logic Programming
• Diagnostic reasoning with A-Prolog
• Unfolding partiality and disjunctions in stable model semantics
• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
• Title not available (Why is that?)
• Database Programming Languages
• Title not available (Why is that?)
• The complexity of logic-based abduction
• Computational complexity of planning and approximate planning in the presence of incompleteness
• Formalizing sensing actions -- a transition function based approach
• Title not available (Why is that?)
• Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
• Title not available (Why is that?)
• Abduction in logic programming: A new definition and an abductive procedure based on rewriting
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Heterogeneous temporal probabilistic agents
• Logic Programming and Nonmonotonic Reasoning
• Probabilistic agent programs

Uses Software

• Smodels
• CCalc

   Recommendations

• A theory of diagnosis from first principles 👍 👎
• Diagnostic reasoning with A-Prolog 👍 👎
• Title not available (Why is that?) 👍 👎
• KI 2005: Advances in Artificial Intelligence 👍 👎
• Formalizing the repair process --- extended report 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q645074)