Sciweavers

591 search results - page 76 / 119
» Probabilistic Assumption-Based Reasoning
Sort
View
ICDE
2009
IEEE
1081views Database» more  ICDE 2009»
16 years 11 months ago
Modeling and Integrating Background Knowledge in Data Anonymization
Recent work has shown the importance of considering the adversary’s background knowledge when reasoning about privacy in data publishing. However, it is very difficult for the d...
Tiancheng Li, Ninghui Li, Jian Zhang
TARK
2007
Springer
15 years 6 months ago
Judgment aggregation and the problem of truth-tracking
The problem of the aggregation of consistent individual judgments on logically interconnected propositions into a collective judgment on the same propositions has recently drawn m...
Gabriella Pigozzi, Stephan Hartmann
BIRTHDAY
2005
Springer
15 years 5 months ago
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
Michael Beetz
AAAI
2006
15 years 1 months ago
Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense
The use of large quantities of common sense has long been thought to be critical to the automated understanding of the world. To this end, various groups have collected repositori...
William Pentney, Ana-Maria Popescu, Shiaokai Wang,...
C3S2E
2010
ACM
15 years 28 days ago
Scalable formula decomposition for propositional satisfiability
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
Anthony Monnet, Roger Villemaire