The ALP website is trying to build the list of theses (bachelor, master, PhD) in Computational Logic. See, for instance, PhD Dissertations Master’s Theses Please, consider to report your work for inclusion in the list by sending the…
Category: Doctoral dissertations
Doctoral Dissertation: Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations
By Alexandre Miguel dos Santos Martins Pinto
Universidade Nova de Lisboa
Portugal
Modelling and analysis of real time systems with Logic Programming and Constraints
Gourinath Banda, Roskilde University, Denmark
Logic and Abstraction, Verification and Falsification
Jan-Georg Smaus
Albert-Ludwigs-Universit¨at Freiburg, Germany