846 search results - page 59 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
89
Voted
COLING
2002
15 years 15 days ago
2002
We present a principled approach to the problem of connecting a controlled document authoring system with a knowledge base. We start by describingclosed-world authoring situations...
112
Voted
KR
2010
Springer
15 years 5 months ago
2010
Springer
Ontologies can be used to provide an enriched vocabulary for the formulation of queries over instance data. We identify query emptiness and predicate emptiness as two central reas...
99
Voted
AI
2002
Springer
15 years 16 days ago
2002
Springer
Independence--the study of what is relevant to a given problem of reasoning--is an important AI topic. In this paper, we investigate several notions of conditional independence in...
90
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
107
Voted
ATAL
2009
Springer
15 years 1 months ago
2009
Springer
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...