Sciweavers

AAAI
2007
13 years 7 months ago
Topological Mapping with Weak Sensory Data
In this paper, we consider the exploration of topological environments by a robot with weak sensory capabilities. We assume only that the robot can recognize when it has reached a...
Gregory Dudek, Dimitri Marinakis
AAAI
2007
13 years 7 months ago
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming
Answer Set Programming (ASP) and Constraint Logic Programming over finite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
AAAI
2007
13 years 7 months ago
Optimal Regression for Reasoning about Knowledge and Actions
Hans P. van Ditmarsch, Andreas Herzig, Tiago De Li...
AAAI
2007
13 years 7 months ago
Relationship Identification for Social Network Discovery
Christopher P. Diehl, Galileo Namata, Lise Getoor
AAAI
2007
13 years 7 months ago
Using More Reasoning to Improve #SAT Solving
Jessica Davies, Fahiem Bacchus
AAAI
2007
13 years 7 months ago
Informed Case Base Maintenance: A Complexity Profiling Approach
Susan Craw, Stewart Massie, Nirmalie Wiratunga
AAAI
2007
13 years 7 months ago
Using AI for e-Government Automatic Assessment of Immigration Application Forms
This paper describes an e-Government AI project that provides a range of intelligent AI services to support automated assessment of various types of applications submitted to an i...
Andy Hon Wai Chun
AAAI
2007
13 years 7 months ago
Learning by Combining Observations and User Edits
We introduce a new collaborative machine learning paradigm in which the user directs a learning algorithm by manually editing the automatically induced model. We identify a generi...
Vittorio Castelli, Lawrence D. Bergman, Daniel Obl...
AAAI
2007
13 years 7 months ago
Concurrent Action Execution with Shared Fluents
Concurrent action execution is important for plan-length minimization. However, action specifications are often limited to avoid conflicts arising from precondition/effect inter...
Michael Buro, Alexander Kovarsky
AAAI
2007
13 years 7 months ago
Online Collective Entity Resolution
Indrajit Bhattacharya, Lise Getoor