|
Title:
|
FINITE, REASONING AND INTERACTING AGENTS |
|
Author(s):
|
Michal Walicki , Paul Simon Svanberg |
|
ISBN:
|
978-972-8924-87-4 |
|
Editors:
|
António Palma dos Reis |
|
Year:
|
2009 |
|
Edition:
|
Single |
|
Keywords:
|
Epistemic logic, knowledge representation, temporal reasoning, interactive agents, logical omniscience, security
protocols. |
|
Type:
|
Short Paper |
|
First Page:
|
225 |
|
Last Page:
|
230 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
We present a framework for modeling and reasoning about interactions between finite agents with arbitrary reasoning
capabilities. The framework is sound, complete and decidable whenever the agents themselves have sound, complete and
decidable logics to reason with. |
|
|
|
|
|
|
