858 search results - page 128 / 172 » Planning and defeasible reasoning |
IVA
2005
Springer
14 years 2 months ago
2005
Springer
Causality is a central issue in many AI applications. Social causality, in contrast to physical causality, seeks to attribute cause and responsibility to social events, and account...
TARK
2005
Springer
14 years 2 months ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
CSL
2003
Springer
14 years 1 months ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
ICDE
2010
IEEE
14 years 1 months ago
2010
IEEE
— While planning the execution of report-generation workloads, database administrators often need to know how long different query workloads will take to run. Database systems ru...