| |
| | Publications of the DTAI Group |
 | | Pelov, en M. Bruynooghe, Extending constraint logic programming with open functions, Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00) (Gabbrielli, M. and Pfenning, F., eds.), pp. |
 | | Vanhoof, Binding-time analysis by constraint solving: a modular and higher-order approach for Mercury, Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 2000, Proceedings (M. Parigot and A. Voronkov, eds.), vol 1955, Lecture Notes in Artificial Intelligence, pp. |
 | | Denecker, A note on the declarative reading(s) of Logic Programming, Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000 (Chitta Baral and Miroslaw Truszcynsky, eds.), pp. |
| www.cs.kuleuven.ac.be /cwis/research/dtai/publications/2000-N.shtml (2527 words) |
|