Sciweavers

390 search results - page 22 / 78
» Probability Logic and Logical Probability
Sort
View
121
Voted
ICAIL
2007
ACM
15 years 7 months ago
Strategic argumentation: a game theoretical investigation
Argumentation is modelled as a game where the payoffs are measured in terms of the probability that the claimed conclusion is, or is not, defeasibly provable, given a history of a...
Bram Roth, Régis Riveret, Antonino Rotolo, ...
106
Voted
WSC
1998
15 years 4 months ago
Input Modeling Tools for Complex Problems
A simulation model is composed of inputs and logic; the inputs represent the uncertainty or randomness in the system, while the logic determines how the system reacts to the uncer...
Barry L. Nelson, Michael Yamnitsky
ISVLSI
2002
IEEE
116views VLSI» more  ISVLSI 2002»
15 years 8 months ago
Multi-Output Timed Shannon Circuits
Timed Shannon circuits have been proposed as a synthesis approach for a low power optimization technique at the logic level since overall circuit switching probabilities may be re...
Mitchell A. Thornton, Rolf Drechsler, D. Michael M...
142
Voted
ICLP
2010
Springer
15 years 7 months ago
Abductive Inference in Probabilistic Logic Programs
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...
Gerardo I. Simari, V. S. Subrahmanian
124
Voted
ASIAN
2007
Springer
126views Algorithms» more  ASIAN 2007»
15 years 9 months ago
Computational Semantics for Basic Protocol Logic - A Stochastic Approach
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
Gergei Bana, Koji Hasebe, Mitsuhiro Okada