Sciweavers

77
Voted
AAAI
2004
15 years 4 months ago
Scaling Up Reasoning about Actions Using Relational Database Technology
Giuseppe De Giacomo, Toni Mancini
162
Voted
AAAI
2006
15 years 4 months ago
Perspective Taking: An Organizing Principle for Learning in Human-Robot Interaction
The ability to interpret demonstrations from the perspective of the teacher plays a critical role in human learning. Robotic systems that aim to learn effectively from human teach...
Matt Berlin, Jesse Gray, Andrea Lockerd Thomaz, Cy...
124
Voted
AAAI
2004
15 years 4 months ago
Visibility-Based Pursuit-Evasion with Limited Field of View
We study a form of the pursuit-evasion problem, in which one or more searchers must move through a given environment so as to guarantee detection of any and all evaders, which can...
Brian P. Gerkey, Sebastian Thrun, Geoffrey J. Gord...
103
Voted
AAAI
2006
15 years 4 months ago
Opinion Extraction and Summarization on the Web
The Web has become an excellent source for gathering consumer opinions. There are now numerous Web sources containing such opinions, e.g., product reviews, forums, discussion grou...
Minqing Hu, Bing Liu
131
Voted
AAAI
2004
15 years 4 months ago
Assessing the Complexity of Plan Recognition
This paper presents a discussion of the theoretical complexity of plan recognition on the basis of an analysis of the number of explanations that any complete plan recognition alg...
Christopher W. Geib
98
Voted
AAAI
2006
15 years 4 months ago
Goal Specification, Non-Determinism and Quantifying over Policies
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. Temporal logics such...
Chitta Baral, Jicheng Zhao
129
Voted
AAAI
2004
15 years 4 months ago
Fibring Neural Networks
Neural-symbolic systems are hybrid systems that integrate symbolic logic and neural networks. The goal of neural-symbolic integration is to benefit from the combination of feature...
Artur S. d'Avila Garcez, Dov M. Gabbay
122
Voted
AAAI
2006
15 years 4 months ago
Algorithms for Rationalizability and CURB Sets
Significant work has been done on computational aspects of solving games under various solution concepts, such as Nash equilibrium, subgame perfect Nash equilibrium, correlated eq...
Michael Benisch, George B. Davis, Tuomas Sandholm
73
Voted
AAAI
2006
15 years 4 months ago
Abstract Branching for Quantified Formulas
Marco Benedetti
86
Voted
AAAI
2004
15 years 4 months ago
Learning Social Preferences in Games
Ya'akov Gal, Avi Pfeffer, Francesca Marzo, Barbara...