Sciweavers

4370 search results - page 245 / 874
» Algebra of Logic Programming
Sort
View
90
Voted
TASE
2008
IEEE
15 years 7 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
76
Voted
ER
2007
Springer
126views Database» more  ER 2007»
15 years 6 months ago
Querying Incomplete Data with Logic Programs: ER Strikes Back
Andrea Calì
ILP
2007
Springer
15 years 6 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