Sciweavers

567 search results - page 33 / 114
» Probabilistic Reasoning With Answer Sets
Sort
View
NMR
2004
Springer
14 years 4 months ago
Probabilistic reasoning in dynamic multiagent systems
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...
Xiangdong An, Yang Xiang, Nick Cercone
SEMWEB
2005
Springer
14 years 4 months ago
Statistical Reasoning - A Foundation for Semantic Web Reasoning
There has been considerable debate as to the merits and the applicability of probabilistic or statistical reasoning to Semantic Web. Much of this debate seems to have centered on ...
Shashi Kant, Evangelos Mamas
IFIP
2010
Springer
13 years 5 months ago
Reasoning about Probabilistic Security Using Task-PIOAs
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
Aaron D. Jaggard, Catherine Meadows, Michael Mislo...
AUTOMATICA
2008
75views more  AUTOMATICA 2008»
13 years 11 months ago
Computations of probabilistic output admissible set for uncertain constrained systems
Abstract-- This paper considers uncertain constrained systems, and develops a method for computing a probabilistic output admissible (POA) set which is a set of initial states prob...
Takeshi Hatanaka, Kiyotsugu Takaba
QEST
2010
IEEE
13 years 8 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan