Sciweavers

1917 search results - page 32 / 384
» Experimenting with Nonmonotonic Reasoning
Sort
View
90
Voted
CL
2000
Springer
15 years 17 days ago
A New Equational Foundation for the Fluent Calculus
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...
Hans-Peter Störr, Michael Thielscher
160
Voted
NGC
2010
Springer
183views Communications» more  NGC 2010»
14 years 7 months ago
Brain-like Computing Based on Distributed Representations and Neurodynamics
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...
Ken Yamane, Masahiko Morita
101
Voted
KI
2001
Springer
15 years 5 months ago
Experiments with an Agent-Oriented Reasoning System
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...
Christoph Benzmüller, Mateja Jamnik, Manfred ...
PERCOM
2006
ACM
16 years 10 days ago
Experience Report: Ontological Reasoning for Context-aware Internet Services
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...
Alessandra Agostini, Claudio Bettini, Daniele Ribo...
94
Voted
COLING
2008
15 years 1 months ago
Experiments with Reasoning for Temporal Relations between Events
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...
Marta Tatu, Munirathnam Srikanth