European Master's Program in Computational Logic

Search:

Books we Wrote

Edmund M. Clarke, Tom Henzinger, Helmut Veith. Handbook of Model Checking. To appear in 2011 Rolf Haenni, Jan-Willem Romeyn, Gregory Wheeler, Jon Williamson. Probabilistics Logic and Probabilistic Networks. Springer Synthese Library, 2010 Alexander Leitsch. Methods of Cut Elimination. Springer, 2010 Steffen Hölldobler. Logik und Logikprogrammierung. 4. Auflage. Synchron Verlag, 2009 Christel Baier, Joost-Pieter Katoen. Principles of Model Checking. MIT 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