Sciweavers

3573 search results - page 534 / 715
» Reasoning about Codata
Sort
View
AAAI
1992
15 years 4 months ago
An Empirical Analysis of Terminological Representation Systems
The family of terminological representation systems has its roots in the representation system kl-one. Since the development of kl-one more than a dozen similar representation sys...
Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, H...
AAAI
1990
15 years 4 months ago
Pointing: A Way Toward Explanation Dialogue
Explanation requires a dialogue. Users must be allowed to ask questions about previously given explanations. However, building an interface that allows users to ask follow-up ques...
Johanna D. Moore, William R. Swartout
AIPS
2009
15 years 4 months ago
Computing Robust Plans in Continuous Domains
We define the robustness of a sequential plan as the probability that it will execute successfully despite uncertainty in the execution environment. We consider a rich notion of u...
Christian Fritz, Sheila A. McIlraith
BCSHCI
2009
15 years 4 months ago
Putting the physical into the digital: issues in designing hybrid interactive surfaces
Hybrid surfaces are interactive systems combining techniques of direct-manipulation multi-touch surface interaction with elements of tangible user interfaces (TUIs). The design sp...
David S. Kirk, Abigail Sellen, Stuart Taylor, Nico...
ATAL
2010
Springer
15 years 4 months ago
An integrated possibilistic framework for goal generation in cognitive agents
We propose an integrated theoretical framework, grounded in possibility theory, to account for all the aspects involved in representing and changing beliefs, representing and gene...
Célia da Costa Pereira, Andrea Tettamanzi