1699 search results - page 211 / 340 » On the Expressive Power of QLTL |
166
click to vote
AAAI
2008
15 years 8 months ago
2008
We present the first planner capable of reasoning with both the full semantics of PDDL2.1 (level 3) temporal planning and with numeric resources. Our planner, CRIKEY3, employs heu...
169
click to vote
AIIDE
2008
15 years 8 months ago
2008
Tactical Agent Personality (TAP) is a modeling concept to capture tactical patterns in game agents, based on a personality concept introduced by Tan and Cheng (2007), to allow beh...
173
click to vote
DLOG
2007
15 years 8 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...
143
click to vote
AIPS
2008
15 years 8 months ago
2008
In this paper, we report on a new solver for large instances of the Disjunctive Temporal Problem (DTP). Our solver is based primarily on the idea of employing "compact" ...
166
click to vote
NSDI
2007
15 years 8 months ago
2007
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...