A logic-based calculus of events
New Generation Computing
A theorem-proving approach to database integrity
Foundations of deductive databases and logic programming
Artificial Intelligence
Representing incomplete knowledge in abductive logic programming
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
The situation calculus and event calculus compared
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Using meta-logic to reconcile reactive with rational agents
Meta-logics and logic programming
A logical and operational model of scalable knowledge- and perception-based agents
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Executing suspended logic programs
Fundamenta Informaticae - Special issue on foundations of constraint programming
Heterogeneous active agents, I: semantics
Artificial Intelligence
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
Towards a Unified Agent Architecture that Combines Rationality with Reactivity
LID '96 Proceedings of the International Workshop on Logic in Databases
SATCHMO: A Theorem Prover Implemented in Prolog
Proceedings of the 9th International Conference on Automated Deduction
Incremental execution of guarded theories
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Speculative computation with multi-agent belief revision
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
A study on the termination of negotiation dialogues
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Extending a Logic Based One-to-One Negotiation Framework to One-to-Many Negotiation
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
ACTILOG: An Agent Activation Language
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Directions for Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Logic Programming Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Agents as Multi-threaded Logical Objects
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Multiagent Compromises, Joint Fixpoints, and Stable Models
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Constructing Libraries of Typical Plans
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
A Logic Programming Language for Multi-agent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
An Abductive Logic Programming Architecture for Negotiating Agents
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Norms for DLP Agents Working in a Warehouse Scenario
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Understanding and Simulating Narratives in the Context of Information Systems
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Mobile Agents and Logic Programming
MA '02 Proceedings of the 6th International Conference on Mobile Agents
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Abduction with Negation as Failure for Active and Reactive Rules
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
An automated reasoning for diagnostic knowledge in a distributed environment
ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
Diagnostic reasoning with A-Prolog
Theory and Practice of Logic Programming
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
Improving Performance of Heterogeneous Agents
Annals of Mathematics and Artificial Intelligence
Agents via Mixed-Mode Computation in Linear Logic
Annals of Mathematics and Artificial Intelligence
Speculative Computation Through Consequence-Finding in Multi-Agent Environments
Annals of Mathematics and Artificial Intelligence
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions
Annals of Mathematics and Artificial Intelligence
Theory and Practice of Logic Programming
Distributed Default Logic for Multi-agent System
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
An ASP-based approach to dealing with agent perception failure
AI Communications
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Web Service Contracting: Specification and Reasoning with SCIFF
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Multi-agent Cooperative Planning and Information Gathering
CIA '07 Proceedings of the 11th international workshop on Cooperative Information Agents XI
Interleaving belief updating and reasoning in abductive logic programming
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Integrating Answer Set Modules into Agent Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Towards answer set prolog based architectures for intelligent agents
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
A-system: problem solving through abduction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Access-as-you-need: a computational logic framework for accessing resources in artificial societies
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Adding evolving abilities to a multi-agent system
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Multi-agent processing for query camouflage via data perturbation in online medical surveys
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part III
A novel approach to default reasoning for MAS
RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
An agent language with destructive assignment and model-theoretic semantics
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Speculative constraint processing for hierarchical agents
AI Communications - European Workshop on Multi-Agent Systems (EUMAS) 2009
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Annals of Mathematics and Artificial Intelligence
An abductive framework for information exchange in multi-agent systems
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
A new HTN planning framework for agents in dynamic environments
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
A new framework for knowledge revision of abductive agents through their interaction
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Argumentation for access control
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Abductive logic programming agents with destructive databases
Annals of Mathematics and Artificial Intelligence
A verifiable logic-based agent architecture
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Computational logic in an object-oriented world
Reasoning, Action and Interaction in AI Theories and Systems
On modelling multi-agent systems declaratively
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Abstract policy evaluation for reactive agents
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
The logical way to be artificially intelligent
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Specification and verification of agent interaction using abductive reasoning
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Speculative constraint processing with iterative revision for disjunctive answers
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Answer set modules for logical agents
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
LAILA: a language for coordinating abductive reasoning among logic agents
Computer Languages
Teleo-Reactive abductive logic programs
Logic Programs, Norms and Action
Logic Programs, Norms and Action
A logic-based framework for reactive systems
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Reasoning in multi-agent systems with random knowledge distribution
ADBIS'12 Proceedings of the 16th East European conference on Advances in Databases and Information Systems
A Computational Logic Application Framework for Service Discovery and Contracting
International Journal of Web Services Research
| Hi-index | 0.02 |
In this paper we present an extension of logic programming (LP) that is suitable not only for the “rational” component of a single agent but also for the “reactive” component and that can encompass multi‐agent systems. We modify an earlier abductive proof procedure and embed it within an agent cycle. The proof procedure incorporates abduction, definitions and integrity constraints within a dynamic environment, where changes can be observed as inputs. The definitions allow rational planning behaviour and the integrity constraints allow reactive, condition‐action type behaviour. The agent cycle provides a resource‐bounded mechanism that allows the agent’s thinking to be interrupted for the agent to record and assimilate observations as input and execute actions as output, before resuming further thinking. We argue that these extensions of LP, accommodating multi‐theories embedded in a shared environment, provide the necessary multi‐agent functionality. We argue also that our work extends Shoham’s Agent0 and the BDI architecture.