Sciweavers

3691 search results - page 163 / 739
» Bayesian Logic Programs
Sort
View
ICEIS
2009
IEEE
15 years 7 months ago
A Logic Programming Framework for Learning by Imitation
Grazia Bombini, Nicola Di Mauro, Teresa Maria Alto...
97
Voted
IFM
2009
Springer
15 years 7 months ago
Predicate Abstraction in a Program Logic Calculus
Benjamin Weiß
79
Voted
RR
2009
Springer
15 years 7 months ago
Scalable Web Reasoning Using Logic Programming Techniques
Gergely Lukácsy, Péter Szeredi
93
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