Sciweavers

635 search results - page 29 / 127
» Reasoning About Quantum Knowledge
Sort
View
ENTCS
2007
87views more  ENTCS 2007»
15 years 11 days ago
Temporal Logics of Knowledge and their Applications in Security
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
Clare Dixon, M. Carmen Fernández Gago, Mich...
202
Voted
ICDE
2007
IEEE
198views Database» more  ICDE 2007»
16 years 1 months ago
Worst-Case Background Knowledge for Privacy-Preserving Data Publishing
Recent work has shown the necessity of considering an attacker's background knowledge when reasoning about privacy in data publishing. However, in practice, the data publishe...
David J. Martin, Daniel Kifer, Ashwin Machanavajjh...
SUM
2010
Springer
14 years 10 months ago
Event Modelling and Reasoning with Uncertain Information for Distributed Sensor Networks
CCTV and sensor based surveillance systems are part of our daily lives now in this modern society due to the advances in telecommunications technology and the demand for better sec...
Jianbing Ma, Weiru Liu, Paul Miller
KR
2004
Springer
15 years 5 months ago
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
Yves Martin, Iman Narasamdya, Michael Thielscher
122
Voted
GEOS
2009
Springer
15 years 5 months ago
Towards Reasoning Pragmatics
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
Pascal Hitzler