Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 148-165
- https://doi.org/10.1007/11493402_9
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- The Semantics of MALLET–An Agent Teamwork Encoding LanguagePublished by Springer Nature ,2005
- A Lightweight Coordination Calculus for Agent SystemsPublished by Springer Nature ,2005
- Norm Verification and Analysis of Electronic InstitutionsPublished by Springer Nature ,2005
- Logic Programming for Evolving AgentsPublished by Springer Nature ,2003
- Constraint-Based Model Checking of Data-Independent SystemsPublished by Springer Nature ,2003
- Resource-Constrained Model Checking of Recursive ProgramsPublished by Springer Nature ,2002
- Efficient Model Checking Via Büchi Tableau Automata?Published by Springer Nature ,2001
- AgentSpeak(L): BDI agents speak out in a logical computable languagePublished by Springer Nature ,1996
- Logical foundations of object-oriented and frame-based languagesJournal of the ACM, 1995
- An overview of transaction logicTheoretical Computer Science, 1994