4573 search results - page 702 / 915 » Automated Reasoning |
201
click to vote
LPNMR
2005
Springer
16 years 2 days ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
172
click to vote
LPNMR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...
173
click to vote
LPNMR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
275
click to vote
PPSWR
2005
Springer
16 years 1 days ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
170
click to vote
TARK
2005
Springer
16 years 1 days ago
2005
Springer
The ability to model changes in preferences is crucially important for sound decision making and effective communication. Much has been written about strategies for changing belie...