Sciweavers

3691 search results - page 163 / 739
» Bayesian Logic Programs
Sort
View
ICEIS
2009
IEEE
15 years 11 months ago
A Logic Programming Framework for Learning by Imitation
Grazia Bombini, Nicola Di Mauro, Teresa Maria Alto...
115
Voted
RR
2009
Springer
15 years 11 months ago
Scalable Web Reasoning Using Logic Programming Techniques
Gergely Lukácsy, Péter Szeredi
TASE
2008
IEEE
15 years 11 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