Sciweavers

AAAI
2007
15 years 23 days 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
15 years 23 days 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
15 years 23 days ago
Optimal Regression for Reasoning about Knowledge and Actions
Hans P. van Ditmarsch, Andreas Herzig, Tiago De Li...
71
Voted
AAAI
2007
15 years 23 days ago
Relationship Identification for Social Network Discovery
Christopher P. Diehl, Galileo Namata, Lise Getoor
AAAI
2007
15 years 23 days ago
Using More Reasoning to Improve #SAT Solving
Jessica Davies, Fahiem Bacchus
AAAI
2007
15 years 23 days ago
Informed Case Base Maintenance: A Complexity Profiling Approach
Susan Craw, Stewart Massie, Nirmalie Wiratunga
88
Voted
AAAI
2007
15 years 23 days 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
15 years 23 days 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...
81
Voted
AAAI
2007
15 years 23 days 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
15 years 23 days ago
Online Collective Entity Resolution
Indrajit Bhattacharya, Lise Getoor