A formal methodology for verifying situated agents
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Abductive coordination for logic agents
Proceedings of the 1999 ACM symposium on Applied computing
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Autonomous Agents and Multi-Agent Systems
Enabling Agents to Update Their Knowledge and to Prefer
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Evolving Multi-agent Viewpoints - an Architecture
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Multi-agent Systems Development as a Software Engineering Enterprise
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
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
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
Combining Introspection and Communication with Rationality and Reactivity in Agents
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Logic Programming Language for Multi-agent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Computing Environment-Aware Agent Behaviours with Logic Program Updates
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Emergent Mental Attitudes in Layered Agents
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Control Structures of Rule-Based Agent Languages
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
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
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Chain programs for writing deterministic metainterpreters
Theory and Practice of Logic Programming
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
A Formal Model for Situated Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
From a multi-agent simulation theory to GALATEA
Proceedings of the 2007 Summer Computer Simulation Conference
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
Context-based commonsense reasoning in the DALI logic programming language
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Preferring and updating in logic-based agents
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Planning experiments in the DALI logic programming language
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
About declarative semantics of logic-based agent languages
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
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
A Formal Model for Situated Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Executing Suspended Logic Programs
Fundamenta Informaticae
Complex reactivity with preferences in rule-based agents
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Modelling and simulation of dynamically integrated manufacturing systems
Journal of Intelligent Manufacturing
Hi-index | 0.00 |