9 search results - page 1 / 2 » Logic Programs, Well-Orderings, and Forward Chaining |
APAL
1999
13 years 4 months ago
1999
ENTCS
2000
13 years 4 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
SMALLTALK
2007
Springer
13 years 10 months ago
2007
Springer
LFCS
1997
Springer
13 years 8 months ago
1997
Springer
HIS
2009
13 years 2 months 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...