EMCL Graduates
Academic Year 2017/2018
Isabelly Louredo Rocha
Master Thesis: Bounded Sceptical Reasoning
Position after study: PhD-study at University of Neuchate, Switzerland
Master Thesis: Bounded Sceptical Reasoning
Position after study: PhD-study at University of Neuchate, Switzerland
Tanu Shri Sahu
Master Thesis: Modelling Support for Process Workflow with Data
Master Thesis: Modelling Support for Process Workflow with Data
Emira Ziberi
Master Thesis: An Ontology for Description Logics
Position after study: Software Engineer, Germany
Master Thesis: An Ontology for Description Logics
Position after study: Software Engineer, Germany
Academic Year 2016/2017
Nur Alfi Ekowati
Master Thesis: Inconsistency Measures for OWL Ontologies
Position after study: intern developer at First Sensor Mobility, Germany
Master Thesis: Inconsistency Measures for OWL Ontologies
Position after study: intern developer at First Sensor Mobility, Germany
Atefeh Keshavarzi
Master Thesis: Investigating Subclasses of Abstract Dialectical Frameworks
Position after study: PhD-study at the University of Groningen, Netherlands
Master Thesis: Investigating Subclasses of Abstract Dialectical Frameworks
Position after study: PhD-study at the University of Groningen, Netherlands
Aman Sinha
Master Thesis: Extending Coloured Petri Nets with Relational Databases
Position after study: Software Developer at Amazon, Madrid, Spain
Master Thesis: Extending Coloured Petri Nets with Relational Databases
Position after study: Software Developer at Amazon, Madrid, Spain
Anna Tigunova
Master Thesis: Detection of Textual Information Using Convolutional Neural Networks
Position after study: Internship at Aalto University, Finland
Master Thesis: Detection of Textual Information Using Convolutional Neural Networks
Position after study: Internship at Aalto University, Finland
Satyadharma Tirtarasa
Master Thesis: Justifications for Inconsistency under Fixed-Domain Semantics
Position after study: Research assistant at TUD, Germany
Master Thesis: Justifications for Inconsistency under Fixed-Domain Semantics
Position after study: Research assistant at TUD, Germany
Academic Year 2015/2016
Medina Andresel
Master Thesis: A Compilation Technique for Interactive Ontology-mediated Data Exploration
Position after study: PhD-study at TUW, Austria
Master Thesis: A Compilation Technique for Interactive Ontology-mediated Data Exploration
Position after study: PhD-study at TUW, Austria
Yue Chen
Master Thesis: Query Answering Through Reformulation
Position after study: PhD-study at TUW, Austria
Master Thesis: Query Answering Through Reformulation
Position after study: PhD-study at TUW, Austria
Andrea Condoluci
Master Thesis: CERES in Propositional Proof Schemata
Position after study: PhD-study at University of Bologna, Italy
Master Thesis: CERES in Propositional Proof Schemata
Position after study: PhD-study at University of Bologna, Italy
Gonca Güllü
Master Thesis: A Bipolar Social Argumentation Framework
Position after study: Software developer, Portugal
Master Thesis: A Bipolar Social Argumentation Framework
Position after study: Software developer, Portugal
Matteo Manighetti
Master Thesis: Computational Interpretations of Markovs Principle
Position after study: PhD at Ecole Polytechnique in Paris, France
Master Thesis: Computational Interpretations of Markovs Principle
Position after study: PhD at Ecole Polytechnique in Paris, France
Rafael Mejia Santana
Master Thesis: Heuristic Algorithms and Variants of the Vehicle Routing Problem for a Distribution Company: A Case Study
Position after study: job at Pixinline.com (startup company), Portugal
Master Thesis: Heuristic Algorithms and Variants of the Vehicle Routing Problem for a Distribution Company: A Case Study
Position after study: job at Pixinline.com (startup company), Portugal
Luis Palacios Medinacelli
Master Thesis: Skeptical Abduction: A Connectionist Network
Position after study: PhD-study at Universite Paris-Sud, France
Master Thesis: Skeptical Abduction: A Connectionist Network
Position after study: PhD-study at Universite Paris-Sud, France
Nika Pona
Master Thesis: Cut-Elimination in Functional Higher-Order Logic
Position after study: PhD-study at University of Barcelona, Spain
Master Thesis: Cut-Elimination in Functional Higher-Order Logic
Position after study: PhD-study at University of Barcelona, Spain
Prildy
Master Thesis: A Hybrid Constrained Ant Colony Approach to the Public Bus Assignment Problem with Time Windows
Position after study: Job in software industry in Jarkarta, Indonesia
Master Thesis: A Hybrid Constrained Ant Colony Approach to the Public Bus Assignment Problem with Time Windows
Position after study: Job in software industry in Jarkarta, Indonesia
Firdaus Ismail Sholeh
Master Thesis: Constraint Programming-based Refinement of Multiple Sequence Alignments
Position after study: job at Accenture, Indonesia
Master Thesis: Constraint Programming-based Refinement of Multiple Sequence Alignments
Position after study: job at Accenture, Indonesia
Emmanouil Thanos
Master Thesis: A Constrained Multi-Start Approach to the Drivers Daily Activities Problem with Depot Discontinuity
Position after study: PhD study at KU Leuven, Belgium
Master Thesis: A Constrained Multi-Start Approach to the Drivers Daily Activities Problem with Depot Discontinuity
Position after study: PhD study at KU Leuven, Belgium
Thanh Hai Tran
Master Thesis: User-guided predicate abstraction of TLA+ specification
Position after study: PhD-study at TUW, Austria,
Master Thesis: User-guided predicate abstraction of TLA+ specification
Position after study: PhD-study at TUW, Austria,
Academic Year 2014/2015
Asma Afeefi
Master Thesis: Navigation Approaches for Answer Sets
Position after study: Instructor at An-Najah National University, Palestine
Master Thesis: Navigation Approaches for Answer Sets
Position after study: Instructor at An-Najah National University, Palestine
Ximena Isabel Kumi Juarez Castro
Master Thesis: A Case Study on Intelligent Data Querying
Position after study: Research assistant at unibz, Italy
Master Thesis: A Case Study on Intelligent Data Querying
Position after study: Research assistant at unibz, Italy
Radityo Eko Prasojo
Master Thesis: Entity and Aspect Extraction for Organizing News Comments
Position after study: PhD-study at Free University of Bozen-Bolzano
Master Thesis: Entity and Aspect Extraction for Organizing News Comments
Position after study: PhD-study at Free University of Bozen-Bolzano
Adrian Rebola-Pardo
Master Thesis: Unsatisfiability Proofs in SAT Solving with Parity Reasoning
Position after study: Research assistant at TUW, Austria
Master Thesis: Unsatisfiability Proofs in SAT Solving with Parity Reasoning
Position after study: Research assistant at TUW, Austria
Alifah Syamsiyah
Master Thesis: Ontology-Driven Extraction of Event Logs from Relational Databases
Position after study: PhD student at Eindhoven University of Technology, Netherlands
Master Thesis: Ontology-Driven Extraction of Event Logs from Relational Databases
Position after study: PhD student at Eindhoven University of Technology, Netherlands
Academic Year 2013/2014
Andreas Fellner
Master Thesis: Space and Congruence Compression of Proofs
Position after study: PhD study at IST Austria
Master Thesis: Space and Congruence Compression of Proofs
Position after study: PhD study at IST Austria
Adrian Haret
Master Thesis: Merging in the Horn Fragment
Position after study: PhD student at TUW, Austria
Master Thesis: Merging in the Horn Fragment
Position after study: PhD student at TUW, Austria
Amr Hany Shehata Saleh
Master Thesis: Constraint Reasoning with Local Search for Continuous Optimization
Position after study: PhD at KU Leuven, Belgium
Master Thesis: Constraint Reasoning with Local Search for Continuous Optimization
Position after study: PhD at KU Leuven, Belgium
Alina Petrova
Master Thesis: Learning Formal Definitions for Biomedical Concepts
Position after study: Research assistant in the BIOTEC TU Dresden, Germany
Master Thesis: Learning Formal Definitions for Biomedical Concepts
Position after study: Research assistant in the BIOTEC TU Dresden, Germany
Paula-Andra Busoniu
Master Thesis: On Supporting the Development of Answer-Set Programs using Model-Driven Engineering Techniques
Master Thesis: On Supporting the Development of Answer-Set Programs using Model-Driven Engineering Techniques
Itzel Vázquez Sandoval
Master Thesis: Automated Reasoning Support for Process Models using Action Languages
Master Thesis: Automated Reasoning Support for Process Models using Action Languages
Ferdian Jovan
Master Thesis: Planning Problems in Petri Nets and Fluent Calculus
Position after study: PhD study at School of Computer Science, University of Birmingham, UK
Master Thesis: Planning Problems in Petri Nets and Fluent Calculus
Position after study: PhD study at School of Computer Science, University of Birmingham, UK
Enrique Matos Alfonso
Master Thesis: Increasing the Robustness of SAT Solving with Machine Learning Techniques
Position after study: PhD study at the Technical University of Athens, Greece
Master Thesis: Increasing the Robustness of SAT Solving with Machine Learning Techniques
Position after study: PhD study at the Technical University of Athens, Greece
Martin Diller
Master Thesis: Solving Reasoning Problems on Abstract Dialectical Frameworks via Quantified Boolean Formulas
Position after study: PhD study at TUW, Austria
Master Thesis: Solving Reasoning Problems on Abstract Dialectical Frameworks via Quantified Boolean Formulas
Position after study: PhD study at TUW, Austria
Andrey Rivkin
Master Thesis: Formal Verification of Data-Aware Business Processes Based on Petri Nets
Position after study: Research work at unibz, Italy
Master Thesis: Formal Verification of Data-Aware Business Processes Based on Petri Nets
Position after study: Research work at unibz, Italy
Peter Skocovsky
Master Thesis: Realisation of Stepping for Real-World ASP Languages
Position after study: Java programmer at RUPEAL, Portugal
Master Thesis: Realisation of Stepping for Real-World ASP Languages
Position after study: Java programmer at RUPEAL, Portugal
Nina Solomakhina
Master Thesis: Combining Ontologies and Statistics for Sensor Data Quality Improvement
Position after study: PhD study at Siemens AG, Munich, Germany
Master Thesis: Combining Ontologies and Statistics for Sensor Data Quality Improvement
Position after study: PhD study at Siemens AG, Munich, Germany
Sergejs Pugacs
Master Thesis: A Clustering Approach for Vehicle Routing Problems with Hard Time Windows
Position after study: PhD at unibz, Italy
Master Thesis: A Clustering Approach for Vehicle Routing Problems with Hard Time Windows
Position after study: PhD at unibz, Italy
Oleksandr Stashuk
Master Thesis: Integrating Constraint Programming into Answer Set Programming
Position after study: Software Engineer at Facebook, Menlo Park, USA
Master Thesis: Integrating Constraint Programming into Answer Set Programming
Position after study: Software Engineer at Facebook, Menlo Park, USA
Ilina Stoilkovska
Master Thesis: XML Data Integration
Position after study: Research job at TUW, Austria
Master Thesis: XML Data Integration
Position after study: Research job at TUW, Austria
Tobias Kaminski
Master Thesis: Efficient Paraconsistent Reasoning with Rules and Ontologies for the Semantic Web
Position after study: PhD at TUW, Austria
Master Thesis: Efficient Paraconsistent Reasoning with Rules and Ontologies for the Semantic Web
Position after study: PhD at TUW, Austria
Academic Year 2012/2013
Martin Alexandrov
Master Thesis: Heuristics and Policies for Online Pickup and Delivery Problems
Position after study: Job at NOVA, research group
Master Thesis: Heuristics and Policies for Online Pickup and Delivery Problems
Position after study: Job at NOVA, research group
Timea Bagosi
Master Thesis: Query Answering in the Description Logic ELH
Position after study: Job at unibz, research group
Master Thesis: Query Answering in the Description Logic ELH
Position after study: Job at unibz, research group
Fariz Darari
Master Thesis: Completeness Reasoning for Linked Data Queries
Position after study: PhD study at unibz
Master Thesis: Completeness Reasoning for Linked Data Queries
Position after study: PhD study at unibz
Ronald de Haan
Master Thesis: Description Logic Based Reasoning on Programming Languages
Position after study: PhD student within the European PhD Program in Computational Logic (EPCL)
Master Thesis: Description Logic Based Reasoning on Programming Languages
Position after study: PhD student within the European PhD Program in Computational Logic (EPCL)
Oliver Fernandez Gil
Master Thesis: Hybrid Unication in the Description Logic EL
Position after study: PhD student at Universität Leipzig
Master Thesis: Hybrid Unication in the Description Logic EL
Position after study: PhD student at Universität Leipzig
Bishoksan Kafle
Master Thesis: Modeling Assembly Program with Constraints - A Contribution to WCET Problem
Position after study: PhD student at Roskilde University, Denmark
Master Thesis: Modeling Assembly Program with Constraints - A Contribution to WCET Problem
Position after study: PhD student at Roskilde University, Denmark
Davide Lanti
Master Thesis: Sharing Information in Parallel Search with Search Space Partitioning
Position after study: PhD position at unibz
Master Thesis: Sharing Information in Parallel Search with Search Space Partitioning
Position after study: PhD position at unibz
Sergey Paramonov
Master Thesis: A Logic Programming Approach to Query Completeness
Position after study: PhD at KU Leuven
Master Thesis: A Logic Programming Approach to Query Completeness
Position after study: PhD at KU Leuven
Ana Pavlišič
Master Thesis: Efficient Algorithms for Language Emptiness of Infinite-State FTS and Satisfiability of LTL Extensions
Master Thesis: Efficient Algorithms for Language Emptiness of Infinite-State FTS and Satisfiability of LTL Extensions
Gil Vegliach
Master Thesis: Monitoring of Data-Centric Business Rules and Processes
Position after study: Android Software Developer at Cortado AG in Berlin, Germany
Master Thesis: Monitoring of Data-Centric Business Rules and Processes
Position after study: Android Software Developer at Cortado AG in Berlin, Germany
Academic Year 2011/2012
Ronell Alberts
Master Thesis: An Integrated Method Using Conceptual Modelling to Generate an Ontology-Based Query Mechanism
Master Thesis: An Integrated Method Using Conceptual Modelling to Generate an Ontology-Based Query Mechanism
Tewodros Awgichew Beyene
Master Thesis: Constraint-based Verification of Imperative Programs
Position after study: PhD student at the Technical University of Munich
Master Thesis: Constraint-based Verification of Imperative Programs
Position after study: PhD student at the Technical University of Munich
Marco Gario
Master Thesis: Backdoors for SAT
Position after study: PhD at Fondazione Bruno Kessler FBK University of Trento in Italy
Master Thesis: Backdoors for SAT
Position after study: PhD at Fondazione Bruno Kessler FBK University of Trento in Italy
Artem Konev
Master Thesis: Reasoning with RDF(S) and F-logic
Master Thesis: Reasoning with RDF(S) and F-logic
Zakka Fauzan Muhammad
Master Thesis: Query Evaluation of Tractable Answering Using Query Answering
Position after study: Software Developer at Dwango Inc., Japan
Master Thesis: Query Evaluation of Tractable Answering Using Query Answering
Position after study: Software Developer at Dwango Inc., Japan
Premchand Nutakki
Master Thesis: Specializing Conjunctive Queries in the EL-family for Better Comprehension of Result Sets
Position after study: Job as a Developer at SAP AG in Walldorf, Baden
Master Thesis: Specializing Conjunctive Queries in the EL-family for Better Comprehension of Result Sets
Position after study: Job as a Developer at SAP AG in Walldorf, Baden
Ario Santoso
Master Thesis: Automated Service Synthesis in a Weighted Framework
Position after study: PhD student within the European PhD Program in Computational Logic (EPCL)
Master Thesis: Automated Service Synthesis in a Weighted Framework
Position after study: PhD student within the European PhD Program in Computational Logic (EPCL)
Ognjen Savkovic
Master Thesis: Managing Datatypes in Ontology-Based Data Access
Position after study: PhD position at unibz, KRDB research group
Master Thesis: Managing Datatypes in Ontology-Based Data Access
Position after study: PhD position at unibz, KRDB research group
Tatiana Tarasova
Master Thesis: Publishing Linked Data: The Pordata Use Case
Position after study: PhD position at the University of Amsterdam, ILPS group
Master Thesis: Publishing Linked Data: The Pordata Use Case
Position after study: PhD position at the University of Amsterdam, ILPS group
Thanh Hai Tran
Master Thesis: User-guided predicate abstraction of TLA+ specification
Position after study: PhD-study at TUW, Austria,
Master Thesis: User-guided predicate abstraction of TLA+ specification
Position after study: PhD-study at TUW, Austria,
Academic Year 2010/2011
Seif El-Din Bairakdar
Master Thesis: Local Opimization for Multi-Context Systems with Constraint Pushing
Master Thesis: Local Opimization for Multi-Context Systems with Constraint Pushing
David Buezas
Master Thesis: Constraint-based Modeling of Minimum Set Covering: Application to Species Differentation
Position after study: Employed in software development, Germany
Master Thesis: Constraint-based Modeling of Minimum Set Covering: Application to Species Differentation
Position after study: Employed in software development, Germany
Domenico Carbotta
Master Thesis: A Practical Automata-Based Technique For Reasoning In Expressive Decription Logics
Position after study: Software Engineer at Google Zürich
Master Thesis: A Practical Automata-Based Technique For Reasoning In Expressive Decription Logics
Position after study: Software Engineer at Google Zürich
Alvaro Fernandes Diaz
Master Thesis: Static Partial Order Reductions for Probabilistic Systems
Position after study: PhD student at Universidad Politécnica de Madrid
Master Thesis: Static Partial Order Reductions for Probabilistic Systems
Position after study: PhD student at Universidad Politécnica de Madrid
Eldora
Master Thesis: Correcting Access Restrictions: a Range-based Approach
Position after study: PhD student at TUD
Master Thesis: Correcting Access Restrictions: a Range-based Approach
Position after study: PhD student at TUD
Muhammad Faheem
Master Thesis: Implementation of Semantic Desktop Tool
Position after study: PhD at Telecom ParisTech
Master Thesis: Implementation of Semantic Desktop Tool
Position after study: PhD at Telecom ParisTech
Sudeep Ghimire
Master Thesis: Reasoning with Text Annotations
Position after study: PhD student at FCT, New University of Lisbon
Master Thesis: Reasoning with Text Annotations
Position after study: PhD student at FCT, New University of Lisbon
Luciano M. Guasco
Master Thesis: Multiple Sequence Alignment Correction using Constraints
Position after study: Job at VI-Clone Corporation in Barcelona
Master Thesis: Multiple Sequence Alignment Correction using Constraints
Position after study: Job at VI-Clone Corporation in Barcelona
Umer Liqat
Master Thesis: Slicing Probabilistic and Reactive Systems for Model Reduction
Position after study: Research internship at IMDEA in Madrid, later PhD in same research institute
Master Thesis: Slicing Probabilistic and Reactive Systems for Model Reduction
Position after study: Research internship at IMDEA in Madrid, later PhD in same research institute
Jing Wei Lu
Master Thesis: Extending Fuzzy Logic with Characteristics Similarity and Quantifications
Master Thesis: Extending Fuzzy Logic with Characteristics Similarity and Quantifications
Natalia Macari
Master Thesis: Analysis of a Machine Learning and Corpus as a Tool for Managing the Ambiguity Problem of Search Engines
Master Thesis: Analysis of a Machine Learning and Corpus as a Tool for Managing the Ambiguity Problem of Search Engines
Norbert Manthey
Master Thesis: Improving SAT Solvers using State-Of-The-Art Techniques
Position after study: PhD study at TUD
Master Thesis: Improving SAT Solvers using State-Of-The-Art Techniques
Position after study: PhD study at TUD
Julian Alfredo Mendez
Master Thesis: A Classification Algorithm For ELHIfR+
Position after study: PhD student at TUD
Master Thesis: A Classification Algorithm For ELHIfR+
Position after study: PhD student at TUD
Nikoloz Pkhakadze
Master Thesis: Quantifier Elimination in Quantified Propositional Lukasievicz Logic
Position after study: Master in Economics
Master Thesis: Quantifier Elimination in Quantified Propositional Lukasievicz Logic
Position after study: Master in Economics
Evgeny Sherkhonov
Master Thesis: Reaching Definability via Abduction
Position after study: PhD student and job at the University of Amsterdam in the Netherlands
Master Thesis: Reaching Definability via Abduction
Position after study: PhD student and job at the University of Amsterdam in the Netherlands
Dmitry Solomakhin
Master Thesis: Logical Formalization of Semantic Business Vocabulary and Rules
Position after study: PhD position at unibz, KRDB research group
Master Thesis: Logical Formalization of Semantic Business Vocabulary and Rules
Position after study: PhD position at unibz, KRDB research group
Giorgio Stefanoni
Master Thesis: Explaining Query Answers in Lightweight Ontologies: The DL-Lite Case
Position after study: PhD student at University of Oxford
Master Thesis: Explaining Query Answers in Lightweight Ontologies: The DL-Lite Case
Position after study: PhD student at University of Oxford
Oana Tifrea
Master Thesis: Symmetry-breaking Answer Set Solving
Position after study: Project collaborator at unibz
Master Thesis: Symmetry-breaking Answer Set Solving
Position after study: Project collaborator at unibz
Tri Kurniawan Wijaya
Master Thesis: Top-Down Evaluation Techniques for Modular Nonmonotonic Logic Programs
Position after study: PhD student at École polytechnique fédérale de Lausanne (EPFL)
Master Thesis: Top-Down Evaluation Techniques for Modular Nonmonotonic Logic Programs
Position after study: PhD student at École polytechnique fédérale de Lausanne (EPFL)
Academic Year 2009/2010
Luthfi Darmawan
Master Thesis: Evaluating LTL Satisfiability Solvers
Position after study: Teacher Indonesia
Master Thesis: Evaluating LTL Satisfiability Solvers
Position after study: Teacher Indonesia
Christian Drescher
Master Thesis: Symmetry Breaking for Answer Set Programming
Position after study: PhD student at NICTA and University of New South Wales Sydney
Master Thesis: Symmetry Breaking for Answer Set Programming
Position after study: PhD student at NICTA and University of New South Wales Sydney
Clemens Dubslaff
Master Thesis: Fault-tolerant Message Sequence Charts
Position after study: PhD study at TUD
Master Thesis: Fault-tolerant Message Sequence Charts
Position after study: PhD study at TUD
Mahfuza Farooque
Master Thesis: A Study on Satisfiability in Fuzzy Description Logics
Position after study: PhD study at Ecole Polytechnique France
Master Thesis: A Study on Satisfiability in Fuzzy Description Logics
Position after study: PhD study at Ecole Polytechnique France
Sana Fraz
Master Thesis: Hybrid Reasoning with Simple Conceptual Logic Programs
Position after study: PhD study at Friedrich-Alexander University of Erlangen in Nuremberg
Master Thesis: Hybrid Reasoning with Simple Conceptual Logic Programs
Position after study: PhD study at Friedrich-Alexander University of Erlangen in Nuremberg
Waheed Aslam Ghumman
Master Thesis: A* n Best Hyperpaths in Haskell
Master Thesis: A* n Best Hyperpaths in Haskell
Yazmin Angelica Ibanez Garcia
Master Thesis: Complexity Boundaries for Full Satisfiability of Restricted UML Class Diagrams
Position after study: PhD study at unibz
Master Thesis: Complexity Boundaries for Full Satisfiability of Restricted UML Class Diagrams
Position after study: PhD study at unibz
Ruben Monjaraz Hernandez Imbert
Master Thesis: From the Pi-Calculus to Flat GHC
Master Thesis: From the Pi-Calculus to Flat GHC
Nhung Thi Phuong Ngo
Master Thesis: Techniques for Query Rewriting Based on Interpolation
Position after study: Teaching assistant in PTIT Vietnam
Master Thesis: Techniques for Query Rewriting Based on Interpolation
Position after study: Teaching assistant in PTIT Vietnam
Thanh Binh Nguyen
Master Thesis: Unification in Description Logic EL Without Top Constructor
Position after study: PhD at Institute of Information Security, Swiss Federal Institute of Technology Zurich, Switzerland
Master Thesis: Unification in Description Logic EL Without Top Constructor
Position after study: PhD at Institute of Information Security, Swiss Federal Institute of Technology Zurich, Switzerland
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
Position after study: PhD study at UPM
Master Thesis: Negative Non-Ground Queries in Well Founded Semantics
Position after study: PhD study at UPM
Anna Roubickova
Master Thesis: Complexity of Argumentation
Position after study: PhD study at unibz
Master Thesis: Complexity of Argumentation
Position after study: PhD study at unibz
Mohamad Fauzan Tahwil
Master Thesis: An AntiPattern-Based OWL Ontology Debugging Tool
Position after study: Internship at NEC Spain
Master Thesis: An AntiPattern-Based OWL Ontology Debugging Tool
Position after study: Internship at NEC Spain
Martins Zalcmanis
Master Thesis: Efficient Evaluation of Conjunctive Queries
Master Thesis: Efficient Evaluation of Conjunctive Queries
Dmitry Zheleznyakov
Master Thesis: Updating Description Logics Knowledge Bases
Position after study: PhD study at unibz
Master Thesis: Updating Description Logics Knowledge Bases
Position after study: PhD study at unibz
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
Position after study: Teacher Bangladesh
Master Thesis: Toward RIF-OWL Combination: An Effective Reasoning Technique in Integreating OWL and Negotiation-free Rules
Position after study: Teacher Bangladesh
Ekaterina Andrianova
Han The Anh
Master Thesis: Evolution Prospection with Intention Recognition via Computational Logic
Position after study: PhD study at NOVA
Master Thesis: Evolution Prospection with Intention Recognition via Computational Logic
Position after study: PhD study at NOVA
Patrick Bahr
Master Thesis: Infinitary Rewriting - Theory and Applications
Position after study: PhD study at University of Copenhagen
Master Thesis: Infinitary Rewriting - Theory and Applications
Position after study: PhD study at University of Copenhagen
Mito Belopeta
Master Thesis: Answer Set Programming for MultiagentResource Allocation
Position after study: Teaching assistant at European University Macedonia
Master Thesis: Answer Set Programming for MultiagentResource Allocation
Position after study: Teaching assistant at European University Macedonia
Alexander Benevolenskiy
Master Thesis: Extending an Ontology by Extraction Concept from Wikipedia
Position after study: Research staff member at TUD
Master Thesis: Extending an Ontology by Extraction Concept from Wikipedia
Position after study: Research staff member at TUD
Melisachew Wudage Chekol
Position after study: PhD study at INRIA France
Position after study: PhD study at INRIA France
Tsvetan Dunchev
Master Thesis: Simplification of Herbrand Sequents
Position after study: PhD study at TUW
Master Thesis: Simplification of Herbrand Sequents
Position after study: PhD study at TUW
Frederico Thomaz de Aquir Franzosi
Master Thesis: Feasibility Analysis on Applying Modelcheckers to Automatically Verify C++ to x86 ASM Compilation Results
Position after study: Judiciary Technician in Informatics Brazil
Master Thesis: Feasibility Analysis on Applying Modelcheckers to Automatically Verify C++ to x86 ASM Compilation Results
Position after study: Judiciary Technician in Informatics Brazil
Joao Manuel Gomes Moura
Position after study: PhD study at NOVA
Position after study: PhD study at NOVA
Paolo Guagliardo
Master Thesis: Theoretical Foundations of an Ontology-Based Visual Tool for Query Formulation Support
Position after study: PhD study at unibz
Master Thesis: Theoretical Foundations of an Ontology-Based Visual Tool for Query Formulation Support
Position after study: PhD study at unibz
Daniel Guimaraes Santos
Master Thesis: A Multi-Thread Implementation of Functional Logic Programming
Position after study: Project manager at Marca Ambiental Ltda. Brazil
Master Thesis: A Multi-Thread Implementation of Functional Logic Programming
Position after study: Project manager at Marca Ambiental Ltda. Brazil
Jean Jung
Master Thesis: Value Orderings Based on Solution Counting
Position after study: PhD study at Bremen University
Master Thesis: Value Orderings Based on Solution Counting
Position after study: PhD study at Bremen University
Carroline Dewi Puspa Kencana Ramli
Master Thesis: Logic Programs and Three-Valued Consequence Operators
Position after study: Teaching assistant at University of Indonesia
Master Thesis: Logic Programs and Three-Valued Consequence Operators
Position after study: Teaching assistant at University of Indonesia
Vikash Kumar
Master Thesis: An Ontology-based Approach for Interactive Question Answering: Experiments with the Qall-Me System
Position after study: PhD study at Telecommunications Software & Systems Group Ireland
Master Thesis: An Ontology-based Approach for Interactive Question Answering: Experiments with the Qall-Me System
Position after study: PhD study at Telecommunications Software & Systems Group Ireland
Ilham Winata Kurnia
Master Thesis: Model Checking with Fairness for Reo
Position after study: Phd study at University Kaiserslautern Germany
Master Thesis: Model Checking with Fairness for Reo
Position after study: Phd study at University Kaiserslautern Germany
Ekaterina Lebedeva
Position after study: PhD study at INRIA France
Position after study: PhD study at INRIA France
Tomer Libal
Master Thesis: Cut Elimination in Inductive Proofs of Weakly Quantified Theorems
Position after study: PhD study at TUW
Master Thesis: Cut Elimination in Inductive Proofs of Weakly Quantified Theorems
Position after study: PhD study at TUW
Md. Abu Naser Masud
Master Thesis: Minimization Methods for Exogenous Coordination Models
Position after study: PhD study at UPM
Master Thesis: Minimization Methods for Exogenous Coordination Models
Position after study: PhD study at UPM
Yu Miao
Position after study: Job at Sun Microsystems China
Position after study: Job at Sun Microsystems China
Mushthofa Mushthofa
Master Thesis: Evaluation of Answer Set Programs with Bounded Predicate Arities
Position after study: teacher at the Institut Pertanian Bogor Indonesia
Master Thesis: Evaluation of Answer Set Programs with Bounded Predicate Arities
Position after study: teacher at the Institut Pertanian Bogor Indonesia
Narumol Prangnawarat
Master Thesis: Web Accessibility Based on Understanding the Visual Structure of Grocery Web Portals
Position after study: Job at IT department of ExxonMobil company Thailand
Master Thesis: Web Accessibility Based on Understanding the Visual Structure of Grocery Web Portals
Position after study: Job at IT department of ExxonMobil company Thailand
Freddy Priyatna
Master Thesis: RDF-based Access to Multiple Relational Data Sources
Position after study: PhD study at UPM
Master Thesis: RDF-based Access to Multiple Relational Data Sources
Position after study: PhD study at UPM
Luca Quaglia
Master Thesis: Evolving Electronic Institutions
Position after study: Job at IBM company in Italy
Master Thesis: Evolving Electronic Institutions
Position after study: Job at IBM company in Italy
Mohammad Aminur Rashid
Master Thesis: Diagrammatic Representation of OWL Ontologies
Position after study: Job as analyst programmer at Pontedera in Italy
Master Thesis: Diagrammatic Representation of OWL Ontologies
Position after study: Job as analyst programmer at Pontedera in Italy
Mikheil Rukhaia
Master Thesis: CERES and Fast Cut-Elimination
Position after study: PhD study at TUW
Master Thesis: CERES and Fast Cut-Elimination
Position after study: PhD study at TUW
Ksenia Rybenko
Master Thesis: Collaborative Process Management in Construction by Means of Rules and Ontologies
Position after study: member of research staff at TUD
Master Thesis: Collaborative Process Management in Construction by Means of Rules and Ontologies
Position after study: member of research staff at TUD
Gokarna Prasad Sharma
Master Thesis: Finding Patterns in Semantic Graph Formalism
Position after study: PhD study at Louisiana State University USA
Master Thesis: Finding Patterns in Semantic Graph Formalism
Position after study: PhD study at Louisiana State University USA
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
Position after study: PhD study at University of Oxford
Master Thesis: Subsumption in the Description Logic ELHI f R+ w.r.t. General TBoxes
Position after study: PhD study at University of Oxford
Dengji Zhao
Master Thesis: Decomposition of Multi-Player Games
Position after study: PhD study at University of Toulouse and University of Western Sidney
Master Thesis: Decomposition of Multi-Player Games
Position after study: PhD study at University of Toulouse and University of Western Sidney
Academic Year 2007/2008
Raonne Barbosa Vargas
Position after study: PhD study at Yale University USA
Position after study: PhD study at Yale University USA
Ismael Everardo Barcenas Patino
Master Thesis: A Proof Theory of Interpolation
Position after study: PhD study at INRIA Rhone-Alpes France
Master Thesis: A Proof Theory of Interpolation
Position after study: PhD study at INRIA Rhone-Alpes France
Minh Dao Tran
Master Thesis: Default Reasoning on Top of Ontologies with DL-Programs
Position after study: PhD study at TUW
Master Thesis: Default Reasoning on Top of Ontologies with DL-Programs
Position after study: PhD study at TUW
Yansen Darmaputra
Master Thesis: An Application of Heuristic Route Search Techniques for a Scalable Flight Search System
Position after study: job at Bank of Tokyo-Mitsubishi UFJ Indonesia
Master Thesis: An Application of Heuristic Route Search Techniques for a Scalable Flight Search System
Position after study: job at Bank of Tokyo-Mitsubishi UFJ Indonesia
Atif Iqbal
Master Thesis: Semi-Automated Generation of Ontology Teams and Their Definition
Position after study: job at Canon Inc. Germany
Master Thesis: Semi-Automated Generation of Ontology Teams and Their Definition
Position after study: job at Canon Inc. Germany
Arsen Kostenko
Master Thesis: Calculating End Game Databases for General Game Playing
Position after study: Job at SciWorth company Ukraine
Master Thesis: Calculating End Game Databases for General Game Playing
Position after study: Job at SciWorth company Ukraine
Mei Sin Lee
Master Thesis: Data Mining on Empty Result Queries
Position after study: Job at Shell Malaysia
Master Thesis: Data Mining on Empty Result Queries
Position after study: Job at Shell Malaysia
Valentin Mayer-Eichberger
Master Thesis: Towards Solving a System of Pseudo Boolean Constraints with Binary Decision Diagrams
Position after study: job in Information Technology branch Germany
Master Thesis: Towards Solving a System of Pseudo Boolean Constraints with Binary Decision Diagrams
Position after study: job in Information Technology branch Germany
Novak Novakovic
Master Thesis: A Proof-Theoretic Approach to Subsumption and Least Common Subsumer in EL w.r.t. Hybrid TBoxes
Position after study: PhD study in Nancy France
Master Thesis: A Proof-Theoretic Approach to Subsumption and Least Common Subsumer in EL w.r.t. Hybrid TBoxes
Position after study: PhD study in Nancy France
Emmanouil Paissios
Position after study: job at Leibnitz Supercomputing Centre Germany
Position after study: job at Leibnitz Supercomputing Centre Germany
Vadim Savenkov
Position after study: Job at TUW
Position after study: Job at TUW
Marija Slavkovik
Master Thesis: Deep Analysis for an Interactive Question Answering System
Position after study: PhD study at University of Luxembourg
Master Thesis: Deep Analysis for an Interactive Question Answering System
Position after study: PhD study at University of Luxembourg
Hannes Strass
Master Thesis: Fuzzy Reasoning via Logic Programming
Position after study: PhD study at TUD
Master Thesis: Fuzzy Reasoning via Logic Programming
Position after study: PhD study at TUD
Academic Year 2006/2007
Thu Trang Doan
Master Thesis: Building a FLUX Multiagent Team for the Gold Rush Scenario
Position after study: PhD study at University of Nottingham
Master Thesis: Building a FLUX Multiagent Team for the Gold Rush Scenario
Position after study: PhD study at University of Nottingham
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
Position after study: Product & Information Manager Derusum.Com B2B Website Co. Ltd China
Master Thesis: Animated Hand Gestures for Italian Sign Language
Position after study: Product & Information Manager Derusum.Com B2B Website Co. Ltd China
Evgeny Kharlamov
Master Thesis: Model Theory and Calculus for the Description Logic DL-Lite
Position after study: PhD study at unibz
Master Thesis: Model Theory and Calculus for the Description Logic DL-Lite
Position after study: PhD study at unibz
Yixian Liu
Master Thesis: Querying XML Data Using Description Logics
Position after study: Lecturer at Northeastern University China
Master Thesis: Querying XML Data Using Description Logics
Position after study: Lecturer at Northeastern University China
Lina Lubyte
Master Thesis: Extracting and Materializing the Conceptual Schema from a Relational Database
Position after study: PhD study at unibz
Master Thesis: Extracting and Materializing the Conceptual Schema from a Relational Database
Position after study: PhD study at unibz
Martin Meraner
Position after study: Job at EURAC Research Center Italy
Position after study: Job at EURAC Research Center Italy
Hoang Nga Nguyen
Master Thesis: A Fuzzy Description Logic with Modifiers
Position after study: PhD study at University of Nottingham
Master Thesis: A Fuzzy Description Logic with Modifiers
Position after study: PhD study at University of Nottingham
Rocio Santillan Rodriguez
Master Thesis: New Upper Bounds for the SAT/UNSAT Threshold for Shape
Position after study: PhD study at Aarhus University Denmark
Master Thesis: New Upper Bounds for the SAT/UNSAT Threshold for Shape
Position after study: PhD study at Aarhus University Denmark
Gaston Tagni
Position after study: PhD study at VU Amsterdam Netherlands
Position after study: PhD study at VU Amsterdam Netherlands
Bruno Woltzenlogel Paleo
Master Thesis: Herbrand Sequent Extraction
Position after study: PhD study at TUW
Master Thesis: Herbrand Sequent Extraction
Position after study: PhD study at TUW
Academic Year 2005/2006
Luciana Benotti
Position after study: PhD study at INRIA France
Position after study: PhD study at INRIA France
Stefano David
Master Thesis: Defining a Benchmark Suite for Evaluating the Import of OWL Lite Ontologies
Position after study: PhD study in Ancona Italy
Master Thesis: Defining a Benchmark Suite for Evaluating the Import of OWL Lite Ontologies
Position after study: PhD study in Ancona Italy
Matthias Knorr
Master Thesis: A Comparative Study of Disjunctive Well-founded Semantics
Position after study: PhD study at NOVA
Master Thesis: A Comparative Study of Disjunctive Well-founded Semantics
Position after study: PhD study at NOVA
Vivek Nigam
Master Thesis: Dynamic Logic Programming and 3 APL
Position after study: Postdoctorate Research at Ludwig-Maximilians-University Germany
Master Thesis: Dynamic Logic Programming and 3 APL
Position after study: Postdoctorate Research at Ludwig-Maximilians-University Germany
Maria Magdalena Ortiz de la Fuente
Position after study: PhD study at TUW
Position after study: PhD study at TUW
Mantas Simkus
Position after study: PhD study at TUW
Position after study: PhD study at TUW
Evaldas Taroza
Master Thesis: Schema Matching and Automatic Web Data Extraction
Position after study: Working for Deutsche Bank in Brussels
Master Thesis: Schema Matching and Automatic Web Data Extraction
Position after study: Working for Deutsche Bank in Brussels
Wiratna Sari Wiguna
Master Thesis: Fuzzy Prolog as Cognitive Layer for Robocupsoccer
Position after study: Job at IBM Indonesia
Master Thesis: Fuzzy Prolog as Cognitive Layer for Robocupsoccer
Position after study: Job at IBM Indonesia