Sciweavers

3691 search results - page 32 / 739
» Bayesian Logic Programs
Sort
View
90
Voted
IFIP
1994
Springer
15 years 6 months ago
Deriving Partial Correctness Logics From Evolving Algebras
Arnd Poetzsch-Heffter
110
Voted
ECOOP
2007
Springer
15 years 6 months ago
Code Analyses for Refactoring by Source Code Patterns and Logical Queries
Daniel Speicher, Malte Appeltauer, Günter Kni...
AI
2008
Springer
15 years 29 days 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