1353 search results - page 195 / 271 » Streamlined Constraint Reasoning |
AAAI
1998
14 years 11 months ago
1998
In abductive planning, plans are constructed as reasons for an agent to act: plans are demonstrations in logical theory of action that a goal will result assuming that given actio...
GAMEON
2000
14 years 11 months ago
2000
To increase the depth and appeal of computer games, the intelligence of the characters they contain needs to be increased. These characters should be played by intelligent agents ...
IWMMDBMS
1996
14 years 11 months ago
1996
The paper describes recent progress in research on database system support for executing multimedia presentations. It proposes the general concept of Reactive Playout Management t...
COLING
1992
14 years 11 months ago
1992
Recent theoretical descriptions of the Icelandic case system distinguish between lexicai and structural case. Lexical case is assigned in ttle lexiCOIl, whereas structural case is...
ATVA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...