Yearly Archives: 2000

XV. VII APPIA-GULP-PRODE (2000), La Habana (Cuba)

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…

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…