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