1. Michael Claudius, Roskilde Business College, Denmark, "Object Oriented System Development Method in Small Scale Projects: Should it be Used", 2 hours.
2. Albertas Caplinskas,
Institute of Mathematics and Informatics, Presentation of the book ""Programu
sistemu inzinerijos pagrindai"" ( " Software Engineering
Principles " ) , 3 hours.
CV: A. Caplinskas is head of the software engineering department
at the Institute of Mathematics and Informatics.
3. Jürgen Eickel,
Technical University Munich, Germany, "Document Architecture",
2-4 hours.
Abstract: Documents have changed from textual form to general multimedia
documents in distributed, cooperative environments. For common construction,
interchange, archiving and reuse of documents in other presentation environmets,
they have to be separated into their logical form and layout-presentation.
Flexible interactive browsers, stucture editors and formatters are needed
which offer user friendly WYSIWYG-behavior. The course will give an overview,
how these goals can be reached with specification and generation methods
derived from techniques in compiler generation. Contents: (1) Introduction,
(2) Specification of classes of logical structures, (3) Specification of
classes of layout structures, (4) Deriving layout structures from logical
structures, (5) Document architecture environment.
CV: J. Eickel is a full professor at the Institute of Informatics
, director Department of Computer Science, head of Chair Informatics II
(Formal Languages, Compiler Construction, Software Construction) at the
Institute of Informatics of the Technical University Munich. Research topics:
specification and methods of software generation; specification and implementation
of programming languages; compiler support for the programming of higly
parallel and distributed systems; compiler-generation, generation of programming
environments, generation of document architectures hypertext, and multimedia
dicuments; specification and generation of intelligent user interfaces;
structural pattern processing with graph grammars; integration of algebraical
specification and attribute grammars.
4. Bertram Fronhöfer,
Technical University Munich, Germany, "Plan Generation with the Linear
Connection Method", 2 hours.
Abstract: Goal-oriented plan generation is one of the classical
topics of AI research. In its essence, a plan generation problem is given
by a triple `(I,A,G)': A SET OF ACTIONS `A' together with a description
of a state of the world the so-called INITIAL SITUATION `I' and a (maybe
partial) description of a desired future situation the so-called GOAL `G'.
A solution to such a plan generation problem is a so-called PLAN, i.e.
a sequence of actions from `A', which when applied to the initial situation
`I' generates a new situation in which the goal `G' is satisfied.
The task of plan generation can be viewed as an inference problem. Namely
to prove for a plan generation problem `(I,A,G)' a derived SPECIFICATION
THEOREM which is roughly of the form `I and A --> G'. This gives rise
to the question of a suitable logic allowing for efficient automated proof
search.
The first concrete proposal how to generate plans via theorem proving was
made on the choice of classical 1-order logic and resulted in the so-called
SITUATIONAL CALCULUS which immediately fell into disrepute due to bad practical
performance in attempts to prove the respective specification theorems
by use of automated theorem provers.
This failure of theorem proving was commonly attributed to what was called
the FRAME PROBLEM: Lots of so-called FRAME AXIOMS had to be specified,
which created an intractably huge search space. Since this problem is also
inherent in other logics (e.g. modal logics) known in those days, the nonsuccess
of SITUATIONAL CALCULUS discredited the use of logic for plan generation
in general.
This negative judgement about the suitability of logic for plan generation
was challenged considerably in 1986 when W. Bibel proposed the LINEAR CONNECTION
METHOD as a new approach to plan generation. Since this approach worked
without Frame Axioms, it promised to overcome the shortcomings of the logic-oriented
approaches to plan generation which were known till then.
The tutorial will introduce the LINEAR CONNECTION METHOD and show its use
for solving plan generation problems. The LINEAR CONNECTION METHOD will
also be compared to the SITUATIONAL CALCULUS and to the STRIPS approach.
We will finally give an experimental evaluation via the results obtained
with prototypical experimentation.
CV: B. Fronhöfer studied Mathematics at the LMU Munich between
1973-1982 and received his Diploma in 1982. From January 1979 to October
1982 he was a part-time employee of SIEMENS AG, Munich, where he worked
on natural language processing. He obtained a Ph.D. from the Institut National
Polytechnique de Grenoble in 1989 and his habilitation from the Technical
University Munich in February 1995. His current research interests include
automatic deduction, plan generation and logic programming. He is leader
of the Automated Reasoning Research Group (at the chair of Prof. Jessen)
at the Technical University Munich, which he joined in November 1982.
5. Diana Sidarkeviciute, Vilnius University and
The Royal Institute of Technology, Stockholm, "Software Analysis and
Visualization: A Knowledge- based and an Agent-based approaches",
2-4 hours.
CV: D. Sidarkeviciute graduated Vilnius Universitety, Faculty of
Mathematics and began doctoral studies. Currently she is a researcher at
the Royal Institute of Technology.
6. Arne Solvberg,
The Norwegian University of Science and Technology in Trondheim, Norway,
"Conceptual modeling in a quality perspective", 4-6 hours.
Abstract: Introduction of modeling in structural, functional, behavioral,
rule,.object, communication, and actor-role perspectives. Introduction
of quality framework, for evaluating syntactic, semantic, pragmatic and
social quality of conceptual models. Introduction of a multi-perspective
modeling approach. Discussion of means for improving the various quality
measures, with particular emphasis on semantic quality.
CV: A. Solvberg is Professor of Computer Science at The Norwegian
University of Science and Technology in Trondheim, Norway, since 1974.
He received a siv.ing. (M.Sc.) degree in Applied Physics in 1963, and a
dr.ing. (Ph.D.) degree in Computer Science in 1971, both from The Norwegian
University of Science and Technology. His main fields of competence are
information systems design methodology, database design, information modelling,
CASE tools and software engineering environments.
He has been active in international organizations for research cooperation.
He was Norwegian national representative to IFIP General Assembly in 1979-82.
He has been chairman of IFIP WG8.1 for Information Systems Design in 1982-88.
He was a trustee in the VLDB Endowment until 1994. He was a co-founder
of the CAiSE conference series. He has been a Visiting Scientist with IBM
San Jose Research Labs, with The University of Florida, and with the Naval
Postgraduate School in California. He has recently co-authored a comprehensive
introductory textbook on Information Systems Engineering.
7. Georg Strobl,
Technical University Munich, Germany, "Formal Specification of Knowledge
Representation Languages", 2 hours.
CV: G. Strobl studied computer science at the Technical University
Munich since 1979 and received his Diploma in 1986. He worked on object-oriented
knowledge representation and knowledge-based design systems for aircraft
construction and mechanical engineering. From 1987 to 1990 he was leader
of the "Design for Assembly" project. His current research interests
include modelling of technical systems, specialized knowledge representation
languages and reuse of knowledge bases.
8. Tarmo Uustalu,
The Royal Institute of Technology, Stockholm, Sweden, "Introduction
to the logical basis for applied AI", 2-4 hours.
Abstract: Logical calculi are extensively employed as means for
representation and manipulation of knowledge and mental goals in the whole
of AI. In this lecture, we describe the metaphysical presuppositions behind
the classical and intuitionistic traditions of logic and their effect on
the ranges of applications of calculi of each kind.
CV: T. Uustalu graduated from Tallinn Technical University. Currently
he is a researcher at the Department of Teleinformatics, the Royal Institute
of Technology.