Sciweavers

AAAI
2000
13 years 11 months ago
Integrating a Spoken Language System with Agents for Operational Information Access
Changing the way users interact with their data is the principal objective of the Listen, Communicate, Show (LCS) paradigm. LCS is a new paradigm being applied to Marine Corps tac...
Jody J. Daniels
AAAI
2000
13 years 11 months ago
An Interval Algebra for Indeterminate Time
Temporal indeterminacy is an inherent problem which arises when capturing and manipulating temporal data in many application areas. As such, representation and manipulation of tim...
Wes Cowley, Dimitris Plexousakis
AAAI
1998
13 years 11 months ago
Expert System Technology for Nondestructive Waste Assay
John C. Determan, Greg K. Becker
AAAI
1998
13 years 11 months ago
Fixpoint 3-Valued Semantics for Autoepistemic Logic
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a derivation operator and de ne the semantics as its least xpoint. The semantics is...
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczyn...
AAAI
1998
13 years 11 months ago
Bayesian Q-Learning
A central problem in learning in complex environmentsis balancing exploration of untested actions against exploitation of actions that are known to be good. The benefit of explora...
Richard Dearden, Nir Friedman, Stuart J. Russell
AAAI
2000
13 years 11 months ago
Anchoring Symbols to Sensor Data: Preliminary Report
Anchoring is the process of creating and maintaining the correspondence between symbols and percepts that refer to the same physical objects. Although this process must necessaril...
Silvia Coradeschi, Alessandro Saffiotti
AAAI
1998
13 years 11 months ago
Applying Online Search Techniques to Continuous-State Reinforcement Learning
In this paper, we describe methods for e ciently computing better solutions to control problems in continuous state spaces. We provide algorithms that exploit online search to boo...
Scott Davies, Andrew Y. Ng, Andrew W. Moore
AAAI
1998
13 years 11 months ago
A Non-Deterministic Semantics for Tractable Inference
Unit resolution is arguably the most useful known algorithm for tractable reasoning in propositional logic. Intuitively, if one knows a, b, and a b c, then c should be an obviou...
James M. Crawford, David W. Etherington
AAAI
2000
13 years 11 months ago
Automatic Invention of Integer Sequences
Simon Colton, Alan Bundy, Toby Walsh