Intelligent Agents | Sciweavers

24

AAAI
2008

153views Intelligent Agents» more AAAI 2008»

Efficiently Exploiting Dependencies in Local Search for SAT

14 years 1 months ago

We propose a new local search platform that splits a CNF formula into three sub-components: i) a minimal dependency lattice (representing the core connections between logic gates)...

Duc Nghia Pham, John Thornton, Abdul Sattar

claim paper

Read More »

24

click to vote

AAAI
2008

145views Intelligent Agents» more AAAI 2008»

Adaptive Abstraction of Constraint-Based Models for Self-Diagnosis and Planning

14 years 1 months ago

Download www.aaai.org

Paul Maier

claim paper

Read More »

24

click to vote

AAAI
2007

88views Intelligent Agents» more AAAI 2007»

Topological Mapping with Weak Sensory Data

14 years 1 months ago

Download www.aaai.org

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

claim paper

Read More »

36

click to vote

AAAI
2008

142views Intelligent Agents» more AAAI 2008»

Hyperequivalence of Logic Programs with Respect to Supported Models

14 years 1 months ago

Download www.cs.engr.uky.edu

Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...

Miroslaw Truszczynski, Stefan Woltran

claim paper

Read More »

32

click to vote

AAAI
2007

146views Intelligent Agents» more AAAI 2007»

An Experimental Comparison of Constraint Logic Programming and Answer Set Programming

14 years 1 months ago

Download www.aaai.org

Answer Set Programming (ASP) and Constraint Logic Programming over ﬁnite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...

Agostino Dovier, Andrea Formisano, Enrico Pontelli

claim paper

Read More »

20

click to vote

AAAI
2007

73views Intelligent Agents» more AAAI 2007»

Optimal Regression for Reasoning about Knowledge and Actions

14 years 1 months ago

Download www.aaai.org

Hans P. van Ditmarsch, Andreas Herzig, Tiago De Li...

claim paper

Read More »

29

click to vote

AAAI
2008

205views Intelligent Agents» more AAAI 2008»

GLADDER: Combining Gesture and Geometric Sketch Recognition

14 years 1 months ago

Download www.aaai.org

Sketch recognition systems usually recognize strokes either as stylistic gestures or geometric shapes. Both techniques have their advantages. This paper presents a method for inte...

Paul Corey, Tracy Hammond

claim paper

Read More »

31

click to vote

AAAI
2007

94views Intelligent Agents» more AAAI 2007»

Relationship Identification for Social Network Discovery

14 years 1 months ago