Incompleteness of first-order temporal logic with until
Theoretical Computer Science
Theoretical Computer Science
METATEM: a framework for programming in temporal logic
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Multi-agent reasoning with belief contexts: the approach and a case study
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Representing and executing agent-based systems
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Temporal semantics for concurrent METATEM
Journal of Symbolic Computation - Special issue: executable temporal logics
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
A really abstract concurrent model and its temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The abc of rational agent modelling
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Executable Model and Temporal Logics: Proceedings of the IJCAI '93 Workshop, Chambery, France, August 28, 1993
Introduction to Multiagent Systems
Introduction to Multiagent Systems
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
From the Past to the Future: Executing Temporal Logic Programs
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Agents with Bounded Temporal Resources
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
On the Completeness and Decidability of a Restricted First Order Linear Temporal Logic
KGC '97 Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory
Proceedings of the Conference on Logic of Programs
Formal Specification of Beliefs in Multi-Agent Systems
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Representing Abstract Agent Architectures
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
A Normal Form for First-Order Temporal Formulae
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
Temporal Logic in Specification
Automata representations for Concurrent METATEM
TIME '97 Proceedings of the 4th International Workshop on Temporal Representation and Reasoning (TIME '97)
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Metatem at work: modelling reactive systems using executable temporal logic
IEA/AIE'93 Proceedings of the 6th international conference on Industrial and engineering applications of artificial intelligence and expert systems
Non-omniscient belief as context-based reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Implementing BDI-like systems by direct execution
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Programming resource-bounded deliberative agents
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Programming groups of rational agents
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Logical implementation of uncertain agents
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Organising software in active environments
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
2APL: a practical agent programming language
Autonomous Agents and Multi-Agent Systems
A Common Basis for Agent Organisation in BDI Languages
Languages, Methodologies and Development Tools for Multi-Agent Systems
Language Constructs for Multi-agent Programming
Computational Logic in Multi-Agent Systems
Toward a programming theory for rational agents
Autonomous Agents and Multi-Agent Systems
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Integrating Answer Set Modules into Agent Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Programming Multi-agent Systems
Computational Logic in Multi-Agent Systems
Contracts Violation: Justification via Argumentation
Computational Logic in Multi-Agent Systems
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A common semantic basis for BDI languages
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Executable specifications of resource-bounded agents
Autonomous Agents and Multi-Agent Systems
Reasoning about agent deliberation
Autonomous Agents and Multi-Agent Systems
Declarative programming for agent applications
Autonomous Agents and Multi-Agent Systems
A feature model of actor, agent, and object programming languages
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
DALT'09 Proceedings of the 7th 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
Hi-index | 0.00 |
MetateM