Sciweavers

3691 search results - page 32 / 739
» Bayesian Logic Programs
Sort
View
75
Voted
IFIP
1994
Springer
15 years 4 months ago
Deriving Partial Correctness Logics From Evolving Algebras
Arnd Poetzsch-Heffter
ECOOP
2007
Springer
15 years 4 months ago
Code Analyses for Refactoring by Source Code Patterns and Logical Queries
Daniel Speicher, Malte Appeltauer, Günter Kni...
119
Voted
AI
2008
Springer
14 years 11 months ago
MEBN: A language for first-order Bayesian knowledge bases
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
Kathryn B. Laskey