85
Voted
AI
2010
Springer
15 years 24 days ago
2010
Springer
102
click to vote
AI
2010
Springer
15 years 24 days ago
2010
Springer
Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language...
122
Voted
AI
2010
Springer
15 years 24 days ago
2010
Springer
Case-based planning can take advantage of former problem-solving experiences by storing in a plan library previously generated plans that can be reused to solve similar planning p...
102
Voted
AI
2010
Springer
15 years 24 days ago
2010
Springer
Many belief change formalisms employ plausibility orderings over the set of possible worlds to determine how the beliefs of an agent ought to be modified after the receipt of a ne...
AI
2010
Springer
15 years 24 days ago
2010
Springer
101
Voted
AI
2010
Springer
15 years 24 days ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
67
Voted
AI
2010
Springer
15 years 24 days ago
2010
Springer
132
Voted
AI
2010
Springer
15 years 24 days ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
109
click to vote
AI
2010
Springer
15 years 24 days ago
2010
Springer
In this paper, a fairly general framework for reasoning from inconsistent propositional bases is defined. Variable forgetting is used as a basic operation for weakening pieces of ...
98
Voted
AI
2010
Springer
15 years 24 days ago
2010
Springer
The past decade has seen clause learning as the most successful algorithm for SAT instances arising from real-world applications. This practical success is accompanied by theoreti...