Levels of modality for BDI Logic.

Jeff Blee David Billington Guido Governatori Abdul Sattar

Published in: J. Appl. Log. (2011)

Keyphrases

multi modal
multi agent
logic programming
agent architecture
agent oriented programming
classical logic
modal logic
medical images
levels of abstraction
high levels
linear logic
proof theory
artificial intelligence
multi agent systems
real time
case study
set theory
deontic logic