4595 search results - page 888 / 919 » Reasoning about Plans |
152
click to vote
FLAIRS
2007
15 years 6 months ago
2007
Reasoning about preferences is a major issue in many decision making problems. Recently, a new logic for handling preferences, called Qualitative Choice Logic (QCL), was presented...
132
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
A database view is a dynamic virtual table composed of the result set of a query, often executed over different underlying databases. The view maintenance problem concerns how a v...
162
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
169
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocol...
182
click to vote
ISARCS
2010
15 years 6 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...