Sciweavers

7167 search results - page 62 / 1434
» Answer Set Programming
Sort
View
ASP
2005
Springer
14 years 1 months ago
Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics
In this paper we consider an extension of the answer set semantics allowing arbitrary use of strong negation. We prove that the strong negation extension of any intermediate logic ...
Magdalena Ortiz, Mauricio Osorio
ICDE
2011
IEEE
233views Database» more  ICDE 2011»
12 years 11 months ago
Answering approximate string queries on large data sets using external memory
— An approximate string query is to find from a collection of strings those that are similar to a given query string. Answering such queries is important in many applications su...
Alexander Behm, Chen Li, Michael J. Carey
EMNLP
2008
13 years 9 months ago
Automatic Set Expansion for List Question Answering
This paper explores the use of set expansion (SE) to improve question answering (QA) when the expected answer is a list of entities belonging to a certain class. Given a small set...
Richard C. Wang, Nico Schlaefer, William W. Cohen,...
LPAR
2005
Springer
14 years 1 months ago
The nomore++ Approach to Answer Set Solving
We present a new answer set solver, called nomore++, along with its underlying theoretical foundations. A distinguishing feature is that it treats heads and bodies equitably as com...
Christian Anger, Martin Gebser, Thomas Linke, Andr...
ICDT
2001
ACM
86views Database» more  ICDT 2001»
14 years 7 days ago
Minimizing View Sets without Losing Query-Answering Power
Abstract. The problem of answering queries using views has been studied extensively due to its relevance in a wide variety of data-management applications. In these applications, w...
Chen Li, Mayank Bawa, Jeffrey D. Ullman