529 search results - page 6 / 106 » Simple Random Logic Programs |
HOTOS
2009
IEEE
14 years 1 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have...
VL
2003
IEEE
14 years 3 months ago
2003
IEEE
At the beginning stage of programming education, comprehending program logics plays a more important role than capturing knowledge of a specific program language. In this paper, t...
PSSE
2004
Springer
14 years 3 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...