Sciweavers

3775 search results - page 52 / 755
» The Expression Problem Revisited
Sort
View
JELIA
2010
Springer
14 years 11 months ago
Stable Belief Sets Revisited
Stable belief sets were introduced by R. Stalnaker in the early ’80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated M...
Costas D. Koutras, Yorgos Zikos
ICRA
2006
IEEE
72views Robotics» more  ICRA 2006»
15 years 6 months ago
Multi-robot Boundary Coverage with Plan Revision
Abstract— This paper revisits the multi-robot boundary coverage problem in which a group of k robots must inspect every point on the boundary of a 2-dimensional environment. We f...
Kjerstin Williams, Joel Burdick
PKC
2010
Springer
119views Cryptology» more  PKC 2010»
15 years 2 months ago
Efficient Set Operations in the Presence of Malicious Adversaries
We revisit the problem of constructing efficient secure two-party protocols for the problems of setintersection and set-union, focusing on the model of malicious parties. Our main...
Carmit Hazay, Kobbi Nissim
112
Voted
AMW
2010
15 years 2 months ago
On the Decidability of Consistent Query Answering
Abstract. Consistent query answering (CQA) is about formally characterizing and computing semantically correct answers to queries posed to a database that may fail to satisfy certa...
Marcelo Arenas, Leopoldo E. Bertossi
IJCAI
2003
15 years 2 months ago
On the Revision of Probabilistic Beliefs using Uncertain Evidence
We revisit the problem of revising probabilistic beliefs using uncertain evidence, and report results on four major issues relating to this problem: How to specify uncertain evide...
Hei Chan, Adnan Darwiche