9 search results - page 1 / 2 » Logic Programs, Well-Orderings, and Forward Chaining |
APAL
1999
15 years 23 days ago
1999
124
Voted
ENTCS
2000
15 years 27 days 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...
85
Voted
SMALLTALK
2007
Springer
15 years 7 months ago
2007
Springer
77
Voted
LFCS
1997
Springer
15 years 5 months ago
1997
Springer
168
Voted
HIS
2009
14 years 11 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...