3891 search results - page 70 / 779 » A logic for strategic reasoning |
UC
2009
Springer
14 years 3 months ago
2009
Springer
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
JELIA
2004
Springer
14 years 2 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
CADE
2009
Springer
14 years 1 months ago
2009
Springer
ECSQARU
2005
Springer
14 years 2 months ago
2005
Springer
