EMCL Graduates
Academic Year 2009/2010
Luthfi Darmawan
Master Thesis: Evaluating LTL Satisfiability Solvers
Master Thesis: Evaluating LTL Satisfiability Solvers
Sana Fraz
Yazmin Angelica Ibanez Garcia
Ruben Monjaraz Hernandez Imbert
Master Thesis: From the Pi-Calculus to Flat GHC
Master Thesis: From the Pi-Calculus to Flat GHC
Trung Kien Nguyen
Master Thesis: Modular Answer Set Programming for General Game Playing
Master Thesis: Modular Answer Set Programming for General Game Playing
Victor Pablos Ceruelo
Master Thesis: Negative Non-Ground Queries in Well Founded Semantics
Master Thesis: Negative Non-Ground Queries in Well Founded Semantics
Anna Roubickova
Dmitry Zheleznyakov
Master Thesis: Updating Description Logics Knowledge Bases
Master Thesis: Updating Description Logics Knowledge Bases
Academic Year 2008/2009
Mohammad Sadnan Al-Manir
Master Thesis: Toward RIF-OWL Combination: An Effective Reasoning Technique in Integreating OWL and Negotiation-free Rules
Master Thesis: Toward RIF-OWL Combination: An Effective Reasoning Technique in Integreating OWL and Negotiation-free Rules
Ekaterina Andrianova
Han The Anh
Master Thesis: Evolution Prospection with Intention Recognition via Computational Logic
Master Thesis: Evolution Prospection with Intention Recognition via Computational Logic
Patrick Bahr
Mito Belopeta
Master Thesis: Answer Set Programming for Multiagent Resource Allocation
Master Thesis: Answer Set Programming for Multiagent Resource Allocation
Aleksander Benevolenskiy
Melisachew Wudage Chekol
Tsvetan Dunchev
Frederico Thomaz de Aquir Franzosi
Master Thesis: Feasibility Analysis on Applying Modelcheckers to Automatically Verify C++ to x86 ASM Compilation Results
Master Thesis: Feasibility Analysis on Applying Modelcheckers to Automatically Verify C++ to x86 ASM Compilation Results
Joao Manuel Gomes Moura
Paolo Guagliardo
Master Thesis: Theoretical Foundations of an Ontology-Based Visual Tool for Query Formulation Support
Master Thesis: Theoretical Foundations of an Ontology-Based Visual Tool for Query Formulation Support
Daniel Guimaraes Santos
Master Thesis: A Multi-Thread Implementation of Functional Logic Programming
Master Thesis: A Multi-Thread Implementation of Functional Logic Programming
Jean Jung
Master Thesis: Value Orderings Based on Solution Counting
Master Thesis: Value Orderings Based on Solution Counting
Carroline Dewi Puspa Kencana Ramli
Master Thesis: Logic Programs and Three-Valued Consequence Operators
Master Thesis: Logic Programs and Three-Valued Consequence Operators
Vikash Kumar
Master Thesis: An Ontology-based Approach for Interactive Question Answering: Experiments with the Qall-Me System
Master Thesis: An Ontology-based Approach for Interactive Question Answering: Experiments with the Qall-Me System
Ilham Winata Kurnia
Master Thesis: Model Checking with Fairness for Reo
Master Thesis: Model Checking with Fairness for Reo
Ekaterina Lebedeva
Tomer Libal
Md. Abu Naser Masud
Master Thesis: Minimization Methods for Exogenous Coordination Models
Master Thesis: Minimization Methods for Exogenous Coordination Models
Yu Miao
Mushthofa Mushthofa
Narumol Prangnawarat
Master Thesis: Web Accessibility Based on Understanding the Visual Structure of Grocery Web Portals
Master Thesis: Web Accessibility Based on Understanding the Visual Structure of Grocery Web Portals
Freddy Priyatna
Master Thesis: RDF-based Access to Multiple Relational Data Sources
Master Thesis: RDF-based Access to Multiple Relational Data Sources
Luca Quaglia
Master Thesis: Evolving Electronic Institutions
Master Thesis: Evolving Electronic Institutions
Mohammad Aminur Rashid
Mikheil Rukhaia
Ksenia Rybenko
Master Thesis: Collaborative Process Management in Construction by Means of Rules and Ontologies
Master Thesis: Collaborative Process Management in Construction by Means of Rules and Ontologies
Gokarna Prasad Sharma
Master Thesis: Finding Patterns in Semantic Graph Formalism
Master Thesis: Finding Patterns in Semantic Graph Formalism
Armin Troy
Master Thesis: Hybrid Logic in the Calculus of Structures
Master Thesis: Hybrid Logic in the Calculus of Structures
Jigneshkumar Viradia
Master Thesis: Reasoning with Boolean ABoxes
Master Thesis: Reasoning with Boolean ABoxes
Quoc Huy Vu
Master Thesis: Subsumption in the Description Logic ELHI f R+ w.r.t. General TBoxes
Master Thesis: Subsumption in the Description Logic ELHI f R+ w.r.t. General TBoxes
Dengji Zhao
Master Thesis: Decomposition of Multi-Player Games
Master Thesis: Decomposition of Multi-Player Games
Academic Year 2007/2008
Raonne Barbosa Vargas
Ismael Everardo Barcenas Patino
Minh Dao Tran
Master Thesis: Default Reasoning on Top of Ontologies with DL-Programs
Master Thesis: Default Reasoning on Top of Ontologies with DL-Programs
Yansen Darmaputra
Atif Iqbal
Master Thesis: Semi-Automated Generation of Ontology Teams and Their Definition
Master Thesis: Semi-Automated Generation of Ontology Teams and Their Definition
Arsen Kostenko
Master Thesis: Calculating End Game Databases for General Game Playing
Master Thesis: Calculating End Game Databases for General Game Playing
Mei Sin Lee
Valentin Mayer-Eichberger
Novak Novakovic
Master Thesis: A Proof-Theoretic Approach to Subsumption and Least Common Subsumer in EL w.r.t. Hybrid TBoxes
Master Thesis: A Proof-Theoretic Approach to Subsumption and Least Common Subsumer in EL w.r.t. Hybrid TBoxes
Emmanouil Paissios
Vadim Savenkov
Marija Slavkovik
Master Thesis: Deep Analysis for an Interactive Question Answering System
Master Thesis: Deep Analysis for an Interactive Question Answering System
Hannes Strass
Master Thesis: Fuzzy Reasoning via Logic Programming
Master Thesis: Fuzzy Reasoning via Logic Programming
Academic Year 2006/2007
Thu Trang Doan
Master Thesis: Building a FLUX Multiagent Team for the Gold Rush Scenario
Master Thesis: Building a FLUX Multiagent Team for the Gold Rush Scenario
Szilvia Halasz
Master Thesis: Optimizing Perfect Rewriting in DL-Lite
Master Thesis: Optimizing Perfect Rewriting in DL-Lite
Ren Jieyun
Master Thesis: Animated Hand Gestures for Italian Sign Language
Master Thesis: Animated Hand Gestures for Italian Sign Language
Evgeny Kharlamov
Master Thesis: Model Theory and Calculus for the Description Logic DL-Lite
Master Thesis: Model Theory and Calculus for the Description Logic DL-Lite
Yixian Liu
Master Thesis: Querying XML Data Using Description Logics
Master Thesis: Querying XML Data Using Description Logics
Lina Lubyte
Martin Meraner
Trung Kien Nguyen
Master Thesis: Modular Answer Set Programming for General Game Playing
Master Thesis: Modular Answer Set Programming for General Game Playing
Rocio Santillan Rodriguez
Gaston Tagni
Bruno Woltzenlogel Paleo
Master Thesis: Herbrand Sequent Extraction
Master Thesis: Herbrand Sequent Extraction
Academic Year 2005/2006
Luciana Benotti
Stefano David
Matthias Knorr
Master Thesis: A Comparative Study of Disjunctive Well-founded Semantics
Master Thesis: A Comparative Study of Disjunctive Well-founded Semantics
Vivek Nigam
Master Thesis: Dynamic Logic Programming and 3 APL
Master Thesis: Dynamic Logic Programming and 3 APL
Maria Magdalena Ortiz de la Fuente
Mantas Simkus
Evaldas Taroza
Wiratna Sari Wiguna
Master Thesis: Fuzzy Prolog as Cognitive Layer for Robocupsoccer
Master Thesis: Fuzzy Prolog as Cognitive Layer for Robocupsoccer