Doctoral dissertations

Doctoral Dissertation: Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

by Editors • December 31, 2012 • Comments Off

By Alexandre Miguel dos Santos Martins Pinto
Universidade Nova de Lisboa
Portugal

Modelling and analysis of real time systems with Logic Programming and Constraints

by Editors • September 28, 2010 • Comments Off

Gourinath Banda, Roskilde University, Denmark

Logic and Abstraction, Verification and Falsification

by Enrico Pontelli • March 31, 2010 • Comments Off

Jan-Georg Smaus
Albert-Ludwigs-Universit¨at Freiburg, Germany

Symbolic Analysis as a Basis for Program Comprehension

by Enrico Pontelli • March 31, 2010 • Comments Off

Erkki Laitila
Jyväskylä Universit, Finland

Communicated by: Enrico Pontelli

Semantic Web Language Layering with Ontologies, Rules, and Meta-Modeling

by Enrico Pontelli • March 31, 2010 • Comments Off

Jos de Bruijn
Free University of Bozen-Bolzano, Italy

Communicated by: Enrico Pontelli