Sciweavers

967 search results - page 22 / 194
» Probabilistic Predicative Programming
Sort
View
AAAI
1990
15 years 26 days ago
Operationality Criteria for Recursive Predicates
Current explanation-based generalization (EBG) techniques can perform badly when the problem being solved involves recursion. Often an infinite series of learned concepts are gene...
Stanley Letovsky
TACAS
2005
Springer
124views Algorithms» more  TACAS 2005»
15 years 5 months ago
Localization and Register Sharing for Predicate Abstraction
ion Himanshu Jain1,2 , Franjo Ivanˇci´c1 , Aarti Gupta1 , and Malay K. Ganai1 1 NEC Laboratories America, Inc., 4 Independence Way, Princeton, NJ 08540 2 School of Computer Scien...
Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay ...
IJCAI
2007
15 years 1 months ago
Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning
P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...
Chitta Baral, Matt Hunsaker
IJCAI
1993
15 years 1 months ago
Multiple Predicate Learning
We study multiple predicate learning in an empirical setting. Problems with existing inductive logic programming approaches in this setting are sketched and an empirical ILP syste...
Luc De Raedt, Nada Lavrac, Saso Dzeroski
WCFLP
2005
ACM
15 years 5 months ago
A functional logic database library
Programmers need mechanisms to store application specific data that persists multiple program runs. To accomplish this task, they usually have to deal with storage specific code...
Sebastian Fischer