2296 search results - page 300 / 460 » The Expressive Power of Synchronizations |
200
click to vote
REX
1991
15 years 10 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
162
click to vote
AAAI
2008
15 years 9 months ago
2008
Changing preferences is very common in real life. The expressive power of the operations of preference change introduced so far in the literature is limited to adding new informat...
167
click to vote
AAAI
2008
15 years 9 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...
173
click to vote
AIIDE
2008
15 years 9 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...
175
click to vote
DLOG
2007
15 years 9 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...