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