4370 search results - page 243 / 874 » Algebra of Logic Programming |
163
click to vote
FROCOS
2000
Springer
15 years 6 months ago
2000
Springer
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...
188
click to vote
HIS
2009
15 years 26 days ago
2009
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...
141
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...
ICML
2003
IEEE
16 years 3 months ago
2003
IEEE
SOFSEM
2010
Springer
15 years 12 months ago
2010
Springer