884 search results - page 63 / 177 » Using Nested Logic Programs for Answer Set Programming |
115
click to vote
LPNMR
1993
Springer
15 years 3 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
120
click to vote
FLOPS
2010
Springer
15 years 6 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
203
click to vote
LPNMR
2011
Springer
14 years 2 months ago
2011
Springer
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
MDAI
2005
Springer
15 years 5 months ago
2005
Springer
As dialogue systems are widely demanded, the research on natural language generation in dialogue has raised interest. Contrary to conventional dialogue systems that reply to the us...