Sciweavers

4370 search results - page 245 / 874
» Algebra of Logic Programming
Sort
View
110
Voted
TASE
2008
IEEE
15 years 9 months ago
Verifying BPEL-Like Programs with Hoare Logic
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
Chenguang Luo, Shengchao Qin, Zongyan Qiu
114
Voted
ECSQARU
2007
Springer
15 years 9 months ago
Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
Thomas Lukasiewicz, Umberto Straccia
145
Voted
ILP
2007
Springer
15 years 9 months ago
Using Bayesian Networks to Direct Stochastic Search in Inductive Logic Programming
Stochastically searching the space of candidate clauses is an appealing way to scale up ILP to large datasets. We address an approach that uses a Bayesian network model to adaptive...
Louis Oliphant, Jude W. Shavlik