AAAI
2008
13 years 7 months ago
2008
AAAI
2008
13 years 7 months ago
2008
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)...
AAAI
2008
13 years 7 months ago
2008
AAAI
2008
13 years 7 months ago
2008
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...
AAAI
2008
13 years 7 months ago
2008
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...
AAAI
2008
13 years 7 months ago
2008
AAAI
2008
13 years 7 months ago
2008
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
AAAI
2008
2008
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation
13 years 7 months ago
Abductive diagnosis is an important method to identify explanations for a given set of observations. Unfortunately, most of the algorithmic problems in this area are intractable. ...
AAAI
2008
13 years 7 months ago
2008
Existing Information Extraction systems tend to focus on a tight window of context surrounding the desired information to be extracted. This leads to a number of shortcomings in t...