878 search results - page 89 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
159
click to vote
AAAI
2006
15 years 7 months ago
2006
We consider the problem of rewriting a query efficiently using materialized views. In the context of information integration, this problem has received significant attention in th...
169
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
187
click to vote
AAAI
2010
15 years 7 months ago
2010
Recent research has shown that surprisingly rich models of human behavior can be learned from GPS (positional) data. However, most research to date has concentrated on modeling si...
248
click to vote
TMC
2012
13 years 8 months ago
2012
—We investigate the following fundamental question—how fast can information be collected from a wireless sensor network organized as tree? To address this, we explore and evalu...
154
click to vote
IJCAI
2007
15 years 7 months ago
2007
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...