European Master's Program in Computational Logic

Search:

Books we Wrote

Matthias Baaz, Alexander Leitsch. Methods of Cut Elimination. Springer, 2011 Edmund M. Clarke, Tom Henzinger, Helmut Veith. Handbook of Model Checking. To appear in 2011 Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch. Logik und Logikprogrammierung. Band 2: Aufgaben und Lösungen. Synchron Verlag, 2011 Rolf Haenni, Jan-Willem Romeyn, Gregory Wheeler, Jon Williamson. Probabilistics Logic and Probabilistic Networks. Springer Synthese Library, 2010 Steffen Hölldobler. Logik und Logikprogrammierung. Band 1: Grundlagen. 4. Auflage. Synchron Verlag, 2009
Pascal Hitzler, Markus Krötzsch, and Sebastian Rudolph. Foundations of Semantic Web Technologies. Chapman & Hall/CRC Textbooks in Computing, 2009 Christel Baier, Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008 Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph and York Sure. Semantic Web: Grundlagen. Springer Verlag, Reihe eXamen.press, 2008 Franz Baader, Diego Calvanese, Deborah McGuiness, Daniele Nardi, Peter Patel-Schneider. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2007 William Harper and Gregory Wheeler (eds.). Probability and Inference: Essays in Honour of Henry E. Kyburg Jr. College Publications, 2007
Jorge Cruz. Constraint Reasoning for Differential Models. IOS Press, 2005 Michael Thielscher. Reasoning Robots. The Art and Science of Programming Robotic Agents. Springer, 2005 Ricardo Caferra, Alexander Leitsch, Nicholas Peltier. Automated Model Building. Kluwer, 2004 Francisco Azevedo. Constraint Solving over Multi-valued Logics - Application to Digital Circuits. IOS Press, 2003 João Alexandre Leite. Evolving Knowledge Bases. IOS Press, 2003
Christel Baier, Alexander Asteroth. Theoretische Informatik. Pearson Studium, 2002 V.S. Subrahmanian, Piero Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, Robert Ross. Heterogeneous Agent Systems: Theory and Implementation. MIT Press, 2000 Franz Baader, Tobias Nipkow. Term Rewriting and All That. Cambridge University Press, 1999 Peter Baumgartner. Theory Reasoning in Connection Calculi. Springer, 1998 Zoltan Fülöp, Heiko Vogler. Syntax-Directed Semantics. Springer, 1998
Michael Schroeder. Autonomous, Model-Based Diagnosis Agents. Springer, 1998 Andrea Asperti, Agata Ciabattono. Logica e Informatica. McGraw-Hill, 1997 Alexander Leitsch. The Resolution Calculus. Springer, 1997 José Júlio Alferes, Luís Moniz Pereira. Reasoning with Logic Programming. Springer, 1996 Christian Fermüller, Alexander Leitsch, Tanel Tammetm Nail Zamov. Resolution Methods for the Decision Problem. Springer 1993
Steffen Hölldobler. Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353). Springer, 1989 Helder Coelho, José Carlos Cotta, Luís Moniz Pereira. How to Solve it with Prolog, 4th ed. Laboratório Nacional de Engenharia Civil, 1985 Helder Coelho, Luís Moniz Pereira. GEOM: A Prolog Geometry Prover. Laboratório Nacional de Engenharia Civil, 1976