ecai88@infovax.informatik.tu-muenchen.dbp.de (ecai88) (07/12/88)
From: ecai88 <ecai88%infovax.informatik.tu-muenchen.dbp.de@RELAY.CS.NET>
Date: Tue, 12 Jul 88 10:08 EDT
To: AIList@mc.lcs.mit.edu
Subject: ECAI88 - Program
The 8th ECAI 1988 is sponsored by the Gesellschaft fuer Informatik e.V.
(GI), organized and hosted by the Institut fuer Informatik der
Technischen Universitaet Muenchen, under the auspices of the European
Coordinating Committee for Artificial Intelligence (ECCAI).
Industrial Exhibition
The 8th ECAI will present the latest advances of the technology and
applications of AI.The industrial exhibition takes place at the MENSA
during the conference, from Tuesday, August 2 to Friday, August 5,
1988.
Opening:
Tuesday - Thursday 9:00 - 19:00
Friday 9:00 - 15:00
_____________________________________
Invited Talks
Invited Talk I:
Deutsches Museum, Tuesday, August 2, 15:30 - 16:30
Jerry DeJong (Urbana Campaign):
Some Thoughts on the Present and the Future of Explanation-Based Learning
Room A, B, Wednesday, August 3, 17:45 - 18:45
Tom Mitchell (Carnegie Mellon):
Commentator to DeJongs talk
Chairperson: Y. Kodratoff
Invited Talk II:
Room A, B, Thursday, August 4, 9:00 - 10:00
Chris Hogger (Imperial College):
PROLOG Programming Environments
Room A,B, Thursday, August 4, 17:45 - 18:45
Jean Rohmer (BULL Company):
Commentator to Hoggers talk
Chairperson: H. Gallaire
Invited Talk III:
Room A, B, Friday, August 5, 9:00 - 10:00
Erik Sandewall (Linkoping):
Future Developments in Artificial Intelligence - A Personal View
Chairperson: M.-J. Schachter-Radig
_____________________________________
Panel Sessions
Panel I:
Deutsches Museum, Tuesday, August 2, 16:30 - 18:00
Moderator: H. Coelho
Title: Interactions among Intelligent Agents
Panelmembers: J.G.Ganascia, G. Guida, G. Kiss, E. Werner, Y. Wilks
Panel II:
Room P, Thursday, August 4, 16:00 - 17:45
Moderator: M. Boden
Title: What Is Computation?
Panelmembers: A. Clark, A. Slomann, J. Siekmann
Panel III:
Room P, Friday, August 5, 10:30 -12:30
Moderators: P. Smets and J. Campbell
Title: Applicability of Non-classical Logical Methods to Artificial
Intelligence Problems.
Panelmembers: not known at editorial deadline.
_____________________________________
ESPRIT- Session
Room P, Wednesday, August 3, 14:00 - 16:30
Chairperson: B. Lepape
Subjects:
1. Introduction
2. Presentation of Projects:
- Project ESB (P 96)
- Project ESTEAM (P 316)
- Project LOKI (P 107)
3. Research and ESPRIT
_____________________________________
Workshop "AI in Medicine"
Thursday, August 4, 14:00 - 18:00, Room E.
Dr. Rolf Engelbrecht
GSF-MEDIS Muenchen
Ingolstaedter Landstrasse1
D-8042 Neuherberg, FRG
Phone: ++49-89/ 31 87-53 30
EARN: ENGEL at DM0GSF11
Objective
The goal of this workshop is to promote intensive interaction between
the researchers in the field of medical applications of AI as well as
those working in central issues inside AI. Suitable topics include, but
are not limited to:
- Representation of medical knowledge
- Knowledge acquisition
- Integration of AI and standard software
(such as for statistical analysis, data base
management systems)
- Knowledge based systems and hospital
information systems
- Applications of AI in medicine
- Evaluation of medical expert systems
Potential participants are invited to submit an abstract on issues
relating to the workshop's topics or describing their own work related
to AI in medicine. Selected abstracts will be presented. Attendance is
limited to 70 participants and requires a registration to ECAI.
The workshop is sponsored by
- AIME European Society for Artificial
Intelligence in Medicine
- GMDS Gesellschaft fr Medizinische
Dokumentation, Informatik und Statistik
Organizing Committee
R. Engelbrecht, Muenchen (Chairman),
M. Fieschi, Marseille, J. Fox, London,
M. Stefanelli, Pavia, Th. Wetter, Heidelberg
_____________________________________
Sessions
Architectures and Languages 1
Chairperson: F. McCabe
Room A, Thursday, August 4, 16:00-17:45
C. Martin, K. Waldhoer
16:00 BASAR : A Blackboard Based Software Architecture
H. Laasri, R. Maitre, T. Mondot, F. Charpiller, J.P. Haton
16:15 ATOME: A Blackboard Architecture with Temporal and Hypothetical
Reasoning
R. Krickhahn, R. Nobis, A. Mhlmann, M.-J. Schachter-Radig
16:45 Applying the KADS Methodology to Develop a Knowledge Based System
Nethandler
K. Masuda, H. Ishizuka, H. Ivayama, K. Taki, L. Sugino
17:15 Preliminary Evaluation of the Connection Network for the Multi-PSI
System
Architecture and Languages 2
Chairperson: J.P. Sansonnet
Room B, Friday, August 5, 10:30-12:30
P. Dixneuf, A. Meiler, M. Pocheron
10:30 ELOISE'S Heart: An Efficient Frame for Production Systeme Execution
H. Boley
10:45 Iconic-Declarative Programming and Adaption Rules
I. I. Dimitrov
11:00 INEX: Flexible and Efficient Objects
T. Wilmes
11:30 A Typed Unification of Functional and Logic Programming
- Based on Many-Valued Functions
B. Barachini, N. Theuretzbacher
12:00 PAMELA: An Expert System Technology for Real-time Control Applications
Cognition 1
Chairperson: B. Wielinga
Room A, Wednesday, August 3, 14:00-15:45
L. Steels
14:00 Steps towards Common Sense
D. Partridge, J. McDonald, V. Johnston, K. Paap
14:30 AI Programs and Cognitive Models: Models of Perceptual Processes
E. Plaza, R. Lopez de Mantaras
15:00 Model-based Knowledge Acquisition for Heuristic Classification Systems
A. M. Burton, N.R. Shadbolt, G. Rugg, A.P. Hedgerock
15:15 Knowledge Elication Techniques in Classification Domains
Cognition 2
Chairperson: D. Partridge
Room E, Thursday, August 4, 10:30-12:30
H. Lambert, L. Eshelman, Y. Iwasaki
10:30 Acquiring and Complementing the Model for Diagnostic Tasks
M.-C. Rousset
11:00 On the Consistency of Knowledge Bases: The COVADIS System
B.S. Doherty, J.J. Stuart
11:30 Induction and Dialogue in Specification Formalisation:
an Object-based Approach
J. M. Slack
12:00 Linguistic Constrains and Memory Management
D. Pospelov
12:15 Modelling of Deeds and Normative Behaviour in Intelligent Systems
Cognition 3
Chairperson: D. Pospelov
Room A, Friday, August 5, 10:30-12:00
K. Tanaka, K. Kubota
10:30 Memory-based Learner Model and its Application to a Game Coach
D. Fum, P. Giangrandi, C.Tasso
10.45 Student Modelling Techniques in Foreign Language Teaching
J.H. Sumiga, B. Khazaei, J.J.A. Siddiqi
11:00 A Cognitive Model of Program Designer Behaviour
P. de Greef, J. Breuker, G. Schreiber, J. Wielemaker
11:15 StatCons - Knowledge Acquisition in a Complex Domain
J. Sandberg, J. Breuker, R. Winkels
11:45 Research On HELP-Systems: Empirical Study and Model Construction
Demos Of Academic AI Software
Demos done on Wednesday afternoon by the authors and on appointment during the
conference, Rooms S1, S2.
X. Tong, Z. He, R. Yu
A Survey of the Expert System Tool ZDEST-2
J. E. Larsson, P. Persson
An Intelligent Help System for Idpac
J. Maree
ENIARC: An Intelligent Explicative Expert System for Rhythm Analysis in
Electro-cardiograms
N. Guarino
DRL: Terminologic and Relational Knowledge in Prolog
M. Franova
Fundamentals for a New Methodology for Inductive Theorem Proving:
CM-Construction of Atomic Formulae
E. Andre
On the Simultaneous Interpretation of Real World Image Sequences and their
Natural Language Description: The System SOCCER
Epistemology
Chairperson: M. Boden
Room A, Wednesday, August 3, 16:00-17:15
C. Thornton
16:00 Links Between Content and Information-Content
L.E. Janlert
16:30 Pictorial Knowledge Representation
S. Hagglund, I. Rankin
16:45 Investigating the Usability of Expert Critiquing in Knowledge-based
Consultation Systems
A. Clark
17:00 Two Kinds of Cognitive Sciences ?
Industrial Applications 1
Chairperson: G. Guiho
Room B, Wednesday, August 3, 11:00-12:30
P. Prosser
11:00 A Hybrid Genetic Algorithm for Pallet Loading
T.J. Grant
11:30 An Algorithm for Obtaining Action Sequences from a Procedures Knowledge
Base
E. Tulp
12:00 TRAINS, An Active Time-table Searcher
Industrial Applications 2
Chairperson: B. Lepape
Room D, Wednesday, August 3, 16:30-17:30
A. Carpentier, B. Solet, M.P. Branca, P.G. Kubansky
16:30 Escut: An Expert System for Configuring Digital Telephone
Switching Equipments
M.-J. Schachter-Radig, D. Wermser
17:00 A Sales Assistent for Chemical Measurement Equipment - SEARCHEM
A. Huber, S. Becker
17:15 Production Planning using a Temporal Planning Component
Knowledge Representation 1
Chairperson: R. Lopez de Mantaras
Room D, Wednesday, August 3, 9:00-10:30
B. Bredeweg, B.J. Wielinga
9:00 Integrating Qualitative Reasoning Approaches
W. Van de Velde
9:30 Inference Structure as a Basis for Problem Solving
M. Frixione, S. Gaglio, G. Spinelli
10:00 Proper Names and Individual Concepts in SI-Nets
Knowledge Representation 2
Chairperson: E. Tyugu
Room A, Wednesday, August 3, 11:00-12:30
W. Wobcke
11:00 A Global Theory of Inheritance
M. Ayel
11:30 Protocols for Consistency Checking in Expert System Knowledge Bases
E. Chouraqui, P. Dugerdil
12:00 Conflicts Solving in a Frame-like Multiple Inheritance System
Knowledge Representation 3
Chairperson: J.P. Laurent
Room A, Thursday, August 4, 10:30-12:15
B. Elfrink, H. Reichgelt
10:30 The Use of Assertion-time Inference in Logic-based Knowledge Bases
J. Ferber, P. Volle
11:00 Using Conference in Object-oriented Representations
K. Eberle
11:15 Extensions of Event-Structures
M. Poesio
11:45 Toward a Hybrid Representation of Time
Knowledge Representation 4
Chairperson: L. Steels
Room C, Friday, August 5, 10:30-12:00
A. Farquhar
10:30 A Qualitative Reasoning Approach to Fault Avoidance
J. Cuena
10:45 The Qualitative Modelling of Axis-based Flow Systems:
Methodology and Examples
C. Popp
11:00 Answering WHY? HOW? And WHY-NOT? Questions in a Blackboard System
M. Porcheron
11:15 MILORE: a Meta-Level Knowledge Based Architecture for Production System
Execution
M. Sharples, B. Du Boulay
11:45 Knowledge Representation for a Concept Tutoring System
Logic Programming 1
Chairperson: A. Martelli
Room B, Wednesday, August 3, 9:00-10:30
M. Ducass
9:00 Opium: a Meta-debugger for Prolog
J. Chassin, J.-C. Syre, H. Westphal
9:30 Implementation of a Parallel Prolog System on a Commercial
Multiprocessor
M. Cavalieri, F. Lamma, P. Mello
10:00 An Extended Prolog Machine for Dynamic Context Handling
Logic Programming 2
Chairperson: J. Rohmer
Room B, Wednesday, August 3, 16:00-17:30
M. Dincbas, H. Simonis, P. Van Hentenryck
16:00 Solving the Car-Sequencing Problem in Constraint Logic Programming
T. Hrycej
16:30 Temporal Prolog
P. Saint-Dizier
17:00 Foundations of DISLOG, Programming in Logic with Discontinuities
T. Conrad
17:15 A Many Sorted PROLOG based on Equational Unification
Logic Programming 3
Chairperson: M. Dincbas
Room D, Thursday, August 4, 14:00-15:30
S. Owen, R. Hull
14:00 The Use of Explicit Interpretation to Control Reasoning about Protein
Topology
C.-K. Looi
14:30 Analysing Novices Programs in a Prolog Intelligent Teaching System
J. Zhang, P.W. Grant
15:00 An Automatic Difference-List Transformation Algorithm for Prolog
Machine Learning 1
Chairperson: D. Sleeman
Room C, Wednesday, August 3, 14:00-15:30
M. Keane
14:00 Where's the Beef? The Absence of Pragmatic Factors in Pragmatic
Theories of Analogy
R. E. Stepp, B.L. Whitehall, L.B. Holder
14:30 Towards Intelligent Machine Learning Algorithms
J. L. de Siqueira, J.-F. Puger
15:00 Explanation-based Generalisation of Failures
Machine Learning 2
Chairperson: C. Rollinger
Room C, Wednesday, August 3, 16:00-17:30
J. Diederich
16:00 Connectionist Recruitment Learning
R. Goodman, P. Smyth
16:30 Information-Theoretic Rule Induction
B. Cestnik, I. Bratko
17:00 Learning Redundant Rules in Noisy Domains
J. Herrmann
17:15 A Machine Learning Approach to Estimation for IC Design
Machine Learning 3
Chairperson: Y. Kodratoff
Room B, Thursday, August 4, 14:00 - 15:15
F. Bergadano, A. Giordana, L. Saitta
14:00 Concept Acquisition in an Integrated EBL and SBL Environment
M. Valtorta
14:30 Automating Rule Strengths in Expert Systems
P. P. Terpstra, M.W. van Someren
14:45 INDE: A System for Heuristic Knowledge Refinement
Y. Takada
15:00 Grammatical Inference for Even Linear Languages Based on Control Sets
Machine Learning 4
Chairperson: K. Morik
Room B, Thursday, August 4, 16:00 - 17:30
J. Blythe
16:00 Constraining Search in a Hierarchical Discriminative Learning System
J. G. Ganascia
16:30 Improvement and Refinement of the Learning Bias Semantic
O. Gascuel, A. Danchin
17:00 Data Analysis using a Learning Program, a Case Study:
An Application of PLAGE to a Biological Sequence Analysis
Machine Learning 5
Chairperson: T. Niblett
Room D, Friday, August 5, 10:30 - 12:00
G.D. Oosthuizen, D.R. McGregor
10:30 Induction Through Knowledge Base Normalisation
J. Nicolas
11:00 Consistency and Preference Criterion for Generalization Languages
Handling Negation and Disjunction
W. Van de Velde
11:30 Quality of Learning
Multi-Agent Interaction 1
Chairperson: G. Kiss
Room A, Thursday, August 6, 14:00 - 15:15
J. R. Galliers
14:00 A Strategic Framework for Multi-Agent Cooperative Dialogue
J. Ayel
14:30 A Conceptual Supervision Model in Computer Integrated Manufacturing
D. Connah , M. Shiels, P. Wavish
15:00 A Testbed for Research on Cooperating Agents
Multi-Agent Interaction 2
Chairperson: H. Coelho
Room C, Thursday, August 6, 16:00 - 17:15
N.R. Seel
16:00 Modelling Iterated Strategies: A Case Study
S. Adey
16:30 High Level Control of Simulated Ships and Aircraft
C.A. Fields, M.J. Coombs, E.S. Dietrich, R.T. Hartley
16:45 Incorporating Dynamic Control into the Model Generative Reasoning System
Natural Language Understanding 1
Chairperson: W. Wahlster
Room A, Wednesday, August 3, 9:00 - 10:30
E. Andre, G. Herzog, T. Rist
9:00 On the Simultaneous Interpretation of Real World Image Sequences and
their Natural Language Description: the System SOCCER
G. Retz-Schmidt
9:30 A REPLAY of SOCCER: Recognizing Intensions in the Domain of Soccer
Games
M. Otani, J.M. Lancel
9:45 Sentence Generation: From Semantic Representation to Sentences
throughout Linguistic Definitions and Lexicon-Grammer
A.J.H. Simons
10:15 A Qualitative Model of the Articulators
Natural Language Understanding 2
Chairperson: U. Zernik
Room D, Thursday, August 4, 16:00 - 17:30
T. Nakazawa, L. Neher, E.W. Hinrichs
16:00 Unification with Disjunctive and Negative Values for GPSG Grammars
B. Dunin-Keplicz
16:30 Partial Reconstruction of Coreferential Structure of Discours
L. Lesmo, M. Berti, P. Terenziani
17:00 A Network Formalisation for Representing Natural Language Quantifiers
Non-Standard Approaches 1
Chairperson: P. Smets
Room D, Wednesday, August 3, 11:00- 12:15
P. Jackson, H. Reichgelt
11:00 A Modal Proof Method for Doxastic Reasoning in Incomplete Theories
M.-O. Cordier
11:30 SHERLOCK: Hypothetical Reasoning in an Expert System Shell
N. Bidoit, C. Froidevaux
12:00 More on Stratified Default Theories
Non-Standard Approaches 2
Chairperson: J. Campbell
Room B, Wednesday, August 3, 14:00 - 15:30
P. Smets
14:00 Transferable Belief Model Versus Bayesian Model
D. Dubois, H. Prade, C. Testemale
14:30 In Search of a Modal System for Possibility Theory
A. L. Brown
15:00 Logics of Justified Belief
Non-Standard Approaches 3
Chairperson: R. Turner
Room B, Thursday, August 4, 10:30 - 12:15
Y. Moinard 10:30 Computing Circumscription Of Horn Theories
P. Besnard, J. Houdebine, R. Rolland
10:45 A Formula Circumscriptively both Valid and Unprovable
P.J. de la Quintana
11:00 Computing Quantifiers in Predicate Modal Logics
M.R.B. Clarke
11:30 Intuitionistic Non-Monotonic Reasoning - Further Results
A. D'Angelo, C. Mirolo, E. Pagello
11:45 A Multiagent Planner for Reasoning with Incomplete Knowledge in a
Distributed Environment
Reasoning and Theorem Proving 1
Chairperson: L. Aiello
Room C, Wednesday, August 3, 9:00 - 10:30
O. Dressler
9:00 Extending the Basic ATMS
E. Lafon, C.B. Schwind
9:30 A Theorem Prover for Action Performance
G. M. Provan
10:00 Solving Diagnostic Problems Using Extended Truth Maintenance Systems
Reasoning and Theorem Proving 2
Chairperson: W. Walther
Room C, Wednesday, August 3, 11:00 - 12:30
S. Biundo
11:00 Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool
M. Franova
11:30 An Implementation of Program Synthesis from Formal Specifications:
PRECOMAS
A. Stevens
12:00 A Rational Reconstruction of Boyer and Moore'S Technique for
Constructing Induction Formulars
Reasoning and Theorem Proving 3
Chairperson: L. Wallen
Room E, Wednesday, August 3, 14:00 - 15:30
E.P.K. Tsang
14:00 Element in Temporal Reasoning in Planning
W. Lukaszewicz
14:15 Chronological Minimization of Abnormality: Simple Theories of Action
M. Lenzerini, D. Nardi
14:30 Belief Revision as Meta-Reasoning
T. Hrycej
14:45 Intelligent Backtracking with StructuredContexts
H. Tuominen
15:15 Translations from Epistemic into Dynamic Logic
Reasoning and Theorem Proving 4
Chairperson: C. Hogger
Room E, Wednesday, August 3, 16:00 - 17:30
B. Liu
16:00 A Reinforcement Approach to Scheduling
I. Niemela
16:30 Autoepistemic Predicate Logic
H. Freitag, M. Reinfrank
17:00 A Non-Monotonic Deduction System Based on (A)TMS
Reasoning and Theorem Proving 5
Chairperson: E. Omedeo
Room D, Thursday, August 4, 10:30 - 12:30
F. Giunchiglia, E. Giunchiglia
10:30 Building Complex Derived Inference Rules: A Decider for the Class
of Prenex Universal-Existential Formulas
J. Paredis
10:45 Qualified Logic as a Means of Integrating Conceptual Formalisms
K. Ammon
11:00 Discovering a Proof for the Fixed Point Theorem: A Case Study
J. Treur
11:30 Completeness and Definability in Diagnostic Expert Systems
G. Charminade
12:00 Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted
Unification Using Compact Representation of Clauses
Robotics
Chairperson: M. Brady
Room C, Thursday, August 4, 14:00 - 15:30
S. Bocionek
14:00 Computer-Aided Configuration of Gantry Robots
P. Levi
14:30 TOPAS: A Task Oriented Planner for Optimized Assembly Sequences
G. Adorni, A. Camurri, A. Poggi, R. Zaccaria
15:00 Integrating Spatio Temporal Knowledge: A Hybrid Approach
Vision 1
Chairperson: B. Radig
Room D, Wednesday, August 3, 14:00 - 15:45
R. Mohr, G. Masini
14:00 Good Old Discrete Relaxation
C. Sielaff
14:30 Hierarchies Over Relational Structures
K. Ammon, S. Stier
15:00 Constructing Polygon Concepts from Line Drawings
G. Vivo, P. Cosoli, R. Salonna
15:15 An Environment for Expert Image Processing
A. Saroldi
15:30 Successive Grouping: Adding Knowledge to Improve Segmentation
Vision 2
Chairperson: R. Mohr
Room C, Thursday, August 4, 10:30 - 12:00
W. Menhardt
10:30 Image Analysis Using Iconic Fuzzy Sets
V. Johnston, P. Lopez, D. Partridge
10:45 A Biologically Based Algorithm for Rapid Scene Analysis
E. Thirion, R. Mohr
11:00 Matching 3-D Images Without Backtracking Through Feature Grouping
E. Grosso, G. Sandini, C. Frigato
11:30 Extraction Of 3D Information and Volumetric Uncertainty from Multiple
Stereo Images
_____________________________________
Tutorials
The 8th Ecai is preceded by tutorials, organized by the GI-DIA.
More information are available at Gi-DIA.
Tutorial 1: Expert Systems
Monday, August 1, Room T1
Jean-Gabriel Ganascia, Jim Hunter
Tutorial 2: Logic Programming
Monday, August 1, Room T2
Ulrich Furbach, Klaus Estenfeld, Franz Kurfess
1. Methods of Logic Programming
Besides the usual SLD-resolution approach to logic programming with Horn
clauses, we will describe various other methods; e.g. programming using
full first oder predicate logic and equational logic. Furthermore it
will be demonstrated that narrowing, a commonly used inference method
for equational logic programming, can be related very closely to the
paramodulation rule used in theorem proving.
2. Implementation
With PROLOG as the main representative of the logic programming
paradigm, we will discuss the implementation of an interpreter realizing
the PROLOG computation rule. Starting from this classic technique, we
will present mechanisms for the efficient compilation of PROLOG.
3. Parallel Logic Programming
The execution speed of logic programs on conventional machines has
improved a lot in the last few years, partly due to the topics mentioned
in the previous part, but also to more powerful computer systems.
Nevertheless there is still an urgent need for more efficiency in logic
programming. Here, the exploitation of parallelism promises considerable
increases. Parallelism can be introduced on various levels; first, on
the implementation level by executing independent parts of the program
in parallel; second, on the language level by a set of constructs to
control the parallel execution of logic programs, and third, by
meta-level features like various evaluation strategies. The last of this
tutorial gives a brief overview of methodologies under investigation for
the exploitation of parallelism in logic programming.
Ulrich Furbach
received his master degree from Technische Universitaet Muenchen in 1976
and his Ph.D. in theoretical Computer Science from the Universitaet der
Bundeswehr Muenchen in 1983. As an assistent in the Computer Science
Department of Universitaet der Bundeswehr, he worked on semantics of
programming languages, logic and fuctional programming and on knowledge
representation. In 1987 he joined the Artificial Intelligence Group at
the Technische Universitaet Muenchen, where he is involved in the
Esprit-Project 973 (Advanced Logic Programming Environments). He is now
the leader of the AI-Group.
Klaus Estenfeld
1972-1976 Study of Computer Science and Mathematics at the University of
Saarbruecken
1976-1981 Assistent in the Theoretical Computer Science Dept. at the University
of Saarbruecken
1/80 Ph.D. with a work in Formal Language Theory
10/81-12/83 Researcher leader in the Logic Programming group of ECRC (European
Computer-Industry Research Centre), responsible for ECRC-Prolog
1/84-9/86 Project leader for AI-tools in the Siemens data division (a.o.
developments of a Prolog-DB connection)
11/87- Group leader in Siemens Corporate Applied Computer Sciences with special
interests in Prolog implementation and in extending Prolog for special
applications (e.g. CAD electronic)
Franz Kurfess
is a member of the Artificial Intelligence Group at the Technical
University of Munich. The focus of his current work is concentrated on
the design of a parallel inference machine based on W. Bibel's
connection method, and is carried out within the framework of the
ESPRIT-Project 415 on Advanced Information Processing. He received his
diploma in computer science from the Technical University of Munich in
1984. His research interests inlcude exploration in parallel and
distributed systems in general, trying to make us of the knowledge
gathered here for the design of parallel computer architectures.
Tutorial 3: Machine Learning
Monday, August 1, Room T3
Yves Kodratoff, Katharina Morik
Tutorial 4: Modal Logics
Monday, August 1, Room T4
Allan Ramsay, Raymond Turner
Tutorial 5: Natural Language Processing
Monday, August 1, Room T5
Uri Zernik, Koenraad De Smedt
Tutorial 6: Deductive Data Bases
Tuesday, August 2, Room T6
Herve Gallaire, Jean-Marie Nicolas
Tutorial 7: Intelligent Tutoring Systems
Tuesday, August 2, Room T7
Benedict du Boulay, Peter Ross
Tutorial 8: Theorem Proving
Tuesday, August 2, Room T8
Jieh Hsiang, Jean-Pierre Jouannaud