3970 search results - page 638 / 794 » A Logic For Causal Reasoning |
139
Voted
KR
2000
Springer
15 years 9 months ago
2000
Springer
We propose to extend the ontology of logical AI to include approximate objects, approximate predicates and approximate theories. Besides the ontology we treat the relations among ...
157
click to vote
DLOG
2003
15 years 7 months ago
2003
The Wine Agent is a demonstration system that uses an underlying domain ontology to provide suitable wines for a given meal. In doing so it serves as a testbed, not only for the l...
190
click to vote
TMC
2012
13 years 8 months ago
2012
—A number of protocols and mechanisms have been proposed to address the problem of initial secure key deployment in wireless networks. Most existing approaches work either with a...
166
Voted
QEST
2005
IEEE
15 years 11 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
259
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...