1614 search results - page 160 / 323 » Planning as Temporal Reasoning |
154
click to vote
LPAR
2005
Springer
16 years 12 hour ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
136
click to vote
DLOG
2003
15 years 8 months ago
2003
In this paper we formalise compilation of the conjunctive bodies of a restricted class of Horn rules into updates on terminologies. This involves a pre-processing of the graphs re...
187
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
Bayesian networks are formal graphical languages for representation and communication of decision scenarios requiring reasoning under uncertainty. We will analyze Bayesian network...
147
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The process of planning in complex, multi-actor environment depends strongly on the ability of the individual actors to perform intelligent decommitment upon specific changes in ...
178
click to vote
AIR
2006
15 years 6 months ago
2006
Abstract Storing and retrieving time-related information are important, or even critical, tasks on many areas of Computer Science (CS) and in particular for Artificial Intelligence...