Sciweavers

2 search results - page 1 / 1
» On the (Un-)Decidability of Model Checking Resource-Bounded ...
Sort
View
ATAL
1997
Springer
13 years 8 months ago
Approximate Reasoning about Combined Knowledge
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
Frédéric Koriche