58 search results - page 1 / 12 » Basic Forward Chaining Construction for Logic Programs |
LFCS
1997
Springer
13 years 9 months ago
1997
Springer
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 11 months ago
2007
Springer
APAL
1999
13 years 4 months ago
1999
AIPS
2010
13 years 5 months ago
2010
Over the last few years there has been a revival of interest in the idea of least-commitment planning with a number of researchers returning to the partial-order planning approach...