Sciweavers

3691 search results - page 162 / 739
» Bayesian Logic Programs
Sort
View
146
Voted
FROCOS
2000
Springer
15 years 4 months ago
Compiling Multi-Paradigm Declarative Programs into Prolog
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
Sergio Antoy, Michael Hanus
169
Voted
HIS
2009
14 years 11 months ago
Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ Ontologies
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
Yuting Zhao, Jeff Z. Pan, Yuan Ren
ICML
2003
IEEE
16 years 1 months ago
Learning Logic Programs for Layout Analysis Correction
Margherita Berardi, Michelangelo Ceci, Floriana Es...
SOFSEM
2010
Springer
15 years 10 months ago
Taming the Complexity of Inductive Logic Programming
Filip Zelezný, Ondrej Kuzelka
85
Voted
SEFM
2009
IEEE
15 years 7 months ago
Completeness of Pointer Program Verification by Separation Logic
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...