1455 search results - page 29 / 291 » Programming in Logic with Constraints for Natural Language P... |
FM
2009
Springer
14 years 2 months ago
2009
Springer
IFL
2007
Springer
14 years 1 months ago
2007
Springer
LPAR
1992
Springer
13 years 11 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
SCCC
1998
IEEE
13 years 12 months ago
1998
IEEE
The last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. This is due to the compactness of the representations, which...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...