Sciweavers

2435 search results - page 117 / 487
» Intellexer Question Answering
Sort
View
153
Voted
PODS
2004
ACM
120views Database» more  PODS 2004»
16 years 3 months ago
Locally Consistent Transformations and Query Answering in Data Exchange
Data exchange is the problem of taking data structured under a source schema and creating an instance of a target schema. Given a source instance, there may be many solutions ? ta...
Marcelo Arenas, Pablo Barceló, Ronald Fagin...
115
Voted
SODA
1992
ACM
116views Algorithms» more  SODA 1992»
15 years 4 months ago
On Playing "Twenty Questions" with a Liar
We consider a version of the game "Twenty Questions" played on the set {0,
Aditi Dhagat, Péter Gács, Peter Wink...
120
Voted
LPNMR
2007
Springer
15 years 9 months ago
A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming
Logic programming under the answer-set semantics nowadays deals with numerous different notions of equivalence between programs. This is due to the fact that equivalence for substi...
Stefan Woltran
AML
2008
56views more  AML 2008»
15 years 3 months ago
On a question of Pereira
Answering a question of Pereira we show that it is possible to have a model violating the Singular Cardinal Hypothesis without a tree-like continuous scale.
Moti Gitik
95
Voted
ICRA
2007
IEEE
137views Robotics» more  ICRA 2007»
15 years 10 months ago
Decidability of Motion Planning with Differential Constraints
— Classical path planning does not address many of the challenges of robotic systems subject to differential constraints. While there have been many recent efforts to develop mot...
Peng Cheng, George J. Pappas, Vijay Kumar