2981 search results - page 271 / 597 » Answer Set Planning |
129
click to vote
ICTAI
2008
IEEE
15 years 11 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
159
click to vote
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
Query containment is a fundamental problem of databases. Given two queries q1 and q2, it asks whether the set of answers to q1 is included in the set of answers to q2 for any datab...
136
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
This paper reports our first set of results on managing uncertainty in data integration. We posit that data-integration systems need to handle uncertainty at three levels, and do...
134
click to vote
IWPC
2005
IEEE
15 years 10 months ago
2005
IEEE
The paper presents a usability study conducted with graduate and undergraduate computer science students, designed to evaluate the effectiveness of a software visualization tool n...
150
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
We present a distributed algorithm for computing equilibria of heterogeneous nonmonotonic multi-context systems (MCS). The algorithm can be parametrized to compute only partial eq...