2410 search results - page 42 / 482 » Multiset Ordering Constraints |
141
click to vote
MATES
2007
Springer
15 years 10 months ago
2007
Springer
The most common reason for plan repair are the violation of a plan’s temporal constraints. Air Traffic Control is an example of an area in which violations of the plan’s tempo...
130
click to vote
CPAIOR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We recently proposed a simple declarative language for specifying a wide range of counting and occurrence constraints. The language uses just two global primitives: the R...
121
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
In order to control the process of data mining and focus on the things of interest to us, many kinds of constraints have been added into the algorithms of data mining. However, di...
120
click to vote
JAIR
2002
15 years 4 months ago
2002
The problem of organizing information for multidocument summarization so that the generated summary is coherent has received relatively little attention. While sentence ordering f...
117
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We present a method for proving rigid first order theorems by encoding them as propositional satisfiability problems. We encode the existence of a first order connection tableau an...