Sciweavers

3693 search results - page 164 / 739
» Splitting a Logic Program
Sort
View
160
Voted
FROCOS
2000
Springer
15 years 6 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
HIS
2009
15 years 10 days 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
86
Voted
ICML
2003
IEEE
16 years 3 months ago
Learning Logic Programs for Layout Analysis Correction
Margherita Berardi, Michelangelo Ceci, Floriana Es...
SOFSEM
2010
Springer
15 years 11 months ago
Taming the Complexity of Inductive Logic Programming
Filip Zelezný, Ondrej Kuzelka
103
Voted
SEFM
2009
IEEE
15 years 9 months ago
Completeness of Pointer Program Verification by Separation Logic
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...