A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication

Saved in:
Bibliographic Details
Published inLecture notes in computer science pp. 223 - 244
Main Authors BENTAHAR, Jamal, MOULIN, Bernard, MEYER, John-Jules Ch
Format Conference Proceeding
LanguageEnglish
Published Berlin Springer 2006
Subjects
Applied sciences
Artificial intelligence
Computer science; control theory; systems
Computer systems and distributed systems. User interface
Exact sciences and technology
Programming languages
Software
Software engineering
On the fly
Declarative language
Expert system
Branching temporal logic CTL
Transmission protocol
Knowledge base
Modeling
Intelligent agent
Tree automaton
Program verification
Multiagent system
Array (mathematics)
Static analysis
Model checking
Alternating automata
Artificial intelligence
Inference rule
Online AccessGet full text
ISBN3540331069
9783540331063
ISSN0302-9743

Cover

More Information
ISBN:3540331069
9783540331063
ISSN:0302-9743