Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 09 No. 27
NL-KR Digest (Tue May 26 10:38:26 1992) Volume 9 No. 27
Today's Topics:
Program: ECAI92
Submissions: nl-kr@cs.rpi.edu
Requests, policy: nl-kr-request@cs.rpi.edu
Back issues are available from host archive.cssage.rpi.edu [128.113.53.18] in
the files nl-kr/Vxx/Nyy (ie nl-kr/V01/N01 for V1#1), mail requests will
not be promptly satisfied. Starting with V9, there is a subject index
in the file INDEX. If you can't reach `cs.rpi.edu' you may want
to use `turing.cs.rpi.edu' instead.
BITNET subscribers: we now have a LISTSERVer for nl-kr.
You may send submissions to NL-KR@RPIECS
and any listserv-style administrative requests to LISTSERV@RPIECS.
-----------------------------------------------------------------
To: nl-kr@cs.rpi.edu
Newsgroups: comp.ai.nlang-know-rep
From: ecai92@ai.univie.ac.at (ECAI92 Vienna Conference Service)
Subject: Program: ECAI92
Date: Tue, 26 May 1992 10:28:50 GMT
=======================================================================
Final Programme - ECAI92 - Final Programme - ECAI92 - Final Programme
=======================================================================
10th European Conference on Artificial Intelligence (ECAI 92)
August 3-7, 1992, Vienna, Austria
organized by the
European Coordinating Committee for Artificial Intelligence (ECCAI)
hosted by the
Austrian Society for Artificial Intelligence (OGAI)
Programme Chairperson
Bernd Neumann, University of Hamburg, Germany
Local Arrangements Chairperson
Werner Horn, Austrian Research Institute for AI, Vienna
DEADLINE for early registration: June 1, 1992.
PROGRAMME STRUCTURE
Mon-Tue (Aug 3-4): Tutorials and Workshops
Wed-Fri (Aug 5-7): Plenary Talks, Paper Presentations, Survey Sessions
Tue-Fri (Aug 4-7): Industrial Exhibition
==================== INVITED PLENARY LECTURES ==========================
Wed 9:30-10:30 : Stanley J.Rosenschein
Perception and Action in Autonomous Systems
Thu 9:00-10:00 : Peter Struss
Knowledge-Based Diagnosis
An Important Challenge and Touchstone for AI
Fri 9:00-10:00 : Oliviero Stock
A Third Modality of Natural Language?
Promising Trends in Applied Natural Language Processing
===================== INVITED SURVEY LECTURES ==========================
Wednesday
14:30-15:30 : Francoise Fogelman-Soulie
Neural Networks and Artificial Intelligence: Competition
and Cooperation
15:30-16:30 : Katia Sycara
The Theory and Practice of Case-Based Reasoning
Thursday
14:00-15:00 : Mario Borillo
Formalization of Mental Representations: The Case of
Space and Motion
15:00-16:00 : Lorenza Saitta
A Critical Analysis of the History and Trends of Machine
Learning
16:30-17:30 : Henry Kautz
Bridging the Gap between Theory and Applications in
Knowledge Representation Research
17:30-18:30 : Jan-Olof Eklundh
Computer Vision and Seeing Systems
Friday
14:00-15:00 : Robert Milne
Why Some AI Applications are Successful and Most Fail
15:00-16:00 : Henri Prade
Fuzzy Set-Based Methods in AI Reasoning Systems
=================== TECHNICAL PAPERS PROGRAMME =========================
AR: Automated Reasoning
CM: Cognitive Modelling
CP: Connectionist and PDP models for AI
DAI: Distributed AI and Multiagent Systems
ETS: Enabling Technology and Systems
INT: Integrated Systems
KR: Knowledge Representation
ML: Machine Learning
NL: Natural Language
PA: Principles of AI Applications
PF: Philosophical Foundations
PSR: Planning, Scheduling and Reasoning about Actions
RO: Robotics
RPS: Reasoning about Physical Systems
UI: User Interfaces
VI: Vision, Signal Understanding
VVT: Verification, Validation and Test of Knowledge-Based Systems
Wednesday -- (AR: Search)
11:00-11:30 : S. Russell
Efficient Memory-Bounded Search Methods
11:30-12:00 : A. Bramanti-Gregor, H.W. Davis, and F.G. Ganschow
Strengthening Heuristics for Lower Cost Optimal and Near
Optimal Solutions in A* Search
12:00-12:30 : R. Ramaswamy and A.K. Sen
Single Machine Scheduling as a Graph Search Problem with
Path-Dependent Arc Costs
12:30-12:50 : A.L. Koell and H. Kaindl
A New Approach to Dynamic Weighting
Wednesday -- (KR: Nonmonotonic Reasoning I)
11:00-11:30 : J. Dix
Default Theories of Poole-Type and a Method for
Constructing Cumulative Versions of Default Logic
11:30-12:00 : P. Doherty and W. Lukaszewicz
FONML3 - A First-Order Non-monotonic Logic with Explicit
Defaults
12:00-12:30 : Y. Hua Tan and J. Treur
Constructive Default Logic and the Control of Defeasible
Reasoning
12:30-13:00 : T. Schaub
On Constrained Default Theories
Wednesday -- (ML: Inductive Learning)
11:00-11:30 : G. Weiss
Learning the Goal Relevance of Actions in Classifier
Systems
11:30-12:00 : O. Gascuel and G. Caraux
Statistical Significance in Inductive Learning
12:00-12:20 : A. Karalic
Employing Linear Regression in Regression Tree Leaves
12:20-12:40 : G. Kalkanis and G.V. Conroy
Inductive Learning of Effective and Efficient
Classification Rules
12:40-13:00 : N. Lavrac, M. Grobelnik, D. Zupanic, and D. Mladenic
Stochastic Search in Inductive Logic Programming
Wednesday -- (VI: Scene Interpretation)
11:00-11:30 : A. Chella, E. Ardizzone, F. Callari, and S. Gaglio
The Mapping Between Geometric and Symbolic Knowledge in
Artificial Vision: A Connectionist Approach
11:30-12:00 : S. Gong and H. Buxton
On the Visual Expectations of Moving Objects
12:00-12:30 : R.J. Howarth and H. Buxton
Analogical Representation of Spatial Events for
Understanding Traffic Behaviour
12:30-13:00 : N. Navab and Z. Zhang
From Multiple Objects Motion Analysis To Behavior-Based
Object Recognition
Wednesday -- (RPS: Qualitative Modeling)
11:00-11:20 : M. Neitzke
Modeling Physical Systems with Relative Descriptions of
Parameters
11:20-11:40 : A.F. Toal
PQS: "I dont know" Is an Important Qualitative Statement
11:40-12:00 : J. Primus and B. Faltings
Domain Modeling for Monitoring Systems
12:00-12:30 : A.E. Nicholson
The Data Association Problem when Monitoring Robot
Vehicles Using Dynamic Belief Networks
12:30-13:00 : K. Bousson and L. Trave-Massuyes
Formalizing Expertise Qualitative Operators
Wednesday -- (CP: Connectionist Architectures)
11:00-11:30 : C. Jacquemin
Activation Diffusion: a Connectionist Network for Robust
Parsing
11:30-12:00 : S. Wermter
A Hybrid and Connectionist Architecture for a Scanning
Understanding
12:00-12:30 : V. Kurkova
Universal Approximation Using Feedforward Neural Networks
with Gaussian Bar Units
12:30-13:00 : A.B. Bulsari and H. Saxen
A Partially Recurrent Connectionist Model
Wednesday -- (AR: Logic Programming I)
14:30-15:00 : N. Leone and P. Rullo
Stable Model Semantics and its Computation for Ordered
Logic Programs
15:00-15:30 : J. Chen
A Refined Semantics for Disjunctive Logic Programs
15:30-16:00 : L.M. Pereira and J.J. Alferes
Well Founded Semantics for Logic Programs with Explicit
Negation
16:00-16:20 : V. Kuznetsov
Negation as Exception
Wednesday -- (KR: Formal Methods, Complexity)
14:30-15:00 : C. Baeckstroem and B. Nebel
On the Computational Complexity of Planning and Story
Understanding
15:00-15:30 : M. Dalal
Tractable Instances of Some Hard Deduction Problems
15:30-16:00 : H. Kautz and B. Selman
Planning as Satisfiability
16:00-16:30 : M.P. Singh
A Critical Examination of the Cohen-Levesque Theory of
Intentions
Wednesday -- (NL: Logic-Oriented Descriptions)
14:30-15:00 : M. Singh and M.P. Singh
Computing the Temporal Structure of Events in Natural
Language
15:00-15:30 : S. Lorenz
Presupposition, Anaphora, and Reasoning about Change
15:30-16:00 : B. Keller
A Logic for Representing Grammatical Knowledge
16:00-16:30 : J.J. Quantz
How to Fit Gernalized Quantifieres into Terminological
Logics
Wednesday -- (PA: Models for Problem Solving)
14:30-15:00 : A. Voss, W. Karbach, C.-H. Coulon, U. Drouven, and
B. Bartsch-Spoerl
Generic Specialists in Competent Behaviour
15:00-15:30 : C. Duursma
Interpretation Models and Problem Solving Methods
15:30-16:00 : M. Reinders and B. Bredeweg
Reflective Strategic Control of Multiple Problem Solving
Methods
16:00-16:30 : F. van Harmelen and J. Balder
(ML)2: A Formal Language for KADS Models
Wednesday -- (VVT: Verification, Validation and Test of Knowledge
Based Systems)
14:30-15:00 : J.-P. Laurent
Proposals for a Valid Terminology in KBS Validation
15:00-15:30 : A.D. Preece and R. Shinghal
Verifying Knowledge Bases by Anomaly Detection: An
Experience Report
15:30-16:00 : P. Meseguer
Incremental Verification of Rule-Based Expert Systems
16:00-16:30 : S. Loiseau
Refinement of Knowledge Bases Based on Consistency
Wednesday -- (AR: Abduction)
17:00-17:30 : E. Maim
Abduction and Constraint Logic Programming
17:30-18:00 : T. Hoppe
On the Relationship between Partial Deduction and
Abductive Reasoning
18:00-18:30 : A. Waern
Reactive Abduction
Wednesday -- (KR: Foundations of Spatial Reasoning)
17:00-17:30 : L. Latecki and S. Pribbenow
On Hybrid Reasoning for Processing Spatial Expressions
17:30-18:00 : D.A. Randell, Z. Cui, and A.G. Cohn
An Interval Logic for Space Based on "Connection"
18:00-18:30 : J.-P. Mohren and J. Mueller
A Geometrical Approach to Depictional Representation of
Spatial Relations
Wednesday -- (ML: Learning Strategies)
17:00-17:30 : P. Marquis
Building up Inductive Generalizations from Facts
17:30-18:00 : M. Botta, A. Giordana, and L. Saitta
Comparison of Search Strategies in Learning Relations
18:00-18:20 : H. Ade, L. De Raedt, and M. Bruynooghe
Inverse Resolution in an Integrated Inductive-Deductive
Learning System
Wednesday -- (PSR: Planning, Scheduling and Reasoning about Actions)
17:00-17:30 : K. Tadepalli and N. Parameswaran
Reason Maintenance Systems for Multiagent Planning
17:30-17:50 : G. Kelleher and A.G. Cohn
Automatically Synthesising Domain Constraints from
Operator Descriptions
Wednesday -- (PA: Applications of Genetic Algorithms)
17:00-17:30 : B. Filipic
Enhancing Genetic Search to Schedule a Production Unit
17:30-17:50 : D. Dasgupta and D.R. McGregor
Engineering Optimizations Using Structured Genetic
Algorithm
Wednesday -- (INT: Integrated Systems)
17:00-17:30 : N. Kehrer and G. Neumann
Business Event Oriented Information Systems Based on
Meta Programming
17:30-18:00 : B. Logan, D. Corne, and T. Smithers
The Edinburgh Designer System: An Architecture for
Solving Ill-Structured Problems
18:00-18:20 : N.K. Kasabov and S.H. Petkov
Neural Networks and Logic Programming - a Hybrid Model
and its Applicability to Building Expert Systems
Thursday --- (AR: Possibilistic Reasoning)
10:30-11:00 : D. Dubois, J. Lang, and H. Prade
Dealing with Multi-Source Information in Possibilistic
Logic
11:00-11:30 : B. I-Peng Lin and C.J. Liau
Quantitative Modal Logic and Possibilistic Reasoning
11:30-11:50 : S. Parsons
Qualitative Belief Networks
11:50-12:10 : C.-H. Tzeng
Plausible Reasoning in Bayesian Networks
12:10-12:30 : Z. Luo
Probabilistic Reasoning in Mixed Models Using Bayesian
Belief Networks and its Application
Thursday --- (KR: Foundations of Reasoning about Actions)
10:30-11:00 : P. Peppas and W. Wobcke
On the Use of Epistemic Entrenchment in Reasoning about
Action
11:00-11:30 : N.J. Davies
A First Order Theory of Knowledge, Belief and Action
11:30-12:00 : C. Froidevaux
Default Logic for Action Rule-Based Systems
12:00-12:20 : A. Camurri, G. Vercelli, and R. Zaccaria
Real Time Knowledge Representation and Reasoning About
Real Tasks
Thursday --- (NL: Parsing)
10:30-11:00 : M. Crocker and I. Lewin
Parsing as Deduction: Rules versus Principles
11:00-11:30 : H. Haugeneder
A Computational Model for Processing Coordinate
Structures: Parsing Coordination without Grammatical
Specification
11:30-12:00 : S. Letellier and J.-M. Grandchamp
Predictions in Deterministic Parsing: a Framework for
Lexical Correction
12:00-12:30 : K. Nagao
A Preferential Constraint Satisfaction Technique for
Natural Language Analysis
Thursday --- (PA: Software Design)
10:30-10:50 : B. Smyth and P. Cunningham
Deja Vu: A Hierarchical Case-Based Reasoning System
for Software Design
10:50-11:10 : M. Brown
Incorporating Similarity Measures into Case Retrieval
Using Analogue Marker Passing
11:10-11:30 : M. Borillo, A. Borillo, N. Castell, D. Latour,
Y. Toussaint, and M.F. Verdejo
Applying Linguistic Engineering to Spatial Software
Engineering: the Traceability Problem
11:30-12:00 : X. Alaman, I. Alarcon, E. de Pablo, and
J.L. Zaccagnini
The Maquette-based Methodology Applied to Real-Time
Knowledge-Based Systems
12:00-12:20 : P. Rademakers and R. Pfeifer
The Role of Knowledge Level Models in Situated Adaptive
Design
Thursday --- (RPS: Diagnosis)
10:30-11:00 : O. Dressler and P. Struss
Back to Defaults: Characterizing and Computing Diagnoses
as Coherent Assumption Sets
11:00-11:30 : P. Besnard and M.-O. Cordier
Explanatory Diagnoses and their Computation by
Circumscription
11:30-12:00 : I. Mozetic
A Polynomial -Time Algorithm for Model-Based Diagnosis
12:00-12:30 : R.R. Bakker and M. Bourseau
Pragmatic Reasoning in Model-Based Diagnosis
Thursday --- (CP: Neural Networks and Applications)
10:30-10:50 : G. Dorffner and M. Rotter
On the Virtues of Functional Connectionist
Compositionality
10:50-11:10 : J. Diederich, A. Thuemmel, and E. Bartels
Recurrent and Feedforward Networks for Human-Computer
Interaction
11:10-11:30 : A. Ultsch
Knowledge Acquisition with Self-Organizing Neural
Networks
11:30-11:50 : S. Margarita
Genetic Neural Networks for Financial Markets: Some
Results
11:50-12:10 : A.J. Pinz and H. Bischof
Neural Network "Surgery": Transplantation of Hidden Units
12:10-12:30 : P. Ferrara, A. Ferscha, and G. Haring
A Collision Avoiding Six Legged Walking Machine Based on
Kohonen Feature Maps
Thursday --- (AR: Proof Plans, Program Synthesis)
14:00-14:30 : I. Frank, D. Basin, and A. Bundy
An Adaptation of Proof-Planning to Declarer Play in
Bridge
14:30-15:00 : F. Giunchiglia and T. Walsh
Tree Subsumption: Reasoning with Outlines
15:00-15:30 : E. Kounalis
A Simplification-Based Approach to Program Synthesis
15:30-16:00 : M. Franova and Y. Kodratoff
Predicate Synthesis from Formal Specifications
Thursday --- (KR: Foundations of Temporal Reasoning)
14:00-14:30 : P. Torasso, L. Console, L. Portinale, and D.T. Dupre
Diagnostic Reasoning Across Different Time Points
14:30-15:00 : A. Porto and C. Ribeiro
Temporal Inference with a Point Based Interval Algebra
15:00-15:30 : A. Weigel and R. Bleisinger
Support for Resolving Contradictions in Time Interval
Networks
15:30-16:00 : M. Denecker, L. Missiaen, and M. Bruynooghe
Temporal Reasoning with Abductive Event Calculus
Thursday --- (NL: Natural Language Generation)
14:00-14:30 : F. Cerbah
Generating Causal Explanations: From Qualitative Models
to Natural Language Texts
14:30-15:00 : L. Wanner
Lexical Choice and the Organization of Lexical Resources
in Text Generation
15:00-15:30 : H. Horacek
Explanations for Constraint Systems
15:30-15:50 : W. Finkler and A. Schauder
Effects of Incremental Output on Incremental Natural
Language Generation
Thursday --- (VI: Active Vision)
14:004:30 : E. Dekneuvel, M. Ghallab, and J.-P. Thibault
Hypotheses Management for Scene Interpretation in a
Multisensory Perception Machine
14:30-14:50 : Q.-T. Luong and O.D. Faugeras
Active Head Movements Help Solve Stereo Correspondence
14:50-15:10 : G.-J. Giefing, H. Janssen, and H. Mallot
Saccadic Object Recognition with an Active Vision System
15:10-15:30 : P. Remagnino, J. Kittler, G. Matas, and J. Illingworth
On Computing the Next Look Camera Parameters in Active
Vision
15:30-15:50 : R. Milanese, J.-M. Bost, and T. Pun
A Bottom-Up Attention System for Active Vision
Thursday --- (DAI: Multi-Agent Systems I)
14:00-14:30 : G. Tidhar and J.S. Rosenschein
A Contract Net with Consultants: An Alternative
Architecture and Experimental Results
14:30-15:00 : N.R. Jennings
Towards a Cooperation Knowledge Level For Collaborative
Problem Solving
15:00-15:30 : E. Ephrati and J.S. Rosenschein
Reaching Agreement through Partial Revelation of
Preferences
15:30-16:00 : M. Wooldridge and M. Fisher
A First-Order Branching Time Logic of Multi-Agent System
Thursday --- (AR: Constraint Satisfaction)
16:30-17:00 : A. San Miguel Aguirre
Symmetries and the Cardinality Operator
17:00-17:30 : C. Bessiere
Arc-Consistency for Non-Binary Dynamic CSPs
17:30-17:50 : B.W. Benson jr. and E.C. Freuder
Interchangeability Preprocessing Can Improve Forward
Checking Search
17:50-18:20 : P.A. Geelen
Dual Viewpoint Heuristics for Binary Constraint
Satisfaction Problems
18:20-18:40 : B.M. Smith
How to Solve the Zebra Problem, or Path Consistency the
Easy Way
Thursday --- (PF: Philosophical Foundations of AI)
16:30-17:00 : A.G. Hoffmann
Phenomenology, Representations and Complexity
17:00-17:30 : G. Zaverucha
Logical Foundations of a Modal Defeasible Relevant Logic
of Belief
17:30-17:50 : E. Vinkhuyzen
On the Non-Existence of Knowledge Level Models
17:50-18:20 : J. Fox and P. Krause
Arguments, Contradicitions and Practical Reasoning
Thursday --- (ML: Concept Formation)
16:30-17:00 : G. Bisson
Conceptual Clustering in a First Order Logic
Representation
17:00-17:30 : G. Widmer and M. Kubat
Learning Flexible Concepts from Streams of Examples:
FLORA2
17:30-17:50 : Y. Saito, S. Tojo, and S. Komiya
Intuitive Classification Based on Affinity
17:50-18:10 : C. Carpineto
Shift of Bias without Operators
Thursday --- (RO: Motion Planning)
16:30-17:00 : A.P. del Pobil and M.A. Serna
Solving the Find-Path Problem in 3D by a Simple Object
Model
17:00-17:30 : J. del R. Millan
Building Reactive Path-Finders through Reinforcement
Connectionist Learning: Three Issues and an Architecture
17:30-18:00 : A. Stafylopatis, D. Kontoravdis, and A. Likas
Collision-Free Movement of an Autonomous Vehicle Using
Reinforcement Learning
18:00-18:30 : J.M. Ahuactzin, E.-G. Talbi, P. Bessiere, and E. Mazer
Using Genetic Algorithms for Robot Motion Planning
Thursday --- (RPS: Dynamical Systems)
16:30-17:00 : J. Bradshaw and R.M. Young
Evaluating the Behaviour of the BAe 146 Hydraulic System
Using the Doris System
17:00-17:30 : Y. Ishida
A Graphical Approach to Qualitative Reasoning on Dynamic
Systems
17:30-18:00 : M.R. Vescovi and J.-P. Robles
Fuzzy Diagnosis of Continuous Processes
18:00-18:30 : B. Faltings, D. Haroud, and I. Smith
Dynamic Constraint Propagation with Continuous Variables
Friday ----- (AR: Logic Programming II)
10:30-11:00 : P. Hill
Data Structures and Typed Logic Programs
11:00-11:30 : A. Brogi, E. Lamma, and P. Mello
ATMS for Implementing Logic Programming
11:30-12:00 : E. Lamma and P. Mello
An Assumption-Based Truth Maintenance System Dealing with
Non-Ground Justifications
12:00-12:30 : H. Hara
Solving the Large-Scale 0-1 Integer Programming Problem
Using an Assumption-Based Method
Friday ----- (KR: Nonmonotonic Reasoning II)
10:30-11:00 : D. Pearce
Default Logic and Constructive Logic
11:00-11:30 : L. Farinas del Cerro, A. Herzig, and J. Lang
From Ordering-Based Nonmonotonic Reasoning to Conditional
Logics
11:30-12:00 : M. Cadoli and M. Schaerf
Approximate Inference in Default Logic and
Circumscription
12:00-12:30 : W. Wobcke
On the Use of Epistemic Entrenchment in Nonmonotonic
Reasoning
Friday ----- (ML: Generalisation and Refinement)
10:30-11:00 : C. Nedellec
How to Specialize by Theory Refinement
11:00-11:30 : M. Sebag and M. Schoenauer
Learning to Control Inconsistent Knowledge
11:30-11:50 : P.D. Scott and K.H. Sage
Why Generalize? Hybrid Representations and Instance-Based
Learning
11:50-12:10 : A. Samuel and F. Raynaut
Oriented Shift of Representational Bias for Elementary
Patterns
Friday ----- (PSR: Practical Planning)
10:30-11:00 : S. Biundo, D. Dengler, and J. Koehler
Deductive Planning and Plan Reuse in a Command Language
Environment
11:00-11:30 : S.J.S. Cranefield
A Logical Framework for Practical Planning
11:30-12:00 : P.M. Berry
SCHEDULING: A Problem of Decision-Making Under
Uncertainty
12:00-12:30 : P. Traverso, A. Cimatti, and L. Spalazzi
Beyond the Single Planning Paradigm: Introspective
Planning
Friday ----- (RPS: Diagnosis and Repair)
10:30-11:00 : J. Self
Cognitive Diagnosis for Tutoring Systems
11:00-11:30 : P. Pu and Y. Huang
Crossroad Diagnosis
11:30-12:00 : G. Friedrich, G. Gottlob, and W. Nejdl
Formalizing the Repair Process
12:00-12:30 : Z. Csaki
Identification as Learning in Reasoning about Incomplete
Knowledge of Physical Systems
Friday ----- (CM: Cognitive Modeling)
10:30-11:00 : A. Camurri, C. Innocenti, M. Frixione, and R. Zaccaria
A Model of Representation and Communication of Music and
Multimedia Knowledge
11:00-11:30 : A.S. Tanguiane
Artificial Perception and Music Recognition: A Heuristic
Approach
11:30-12:00 : T. Veale and M.T. Keane
Conceptual Scaffolding: Using Metaphors to Build
Knowledge Structures
12:00-12:20 : S. Sitter and E. Maier
Rhetorical Relations in a Model of Information-Seeking
Dialogues
12:20-12:40 : A. Quilici
Recognizing and Revising Unconvincing Explanations
Friday ----- (AR: Reasoning Methods)
14:00-14:30 : N. Iwayama, K. Satoh, and J. Arima
A Formalization of Generalization-Based Analogy in
General Logic Programs
14:30-15:00 : R. Demolombe
A Strategy for the Computation of Conditional Answers
15:00-15:30 : Y. Huang and A.E. Adam
A Relevancy Knowledge Model of Analogical Reasoning
15:30-16:00 : J. Puyol-Gruart, L. Godo, and C. Sierra
A Specialisation Calculus to Improve Expert Systems
Communication
Friday ----- (KR: Nonmonotonic Reasoning III)
14:00-14:30 : Y. Moinard
Circumscriptions as Preferential Entailment
14:30-15:00 : I.N.F. Niemelae
A Unifying Framework for Nonmonotonic Reasoning
15:00-15:30 : O. Papini
A Complete Revision Function in Propositional Calculus
15:30-16:00 : W. Zadrozny
Explanations at the Knowledge Level
Friday ----- (NL: Speech Understanding, Miscellaneous)
14:00-14:30 : W. Heinz, J. Matiasek, H. Trost, and E. Buchberger
Comparison in NLIs -- Habitability and Database Reality
14:30-15:00 : A. Bonneau, F. Charpillet, S. Coste, J.-P. Haton,
Y. Laprie, and P. Marquis
A Model for Hypothetical Reasoning Applied to Speech
Recognition
15:00-15:20 : C. Pyka
Management of Hypotheses in an Integrated Speech-
Language Architecture
15:20-15:40 : T. Veale and P. Cunningham
Competitive Hypothesis Resolution in TWIG, a Blackboard-
Driven Text Understanding System
15:40-16:00 : C. Gierl and D.P. Frost
Identification of Domain-Specific Terminology by
Combining Mutual Information and Lexical Induction
Friday ----- (VI: 3D Shape and Scene Analysis)
14:00-14:30 : S. Bohrer, M. Brauckmann, and W. von Seelen
Visual Obstacle Detection by a Geometrically Simplified
Optical Flow Approach
14:30-15:00 : W.B. Seales and C.R. Dyer
An Occlusion-Based Representation of Shape for Viewpoint
Recovery
15:00-15:20 : L. Robert, R. Deriche, and O.D. Faugeras
Dense Depth Recovery From Stereo Images
15:20-15:40 : M.G. Milanova and I.A. Aleksandrov
Recovering and CAD/CAM Processing of Complex Surfaces
15:40-16:00 : H. Sossa and R. Horaud
Model Indexing Based on a Graph-Theoretic Approach
Friday ----- (DAI: Multi-Agent Systems II)
14:00-14:30 : T. Bouron
SAM: A Model to Design Complex Computational Social
Agents
14:30-15:00 : B. Lemaire
Hypothetical Reasoning within the Blackboard Model for
Constructing Explanations
15:00-15:20 : A. Cawsey, J.R. Galliers, S. Reece, and K. Sparck-Jones
A Comparison of Architectures for Autonomous Multi-Agent
Communication
15:20-15:40 : K. Ghedira and G. Vertfaillie
A Multi-Agent Model for the Resource Allocation Problem:
A Reactive Approach
15:40-16:00 : J.-C. Le Mentec and S. Brunessaux
Improving Reactivity in a Blackboard Architecture with
Parallelism and Interruptions
Friday ----- (AR: Theorem Proving)
16:30-17:00 : D. Barker-Plummer and S.C. Bailin
Graphical Theorem Proving: An Approach to Reasoning with
the Help of Diagrams
17:00-17:30 : J. Wuertz
Unifying Cycles
17:30-18:00 : D. Hutter
Adapting a Resolution Calculus for Inductive Proofs
18:00-18:20 : U. Egly
A Simple Proof for the Pigeonhole Formulae
Friday ----- (KR: Terminological Knowledge)
16:30-17:00 : C. Kindermann
Retraction in Terminological Knowledge Bases
17:00-17:30 : A. Napoli
Subsumption and Classification-Based Reasoning in Object-
Based Representations
Friday ----- (UI: Information Presentation)
16:30-17:00 : C. Conati and J. Slack
Accessing Information through Graphics
17:00-17:30 : T. Rist and E. Andre
From Presentation Tasks to Pictures: Towards a
Computational Approach to Graphics Design
17:30-18:00 : K.B. Haase, A.S. Chakravarthy, and L.M. Weitzman
A Uniform Memory-Based Representation for Visual
Languages
18:00-18:20 : R. Smit, S. Oei, J. Sirks, and J. Schreinemakers
The Presentation Manager, A Method for Task-Driven
Concept Presentation
Friday ----- (RO: Automatic Assembly)
16:30-17:00 : C. Ramos and E. Oliveira
Planning, Execution and Sensor-Based Reaction for
Assembly Robotic Tasks
17:00-17:20 : L.M. Gambardella and M. Haex
Grasp Planning for Automatic Assembly Tasks Using
Artificial Fields
Friday ----- (ETS: Tools and Architectures)
16:30-17:00 : Z. Wu, T.H.J. Ying, Z. He, and F. Ye
A Summary of Coupled Expert Systems Building Toolkit ZIPE
17:00-17:30 : P. Lalanda, F. Charpillet, and J.-P. Haton
A Real Time Blackboard Based Architecture
17:30-18:00 : H. Mistelberger, F. Barachini, and E. Bahr
On Efficient Load Balancing for Parallel Execution of
Production Systems
18:00-18:30 : I. van Langevelde, A. Philipsen, and J. Treur
Formal Specification of Compositional Architectures
============================ TUTORIALS =================================
- -- Tutorials ----- Mon, August 3, 9:00-13:00
Applied Qualitative Reasoning
Robert Milne, Intelligent Applications Ltd, Scotland, and
Louise Trave-Massuyes, LAAS, Toulouse, France
In Search of a New Planning Paradigm - Steps Beyond Classical Planning
Joachim Hertzberg, GMD, Germany, and
Sam Steel, Essex University, Cholchester, UK
Machine Learning: Reality and Perspectives
Lorenza Saitta, Universita di Torino, Italy
- -- Tutorials ----- Mon, August 3, 14:00-18:00
AI in Service and Support
Anil Rewari, Digital Equipment Corp., Marlboro, Mass.
Case-Based Reasoning
Katia P. Sycara, Carnegie Mellon University, Pittsburgh, Penn.
Computer Vision, Seeing Systems, and Their Applications
Jan-Olof Eklundh, Royal Institute of Technology, Stockholm, Sweden
Nonmonotonic Reasoning
Gerhard Brewka, ICSI, Berkeley, Calif., and
Kurt Konolige, SRI, Menlo Park, Calif.
- -- Tutorials ----- Tue, August 4, 9:00-13:00
Distributed AI
Frank von Martial, Bonn, and Donald Steiner, Siemens AG, Germany
Fuzzy Set-Based Methods for Inference and Control
Henri Prade, IRIT, Universite Paul Sabatier, Toulouse, France
Validation of Knowledge-Based Systems
Jean-Pierre Laurent, Universite de Savoie, Chambery, France
- -- Tutorials ----- Tue, August 4, 14:00-18:00
Current Trends in Language Technology
Harald Trost, Austrian Research Institute for AI and University of
Vienna, Austria
KADS: Practical, Structured KBS Development
Robert Martil, Lloyd's Register of Shipping, Croydon, UK, and
Bob Wielinga, University of Amsterdam, The Netherlands
Neural Networks: From Theory to Applications
Francoise Fogelman Soulie, Mimetics, France
User Modeling and User-Adapted Interaction
Sandra Carberry, University of Delaware, Newark, Delaware,
and Alfred Kobsa, University of Konstanz, Germany
============================ WORKSHOPS =================================
Workshops are part of the ECAI92 scientific programme. They will give
participants the opportunity to discuss specific technical topics in a
small, informal environment, which encourages interaction and exchange
of ideas. Persons interested in attending a workshop should contact the
workshop organizer (addresses below), and the conference office (ADV)
for ECAI92 registration. Note that all workshops require an early
application for participation.
A full description of all workshops can be obtained by sending an email
to ecai92.ws@ai.univie.ac.at, which will automatically respond.
- -- Workshops ----- Mon, August 3
Art and AI: Art / ificial Intelligence
Robert Trappl, Austrian Research Institute for Artificial Intelli-
gence, Schottengasse 3, A-1010 Vienna, Austria; Fax: +43-1-630652,
Email: robert@ai.univie.ac.at
Coping with Linguistic Ambiguity in Typed Feature Formalisms
Harald Trost, Austrian Research Institute for Artificial Intelli-
gence, Schottengasse 3, A-1010 Vienna, Austria; Fax: +43-1-630652,
Email: harald@ai.univie.ac.at
Formal Specification Methods for Complex Reasoning Systems
Jan Treur, AI Group, Dept.of Mathematics and Computer Science, Vrije
Universiteit Amsterdam, De Boelelaan 108-1a, NL-1081 HV Amsterdam,
The Netherlands; Fax: +31-29-6427705, Email: treur@cs.vu.nl
Knowledge Sharing and Reuse: Ways and Means
Nicolaas J.I. Mars, Dept.of Computer Science, University of Twente,
PO Box 217, NL-7500 AE Enschede, The Netherlands; Fax: +31-53-339605,
Email: mars@cs.utwente.nl
Model-Based Reasoning
Gerhard Friedrich, Franz Lackinger, Dept.Information Systems, CD-Lab
for Expert Systems, Univ.of Technology, Paniglg.16, A-1040 Vienna;
Fax: +43-1-5055304, Email: friedrich@vexpert.dbai.tuwien.ac.at
Neural Networks and a New AI
Georg Dorffner, Austrian Research Institute for Artificial Intelli-
gence, Schottengasse 3, A-1010 Vienna, Austria; Fax: +43-1-630652,
Email: georg@ai.univie.ac.at
Scheduling of Production Processes
Juergen Dorn, CD-Laboratory for Expert Systems, University of
Technology, Paniglgasse 16, A-1040 Vienna, Austria;
Fax: +43-1-5055304; Email: dorn@vexpert.dbai.tuwien.ac.at
Validation, Verification and Test of KBS
Marc Ayel, LIA, University of Savoie, BP.1104, F-73011 Chambery,
France; Fax: +33-79-963475, Email: ayel@frgren81.bitnet
- -- Workshops ----- Tue, August 4
Advances in Real-Time Expert System Technologies
Wolfgang Nejdl, Department for Information Systems, CD-Lab for Expert
Systems, University of Technology, Paniglgasse 16, A-1040 Vienna,
Austria; Fax: +43-1-5055304, Email: nejdl@vexpert.dbai.tuwien.ac.at
Application Aspects of Distributed Artificial Intelligence
Thies Wittig, Atlas Elektronik GmbH, Abt.TEF, Sebaldsbruecker
Heerstrasse 235, D-W-2800 Bremen 44, Germany; Fax: +49-421-4573756,
Email: t_wittig@eurokom.ie
Applications of Reason Maintenance Systems
Francois Charpillet, Jean-Paul Haton, CRIN/INRIA-Lorraine, B.P. 239,
F-54506 Vandoeuvre-Les-Nancy Cedex, France; Fax: +33-93-413079,
Email: charp@loria.crin.fr
Artificial Intelligence and Music
Gerhard Widmer, Austrian Research Institute for Artificial Intelli-
gence, Schottengasse 3, A-1010 Vienna, Austria; Fax: +43-1-630652,
Email: gerhard@ai.univie.ac.at
Beyond Sequential Planning
Gerd Grosse, FG Intellektik, TH Darmstadt, Alexanderstr.10, D-6100
Darmstadt, Germany; Fax: +49-6151-165326,
Email: grosse@intellektik.informatik.th-darmstadt.de
Concurrent Engineering: Requirements for Knowledge-Based Design Support
Nel Wognum, Dept. of Computer Science, University of Twente, P.O.Box
217, NL-7500 AE Enschede, The Netherlands; Fax: +31-53-339605, Email:
wognum@cs.utwente.nl
Improving the Use of Knowledge-Based Systems with Explanations
Patrick Brezillon, CNRS-LAFORIA, Box 169, University of Paris VI,
2 Place Jussieu, F-75252 Paris Cedex 05, France; Fax: +33-1-44277000,
Email: brezil@laforia.ibp.fr
The Theoretical Foundations of Knowledge Representation and Reasoning
Gerhard Lakemeyer, Institut f.Informatik III, Universitaet Bonn,
Roemerstr.164, D-W-5300 Bonn 1, Germany; Fax: +49-228-550382,
Email: gerhard@uran.informatik.uni-bonn.de
- -- Workshops ----- Mon and Tue, August 3-4
Expert Judgement, Human Error, and Intelligent Systems
Barry Silverman, Institute for AI, George Washington University, 2021
K St. NW, Suite 710, Washington, DC 20006, USA; Fax: (202)785-3382,
Email: barry@gwusun.gwu.edu
Logical Approaches to Machine Learning
Celine Rouveirol, Universite Paris-Sud, LRI, Bat 490, F-91405 Orsay,
France; Fax: +33-1-69416586, Email: celine@lri.lri.fr
Spatial Concepts: Connecting Cognitive Theories with Formal
Representations
Simone Pribbenow, Email: pribbeno@informatik.uni-hamburg.de, and
Christoph Schlieder, Institut f.Informatik und Gesellschaft,
Friedrichstr.50, D-7800 Freiburg, Germany; Fax: +49-761-2034653,
Email: cs@cognition.iig.uni-freiburg.de
======================== GENERAL INFORMATION ===========================
DELEGATE'S FEE
(in Austrian Schillings, approx. 14 AS = 1 ECU, 12 AS = 1 US$)
early late on-site
(rec.before) (Jun 1) (Jul 15)
Members of ECCAI member organizations 4.500,- 5.000,- 6.000,-
Non-Members 5.000,- 6.000,- 7.000,-
Students 1.500,- 2.000,- 2.500,-
The delegate's fee covers attendance at the scientific programme
(invited talks, paper presentations, survey sessions, and workshops),
conference documentation including the conference proceedings, admission
to the industrial exhibition, and participation in selected evening
events.
TUTORIAL FEE (per tutorial)
early late on-site
(rec.before) (Jun 1) (Jul 15)
Members of ECCAI member organizations 3.000,- 3.500,- 4.000,-
Non-Members 3.500,- 4.000,- 4.500,-
Students 1.500,- 2.000,- 2.500,-
Tutorial Registration entitles to admission to that tutorial, admission
to the exhibition, a copy of the course material, and refreshments
during the tutorial.
ACCOMODATION
Hotels of different price categories, ranging from DeLuxe to the very
cheap student hostel (available for non-students too), are available for
the first week of August. The price ranges (in AS) are given below.
Hotel Category single room double room
with bath without bath with bath without bath
DeLuxe ***** 1690,-/2375,- 2400,-/3200,-
A **** 990,-/1300,- 1400,-/1790,-
B *** 750,-/980,- 1100,-/1350,-
Season Hotel 480,-/660,- 335,-/450,- 780,-/900,- 580,-/730,-
Student Hostel 220,- 380,-
The conference venue is located in a central district of Vienna. It can
be reached easily by public transport.
============================ REGISTRATION ==============================
For detailed information and registration material please contact the
conference office:
ADV
c/o ECAI92
Trattnerhof 2
A-1010 Vienna, Austria
Tel: +43-1-5330913-74, Fax: +43-1-5330913-77, Telex: 75311178 adv a
Registration forms (PostScript) may be copied via anonymous ftp from
directory ecai92 at ftp.ai.univie.ac.at.
------------------------------
End of NL-KR Digest
*******************
