![[photo of Triton Fountain]](images/photo-leitmotif.jpg)
Lecturers
Index
José Júlio Alferes, LisbonGrigoris Antoniou, Heraklion
Uwe Aßmann, Linköping
James Bailey, Melbourne
Matteo Baldoni, Torino
Robert Baumgartner, Vienna
François Bry, Munich
Włodzimierz Drabent, Warsaw
Enrico Franconi, Bozen-Bolzano
Norbert E. Fuchs, Zurich
Nicola Henze, Hannover
Michael Kifer, Stony Brook
Wolfgang May, Göttingen
Gerd Wagner, Cottbus
José Júlio Alferes
Associate Professor at Departamento de Informática, Fac. Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal
Research interests
Knowledge Evolution
Updates of Knowledge bases
Logic Programming
Professional Web Page
http://centria.di.fct.unl.pt/~jja
Grigoris Antoniou
Professor of Computer Science, University of Crete, Greece
Head of Information Systems Laboratory, Institute of Computer Science,
FORTH, Greece
Research interests
My research interests lie mainly in the theory, implementation and application of logic-based knowledge representation. Particular interests on the theoretical side include:
- Nonmonotonic reasoning
- Foundations of rule-based systems
- Foundations of ontology languages
Particular interests on the application side include:
- E-Commerce: declarative business rules, electronic contracts, automated agent negotiations
- Web-based systems: Semantic Web, Web services
- Applications of ontology-based systems: E-Learning, Knowledge Management
I participate in the RuleML initiative, and in the European NoEs REWERSE and DELOS.
Professional Web Page
http://www.ics.forth.gr/isl/people/people_individual.jsp?Person_ID=38
Uwe Aßmann
Professor for Software Engineering, Programming Environments Lab (PELAB), Dept. of Computer Science, Linköpings universitet.
Research interests
Software composition, second-generation component systems, software architecture, aspect-oriented programming, Semantic Web and ontology engineering, workflow systems, interdisciplinary artefact design, programming languages and compilers, optimizer generation, program analysis, graph rewrite systems Other achievements: Co-designer of CoSy, the compiler component framework, marketed by ACE b.V. Amsterdam. OPTIMIX, the world's first optimizer generator for all phases of analysis and optimization. COMPOST, a library of meta-programming software composition operators.
Professional Web Page
James Bailey
University of Melbourne (Australia)
Research interests
XML Transformations and Queries, Data mining, Robust Agent Systems
He has expertise in active rules, in particular within an XML context,
deductive database optimisation and active rules optimisation using
abstract interpretation and partial evaluation techniques,
as well as BDI agents.
Professional Web Page
http://www.cs.mu.oz.au/~jbailey
Matteo Baldoni
Department of Computer Science; Università degli studi di Torino
Research interests
His main research interests include computational logic, modal and nonmonotonic extensions of logic programming, multimodal logics, reasoning by actions and change, agent programming languages, issue in communication protocol design and implementation, e-learning and personalization by reasoning in the semantic web.
Professional Web Page
http://www.di.unito.it/~baldoni/
Robert Baumgartner
Assistant Professor at the Institute of Information Systems, Database and Artificial Intelligence Group, Vienna University of Technology
Research interests
XML family and semistructured data, Semantic Web, Web Data Extraction, Integration and Mediation Systems
Professional Web Page
http://www.dbai.tuwien.ac.at/staff/baumgart/
François Bry
Full professor, Unit Programming and Modeling Languages, Institute for Informatics, University of Munich
Research interests
Current focus: Methods and languages for reasoning on the Web, Query languages for XML and semistructured data (rule-based approaches, streamed evaluation, type systems), Applications of XML (especially Molecular Biology databases, eBooks, adaptive Web), Indexing methods for XML and semistructured data.
More generally, both theoretical and practical aspects of: Knowledge Representation (XML, Semistructured Data, Common Sense Reasoning), Automated Theorem Proving and Logic Programming (Rule-based Systems, Tableau Methods), Database Systems (Query Languages, Integrity Constraints, Data Modelling).
Professional Web Page
Włodzimierz Drabent
Instytut Podstaw Informatyki Polskiej Akademii Nauk, Warsaw, Poland; Linköpings universitet, Sweden
Research interests
Logic programming: semantics, proving program properties,
descriptive types, diagnosing program errors, semantic analysis of
programs, negation. Programming paradigms related to logic programming.
Semantics of programming languages, proving program correctness,
programming metodology.
Professional Web Page
http://www.ipipan.waw.pl/~drabent
Enrico Franconi
Associate professor, KRDB Research Centre, Faculty of computer science, Free University of Bozen-Bolzano
Research interests
My interests are in:
Description Logics,
Knowledge Representation,
Knowledge Representation and Databases,
Ontologies and Conceptual Modelling,
Temporal Logics and Temporal Databases,
Multi-dimensional Data Models,
Information Access and Integration,
Peer-to-Peer Database Systems,
Computational Logics,
Artificial Intelligence,
Natural Language Semantics.
Professional Web Page
http://www.inf.unibz.it/~franconi/
Norbert E. Fuchs
Senior Research Associate at the Department of Informatics of the University of Zurich
Research interests
controlled natural language, theorem proving, requirements engineering, executable specifications
Professional Web Page
http://www.ifi.unizh.ch/~fuchs
Nicola Henze
Institut für Informationssysteme,
AG Semantic Web
University of Hannover
Research interests
user modeling and adaption
personalization in open hypermedia systems
educational hypermedia, e-learning
knowledge management, web engineering
reasoning on the semantic web, personalization in the semantic web
Professional Web Page
http://www.kbs.uni-hannover.de/~henze
Michael Kifer
Full Professor, Computer Science, State University of New York at Stony Brook, USA
Research interests
Intelligent database systems, knowledge representation, and Web information systems.
Professional Web Page
http://www.cs.sunysb.edu/~kifer/
Wolfgang May
Universität Göttingen (Germany)
Research interests
XML & friends, XML & Logic, Logic Programming, Nonmonotonic Reasoning, information extraction from the Web
Professional Web Page
http://www.ifi.informatik.uni-goettingen.de/staff/wolfgang_may.html
Gerd Wagner
Professor, Chair of Internet Technology, Brandenburg University of Technology at Cottbus
Research interests
- Ontological Foundations of Conceptual Modeling
- Agent-Object-Relationship (AOR) Modeling
- Multi-Agent Systems
- Rule Markup Languages and the Semantic Web
- Databases, Information Systems and Knowledge Systems
- Knowledge Representation and Reasoning
![[validation]](images/valid-xhtml10-small.png)
