XV. VII APPIA-GULP-PRODE (2000), La Habana (Cuba) December 4-7 2000 Invited Speakers Maurice Bruynooghe Katholieke Universiteit Leuven (Belgium) Thomas Eiter Technische Universitaet Wien (Austria) Jim Lipton Wesleyan University (USA) Program Chairs. Luciano Garcia Universidad de La Habana (Cu) Maria Chiara…
Yearly Archives: 2000
Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 2000
Informal proceedings with program and abstracts: AGP2000-program Post proceedings are published in ENTCS VOL 48, 2001
Int’l Summer School 2000
First International Summer School in Computational Logic ISCL 2000 (org: Sandro Etalle and Maurizio Gabbrielli) [BNVKI newsletter 17 (6), Dec. 2000, p. 14]
Theory-based resolution and automated set reasoning
By Andrea Formisano Università di Roma La Sapienza (consorzio Roma-L’Aquila) March 24, 2000. COMPLETE THESIS IN PDF Abstract Recently, several authors introduced various theory-based extensions of basic inference procedures (the resolution procedure and the connection method, among others). A common…