1963 search results - page 28 / 393 » Applications of Preferences using Answer Set Programming |
112
Voted
AMAI
2006
Springer
15 years 2 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
121
Voted
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We introduce the first substantial approach to preprocessing in the context of answer set solving. The idea is to simplify a logic program while identifying equivalences ...
140
Voted
AAAI
2006
15 years 3 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
112
Voted
DEXA
1994
Springer
15 years 6 months ago
1994
Springer
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
127
Voted
ICDE
2011
IEEE
14 years 6 months ago
2011
IEEE
— 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...