9719 search results - page 98 / 1944 » Answer Set Optimization |
TREC
2004
14 years 17 days ago
2004
This report describes the experiments of the University of Edinburgh and the University of Sydney at the TREC-2004 question answering evaluation exercise. Our system combines two ...
MFCS
1990
Springer
14 years 3 months ago
1990
Springer
The plausibility of computing the answers to many membership queries to a hard set with few queries is the subject of the theory of terseness. In this paper, we develop companion ...
JAIR
2008
13 years 11 months ago
2008
The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound...
GECCO
2004
Springer
14 years 4 months ago
2004
Springer
CASCON
2004
14 years 18 days ago
2004
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...