2914 search results - page 346 / 583 » Learning and Inference with Constraints |
173
click to vote
CLEF
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
180
click to vote
CADE
2004
Springer
16 years 6 hour ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
168
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
170
click to vote
ISIPTA
2003
IEEE
15 years 12 months ago
2003
IEEE
For cancers with more than one risk factor, the sum of probabilistic estimates of the number of cancers attributable to each individual factor may exceed the total number of cases...
200
click to vote
FROCOS
2009
Springer
15 years 11 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...