955 search results - page 79 / 191 » Tractable Temporal Reasoning |
FSTTCS
2005
Springer
14 years 3 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
AIPS
2004
13 years 11 months ago
2004
We address the issue of incorporating domain-specific preferences in planning systems, where a preference may be seen as a "soft" constraint that it is desirable, but no...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
AGILE
2007
Springer
14 years 4 months ago
2007
Springer
Using qualitative reasoning with geographic information, contrarily, for instance, with robotics, looks not only fastidious (i.e.: encoding knowledge Propositional Logics PL), but ...
TIME
2006
IEEE
14 years 4 months ago
2006
IEEE
An increasing number of documents in companies and other organizations are now only available electronically, and exist in several versions updated at different times. In order to...