Sciweavers

1781 search results - page 59 / 357
» Functional Answer Set Programming
Sort
View
CASCON
2004
108views Education» more  CASCON 2004»
14 years 1 days ago
Consistent query answering under inclusion dependencies
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
Loreto Bravo, Leopoldo E. Bertossi
AGP
2003
IEEE
14 years 2 months ago
Advanced Backjumping Techniques for Rule Instantiations
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...
Simona Perri, Francesco Scarcello
IJCAI
2001
14 years 14 hour ago
A Comparative Study of Logic Programs with Preference
We are interested in semantical underpinnings for existing approaches to preference handling in extended logic programming (within the framework of answer set programming). As a s...
Torsten Schaub, Kewen Wang
ICLP
2003
Springer
14 years 3 months ago
Loop Formulas for Disjunctive Logic Programs
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...
Joohyung Lee, Vladimir Lifschitz
MDAI
2005
Springer
14 years 4 months ago
Language Generation for Conversational Agent by Evolution of Plan Trees with Genetic Programming
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...
Sungsoo Lim, Sung-Bae Cho