583 search results - page 61 / 117 » Preferences in Answer Set Programming |
117
click to vote
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
112
click to vote
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...
108
click to vote
MDAI
2005
Springer
15 years 6 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...
98
Voted
JELIA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a novel system for propositional Answer-Set Programming (ASP). This system, called dynASP, is based on dynamic programming and thus significantly differs fro...
150
click to vote
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...