The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
The complexity of optimization problems
Journal of Computer and System Sciences - Structure in Complexity Theory Conference, June 2-5, 1986
Database updates through abduction
Proceedings of the sixteenth international conference on Very large databases
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
Diagnosis with behavioral modes
Readings in model-based diagnosis
Knowledge, probability, and adversaries
Journal of the ACM (JACM)
A taxonomy of complexity classes of functions
Journal of Computer and System Sciences
The complexity of logic-based abduction
Journal of the ACM (JACM)
The complexity of selecting maximal solutions
Information and Computation
Plan reuse versus plan generation: a theoretical and empirical analysis
Artificial Intelligence - Special volume on planning and scheduling
Approximate reasoning about actions in presence of sensing and incomplete information
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Reasoning about noisy sensors and effectors in the situation calculus
Artificial Intelligence
Computational complexity of planning and approximate planning in the presence of incompleteness
Artificial Intelligence
Formalizing sensing actions—a transition function based approach
Artificial Intelligence
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Abduction in logic programming: a new definition and an abductive procedure based on rewriting
Artificial Intelligence
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Consistent Answers from Integrated Data Sources
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Census Data Repair: a Challenging Application of Disjunctive Logic Programming
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
REVISE: Logic Programming and Diagnosis
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Knowledge, action, and the frame problem
Artificial Intelligence
Reasoning about actions in a probabilistic setting
Eighteenth national conference on Artificial intelligence
A Logical Framework for Querying and Repairing Inconsistent Databases
IEEE Transactions on Knowledge and Data Engineering
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
Monitoring agents using declarative planning
Fundamenta Informaticae
Intelligent execution monitoring in dynamic environments
Fundamenta Informaticae
Diagnostic reasoning with A-Prolog
Theory and Practice of Logic Programming
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
A cost-based model and effective heuristic for repairing constraints by value modification
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Database repairing using updates
ACM Transactions on Database Systems (TODS)
Heterogeneous temporal probabilistic agents
ACM Transactions on Computational Logic (TOCL)
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
The Diagnosis Frontend of the dlv system
AI Communications
Magic Sets and their application to data integration
Journal of Computer and System Sciences
Theory and Practice of Logic Programming
Repair localization for query answering from inconsistent databases
ACM Transactions on Database Systems (TODS)
The computational complexity of probabilistic planning
Journal of Artificial Intelligence Research
Constructing conditional plans by a theorem-prover
Journal of Artificial Intelligence Research
Normality and faults in logic-based diagnosis
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
"Physical negation": integrating fault models into the general diagnostic engine
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A general framework for reasoning about inconsistency
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Logic programs for consistently querying data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Query rewriting and answering under constraints in data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Symbolic dynamic programming for first-order MDPs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Representing actions and state constraints in model-based diagnosis
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Adding knowledge to the action description language A
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
ICDT'07 Proceedings of the 11th international conference on Database Theory
Preference-driven querying of inconsistent relational databases
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Hi-index | 0.00 |
In systems where agents are required to interact with a partially known and dynamic world, sensors can be used to obtain knowledge about the environment. However, sensors may be unreliable, that is, they may deliver wrong information (due, e.g., to hardware or software malfunctioning) and, consequently, they may cause agents to take wrong decisions, which is a scenario that should be avoided. The paper considers the problem of reasoning in noisy environments in a setting where no (either certain or probabilistic) data is available in advance about the reliability of sensors. Therefore, assuming that each agent is equipped with a background theory encoding its general knowledge about the world, a concept of detecting an anomaly perceived in sensor data and the related concept of agent recovering to a coherent status of information are defined. In this context, the complexities of various anomaly detection and anomaly recovery problems are studied. Finally, rewriting algorithms are proposed that transform recovery problems into equivalent inference problems under answer set semantics, thereby making them effectively realizable on top of available answer set solvers.