413 search results - page 16 / 83 » On the Relation Between ID-Logic and Answer Set Programming |
SIGIR
2006
ACM
14 years 2 months ago
2006
ACM
We present a novel framework for answering complex questions that relies on question decomposition. Complex questions are decomposed by a procedure that operates on a Markov chain...
PODS
2008
ACM
14 years 9 months ago
2008
ACM
Data exchange, also known as data translation, has been extensively investigated in recent years. One main direction of research has focused on the semantics and the complexity of...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
With the amount of available text data in relational databases growing rapidly, the need for ordinary users to search such information is dramatically increasing. Even though the ...
AAAI
2004
13 years 10 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...
CLIMA
2004
13 years 10 months ago
2004
In this paper we extend the Revision Programming framework--a logic-based framework to express and maintain constraints on knowledge bases-with different forms of preferences. Pref...