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