Sciweavers

629 search results - page 81 / 126
» Reasoning About Knowledge of Unawareness
Sort
View
FM
1999
Springer
93views Formal Methods» more  FM 1999»
14 years 6 hour ago
Group Principals and the Formalization of Anonymity
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
Paul F. Syverson, Stuart G. Stubblebine
OWLED
2008
13 years 9 months ago
What Causes Pneumonia? The Case for a Standard Semantics for "may" in OWL
: One of users' most frequent questions about OWL is "how do I say `may'?", as in "Bacteria may cause pneumonia." In many fields, particularly biomedi...
Alan L. Rector, Robert Stevens, Nick Drummond
CLIMA
2004
13 years 9 months ago
Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
Martin Homola
IJCAI
1989
13 years 9 months ago
Sometimes Updates Are Circumscription
Model-based revision of knowledge bases ex­ pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de­ scribing and reasoning about the effects o...
Marianne Winslett
ATAL
2010
Springer
13 years 8 months ago
Merging example plans into generalized plans for non-deterministic environments
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...