Plotting

 Information Technology



An Algorithm for Generating Quantifier Scopings

Classics

Computational Linguistics, vol. 13, nos. 1-2, January-June 1987, pp. 47-63.





Constraint logic programming

Classics

In Proc. Fourteenth ACM Conference on Principles of Programming Languages, pp. 111– 119. Association for Computing Machinery.



Planning for conjunctive goals

Classics

Artificial Intelligence, 32(3):333-377,