Sciweavers

3691 search results - page 32 / 739
» Bayesian Logic Programs
Sort
View
87
Voted
POPL
2000
ACM
15 years 6 months ago
Anytime, Anywhere: Modal Logics for Mobile Ambients
Luca Cardelli, Andrew D. Gordon
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 22 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