5030 search results - page 131 / 1006 » cases 2007 |
161
click to vote
IJCAI
1997
15 years 6 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
158
click to vote
APIN
2000
15 years 4 months ago
2000
Abstract. In this paper, defeasible workflow is proposed as a framework to support exception handling for workflow management. By using the "justified" ECA rules to captu...
158
click to vote
EMNLP
2007
15 years 6 months ago
2007
This paper describes a probabilistic model for coordination disambiguation integrated into syntactic and case structure analysis. Our model probabilistically assesses the parallel...
136
click to vote
EUSFLAT
2007
15 years 6 months ago
2007
We investigate in this paper the set of kadditive capacities dominating a given capacity, which we call the k-additive core. We study its structure through achievable families, wh...
153
click to vote
LANMR
2007
15 years 6 months ago
2007
Abstract We study the notion of strong equivalence between two disjunctive logic programs under the G3-stable model semantics, also called the P-stable semantics, and we show how s...