1917 search results - page 32 / 384 » Experimenting with Nonmonotonic Reasoning |
CL
2000
Springer
13 years 7 months ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
NGC
2010
Springer
13 years 2 months ago
2010
Springer
A key to overcoming the limitations of classical artificial intelligence and to deal well with enormous amounts of information might be brain-like computing in which distributed re...
KI
2001
Springer
14 years 23 hour ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
PERCOM
2006
ACM
14 years 7 months ago
2006
ACM
This paper reports our experience with representing and reasoning with context information within the CARE middleware. CARE was developed to support context-aware service adaptati...
COLING
2008
13 years 8 months ago
2008
Few attempts have been made to investigate the utility of temporal reasoning within machine learning frameworks for temporal relation classification between events in news articl...