Sciweavers

5482 search results - page 203 / 1097
» Logic Programming and Databases
Sort
View
FROCOS
2000
Springer
15 years 10 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 4 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
128
Voted
ICML
2003
IEEE
16 years 7 months ago
Learning Logic Programs for Layout Analysis Correction
Margherita Berardi, Michelangelo Ceci, Floriana Es...
SOFSEM
2010
Springer
16 years 3 months ago
Taming the Complexity of Inductive Logic Programming
Filip Zelezný, Ondrej Kuzelka
SEFM
2009
IEEE
16 years 1 months ago
Completeness of Pointer Program Verification by Separation Logic
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...