Formal theories of knowledge in AI and robotics
New Generation Computing
Principles of artificial intelligence
Principles of artificial intelligence
Paraconsistent logic programming
Theoretical Computer Science
Paraconsistent disjunctive deductive databases
Theoretical Computer Science
Artificial Intelligence
Intelligent agents in telecommunications
Agent technology
Heterogeneous active agents, I: semantics
Artificial Intelligence
Heterogeneous active agents, II: algorithms and complexity
Artificial Intelligence
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Heterogeneous active agents, III: polynomially implementable agents
Artificial Intelligence
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Heterogeneous Agent Systems
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Using Archon, Part 2: Electricity Transportation Management
IEEE Expert: Intelligent Systems and Their Applications
Impact: A Platform for Collaborating Agents
IEEE Intelligent Systems
Query Answering in Information Systems with Integrity Constraints
Proceedings of the IFIP TC11 Working Group 11.5, First Working Conference on Integrity and Internal Control in Information Systems: Increasing the confidence in Information Systems
An Extensible Framework for Repairing Constraint Violations
Proceedings of the IFIP TC11 Working Group 11.5, First Working Conference on Integrity and Internal Control in Information Systems: Increasing the confidence in Information Systems
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
CL '00 Proceedings of the First International Conference on Computational Logic
Querying Inconsistent Databases: Algorithms and Implementation
CL '00 Proceedings of the First International Conference on Computational Logic
Towards a Unified Agent Architecture that Combines Rationality with Reactivity
LID '96 Proceedings of the International Workshop on Logic in Databases
Formal Semantics for an Abstract Agent Programming Language
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions
Annals of Mathematics and Artificial Intelligence
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.01 |
The use of agents in today's Internet world is expanding rapidly. Yet, agent developers proceed largely under the optimistic assumption that agents will be error-free. Errors may arise in agents for numerous reasons - agents may share a workspace with other agents or humans and updates made by these other entities may cause an agent to face a situation that it was not explicitly programmed to deal with. Likewise, errors in coding agents may lead to inconsistent situations where it is unclear how the agent should act. In this paper, we define an agent execution model that allows agents to continue acting "reasonably" even when some errors of the above types occur. More importantly, in our framework, agents take "repair" actions automatically when confronted with such situations, but while taking such repair actions, they can often continue to engage in work and/or interactions with other agents that are unaffected by repairs.