Sciweavers

505 search results - page 2 / 101
» Answer Set Programming with Templates
Sort
View
ICLP
2007
Springer
13 years 11 months ago
Computing Fuzzy Answer Sets Using dlvhex
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...
Davy Van Nieuwenborgh, Martine De Cock, Dirk Verme...
IJCAI
2007
13 years 8 months ago
Automatically Selecting Answer Templates to Respond to Customer Emails
Contact center agents typically respond to email queries from customers by selecting predefined answer templates that relate to the questions present in the customer query. In th...
Rahul Malik, L. Venkata Subramaniam, Saroj Kaushik
AAAI
2010
13 years 7 months ago
First-Order Indefinability of Answer Set Programs on Finite Structures
An answer set program with variables is first-order definable on finite structures if the set of its finite answer sets can be captured by a first-order sentence, otherwise this p...
Yin Chen, Yan Zhang, Yi Zhou
FOIKS
2008
Springer
13 years 8 months ago
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
Martin Gebser, Torsten Schaub, Hans Tompits, Stefa...
LPNMR
2009
Springer
14 years 1 months ago
Translating Preferred Answer Set Programs to Propositional Logic
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
Vernon Asuncion, Yan Zhang