Theses




		PhD Theses Change actions. From incremental computation to discrete derivatives M. Álvarez-Picallo, University of Oxford, 2020 Scalable Logic Defined Static Analysis P. Suboti´c University College London, 2018 Defeasible reasoning for existential rules A. Hecham, Université de Montpellier, 2018 Optimization Techniques for Algorithmic Debugging, D. Insa Cabrera, Universitat Politècnica de València, 2016 A Unified Approach for Dealing with Ontology Mappings and their Defects. M.A. Abbas, Université de Bretagne Sud, 2016 Validation Framework for RDF-based Constraint Languages Thomas Hartmann, Karlsruher Instituts fÂ¨ur Technologie (KIT), 2016 Methods for Evaluating Queries to Horn Knowledge Bases in First-Order Logic Son T. Cao, Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, 2016 Techniques and Tools for Secure Web Browser Extension Development Rezwana Karim, New Brunswick Rutgers, The State University of New Jersey, 2015 Datalog: Bases de datos Deductivas N. V. Ramírez Pérez and M. Laguna Estrada, Pistas Educativas No. 107. Instituto Tecnológico de Celaya, México, 2014 Stepwise Debugging in Answer-Set Programming: Theretical Foundations and Practical Realisation Jörg Pürer, Faculty of Informatics, Vienna University of Technology, 2014 Modeling, Analysis, and Optimization of Data-Driven Scientific Workflows Koehler, Sven, University of California Davis, 2014 Missing Data in the Relational Model Morrissett, Marion R., Virginia Commonwealth University, 2013 Accessing and using Complex Multimedia Documents in a Digital Library Ly, Anh T., Université Paris-Sud, 2013 An object-oriented data and query model J Vella University of Sheffield, 2013 Accessing and using complex multimedia documents in a digital library A.T. Ly, Université Paris-Sud, 2013 Possibility of using Deductive Databases in Production Information Systems S.A. Pushkarenko, Donetsk National Technical University, Ukraine Computer Science and Engineering Department University of Nebraska - Lincoln, USA University of Texas at San Antonio, USA Data streams and information networks Katholieke Universiteit Leuven – Faculty of Engineering, Belgium, EU, 2010 Magické transformácie pre DATALÓG~ Univerzita KomenskÉHo V Bratislave, 2008 Collaborative Narrative Generation in Persistent Virtual Environments Madden, N., The University of Nottingham, UK Master Theses Constraint Programming Solutions to LogicQL Program Verification and System Resilience Problems H. Liu, Simon Fraser University, Canada, 2015 Identifying problems with grouping N. Tao, 2015 SafEx: a tool for integrity enforcement in UML conceptual schemas A.O. Kabar, Universitat Politécnica de Catalunya - BarcelonaTech, Spain, 2014 An Efficient Schema Extraction Technique for Graph Databases M. Singh, Thapar University, India, 2015 Raonament sobre l'efecte dels esdeveniments estructurals en un esquema conceptual UML N. Raga-Llorens, Universitat Politécnica de Catalunya - BarcelonaTech, Spain, 2014 Automatic Generation of test cases for SQL queries in the DES system A. Panizo LLedot, C. García Sanz, and I. Núñez de Arenas Besteiro Complutense University of Madrid 2013 Anfragebearbeitung in integrierten Datenbanken nach dem Local-as-View-Paradigma T. Hüther, Leibniz Universität Hannover, Germany, 2012 A Constraint-Based Model for 3D Spatial-Temporal Data Management J. Li, 2012 Descubrimiento de patrones secuenciales utilizando razonamiento lógico temporal Solano-Rojas, Braulio J., Universidad de Costa Rica, 2011 Magické transformácie pre DATALÓG: Diplomová práca Fakulta matematiky, fyziky a informatiky Univerzita Komenského v Bratislave, 2008 Increase a productivity of the Prolog language compiler using the mechanism of parallel calculations Shulikov, A., Faculty of Computer Science and Informatics, Donetsk National Technical University, Ukraine 2008