🚀 go-pugleaf

From: kim@cs.toronto.edu (Kimberlee Pietrzak-Smith)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Thu, 9 May 1991 10:44:51 -0400
Subject: <mod-ki 0700> IJCAI-91 Programme Schedule
Keywords: Konferenzen, IJCAI-91

mod-ki message 0700
************************************************************************
     INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 1991
                           Programme Schedule

Monday, August 26, 1991

 9:00 - 10:00am:  Invited Speaker 1 - Ross Quinlan
10:00 - 10:30am:  Coffee

10:30 - 12:30pm:  ML: Explanation Based Learning
Christer Samuelsson: Quantitative Evaluation of Explanation-Based
Learning as an Optimization Tool  for a Large-Scale Natural Language
System
Prasad Tadepalli: A Formalization of Explanation-Based Macro-Operator
Learning
Masayuki Yamamura: An Augmented EBL and its Application to Utility
Problem
Jungsoon Yoo: Concept Formation over Explanations and Problem-Solving
Experience

10:30 - 12:30pm:  NL: NL Processing
Dan Moldovan: High Performance Natural Language Processing on Semantic
Network Array Processor
Hiroaki Kitano: Massively Parallel Memory-Based Parsing
Esther Konig: Using Parallel Processing for Semantic Analysis
Karl Gregor Erbach: An environment for experimentation with parsing
strategies

10:30 - 12:30pm:  KR: Nonmonotonic Reasoning - Modal Logics
Vladimir Lifschitz: Nonmonotonic Databases and Epistemic Queries:
Preliminary Report
Nicholas Asher: Commonsense Entailment: A Modal Theory of Nonmonotonic
Reasoning
Mirek Truszczynski: Modal Interpretations of Default Logic 
Ilkka Niemela: Constructive Tightly Grounded Autoepistemic Reasoning

10:30 - 12:30pm:  AR: Theorem Proving I
Michael Fisher: Yet Another Resolution Method for Temporal Logic
Thomas Guckenbiehl: Formalizing and Using Persistency
Fausto Giunchiglia: Reflective reasoning with and between a declarative
metatheory and the implementation code
Nachum Dershowitz: Ordering-Based Strategies for Horn Clauses

10:30 - 12:30pm:  Arch: Knowledge Base Management
G. Ravi Prakash: A Methodology for Systematic Verification of OPS5-based
AI Applications 
Loren Terveen: Intelligent Assistance through Collaborative Manipulation
Keith Decker: Effects of Parallelism on Blackboard System Scheduling
Rick Evertsz: The Automated Analysis of Rule-based Systems, Based on
their Procedural Semantics
	
12:30 -  2:00pm:  Lunch

 2:00 -  3:30pm:  Panel 1:  AI in Telecommunications

 2:00 -  3:30pm:  ML: Classifiers/Genetic Algorithms
Wray Buntine: Classifiers: A Theoretical and Empirical Study
James Kelly:A Hybrid Genetic Algorithm for Classification
Kenneth A. De Jong: Learning Concept Classification Rules Using Genetic
Algorithms

 2:00 -  3:30pm:  KR: Belief
Sukhamay Kundu: A New Logic of Beliefs: Monotonic Beliefs and
Nonmonotonic Beliefs - Part 1
Gerhard Lakemeyer: A Model of Decidable Introspective Reasoning with
Qualitifying-In
Anand S. Rao: Asymmetry Thesis and Side-effect Problems in Linear Time
and Branching Time Intention Logics

 2:00 -  3:30pm:  LP: Logic Programming I
Sieger van Denneheuvel: Weak equivalence for constraint sets
Chilukuri K. Mohan: Fitting Semantics for Conditional Term Rewriting
Luis Moniz Pereira: A Derivation Procedure for Extended Stable Models
(Draft)

 2:00 -  3:30pm:  Phil: Philosophical Foundations I
Francis Jeffry Pelletier: The Philosophy of Automated Theorem Proving
Raymond Earl Jennings: Generalised Inference and Inferential Modelling
John Slaney: The Implications of Paraconsistency

 3:30 -  4:00pm:  Coffee

 4:00 -  5:30pm:  AI On Line

 4:00 -  5:30pm:  ML: Inductive Learning I
Sholom M. Weiss: Reduced Complexity Rule Induction
Alen Varsek: Qualitative Model Evolution
Celine Rouveirol: Semantic Model for Induction of First Order Theories

 4:00 -  5:30pm:  AR: Search I
G.M.A. Provan: An Expected-Cost Analysis of Backtracking and
Non-Backtracking Algorithms
Amitava Bagchi: Admissible Search Methods for Minimum Penalty Sequencing
of Jobs with Setup Times on One and Two Machines
Anna Bramanti-Gregor: Learning Admissible Heuristics while Solving
Problems

 4:00 -  5:30pm:  LP: Logic Programming II
Mike Brayshaw: An Architecture for Visualising the Execution of Parallel
Logic Programs
Kang Zhang: A Non-shared Binding Scheme for Parallel Prolog
Implementation

 4:00 -  5:30pm:  KR: Reasoning with Inconsistency
Mamede Lima Marques: Contextual Negations and Reasoning with
Contradictions
Gerd Wagner: Ex contradictione nihil sequitir

 4:00 -  5:30pm:  Rob: Architectures
Luc Steels: Emergent Frame Recognition And Its Use In Artificial
Creatures
R. Peter Bonasso: Integrating Reaction Plans and Layered Competences
through Synchronous Control

 7:30pm:  Computers & Thought Award:  Martha Pollack and Rodney Brooks
          Announcement of IJCAI Best Paper Award

------------------------
Tuesday, August 27, 1991

 9:00 - 10:00am:  Invited Speaker 2- Shigeru Sato

10:00 - 10:30am:  Coffee

10:30 - 12:30pm:  ML: Inductive Learning II
Robin Hanson: Bayesian Classification with Correlation and Inheritance
Der-Shung Yang: A Scheme for Feature Construction and a Comparison of
Empirical Methods
Steven Salzberg: Learning with a Helpful Teacher
Stefan Wrobel: Towards a Model of Grounded Concept Formation

10:30 - 12:30pm:  AR: Planning I
Stuart J. Russell: Composing Real-Time Systems
Eric Biefeld: Bottleneck Identification Using Process Chronologies
Jeffrey S. Rosenschein: Incomplete Information and Deception in
Multi-Agent Negotiation
Marta Franova: Solving "How to Clear a Block" with Constructive Matching
Methodology

10:30 - 12:30pm:  NL: Pragmatics
Peter van Beck: Resolving Plan Ambiguity for Cooperative Response
Generation
Yorick Wilks: Your metaphor or mine: Belief ascription and metaphor
interpretation
Philip R. Cohen: Confirmations and Joint Action

10:30 - 12:30pm:  QR: Diagnosis
Philippe Dague: When Oscillators Stop Oscillating
Gerhard Friedrich: Diagnosing Temporal Misbehavior
Franz Lackinger: Integrating Model-Based Monitoring and Diagnosis of
Complex Dynamic Systems
David Poole: Representing diagnostic knowledge for probabilistic Horn
abduction

10:30 - 12:30pm:  Vis: Object Recognition
Yerucham Shapira: A Pictorial Approach to Object Classification
Thomas M. Strat: Natural Object Recognition: A Theoretical Framework and
Its Implementation
John R. Kender: On Seeing Spaghetti: A Novel Self-Adjusting Seven
Parameter Hough Space for Analyzing Flexible Extruded Objects
Tomaso Poggio: HyperBF Networks for real object recognition

12:30 -  2:00pm:  Lunch

 2:00 -  3:30pm:  Panel 2: AI and Design

 2:00 -  3:30pm:  ML: Inductive Logic Programming
J.R. Quinlan: Determinate Literals as an Aid in Inductive Logic
Programming
Charles X. Ling: Inductive Learning from Good Examples
Marc Kirschenbaum: Refinement Strategies for Inductive Learning of Simple
Prolog Programs

 2:00 -  3:30pm:  KR: Nonmonotonic Reasoning - Conditional Logics
Hirofumi Katsuno: A Unified View of Consequence Relation, Belief Revision
and Conditional Logic
Craig Boutilier: Inaccessible Worlds and Irrelevance: Preliminary Report
Didier Dubois: Possibilistic logic, preference models, non-monotonicity
and related issues

 2:00 -  3:30pm:  AR: Search II
Hermann Kaindl: Using Aspiration Windows for Minimax Algorithms
Stephen V. Chenoweth: High Performance A* Search Using Rapidly Growing
Heuristics
Toru Ishida: Moving Target Search

 2:00 -  3:30pm:  CM: Cognitive Modelling 1
Jacobijn Sandberg: How situated is cognition?
Katia P. Sycara: Index Transformation Techniques for Facilitating
Creative Use of Multiple Cases
Gregg Collins: Plan debugging in an Intentional System

 3:30 -  4:00pm:  Coffee

 4:00 -  5:30pm:  AI On Line

 4:00 -  5:30pm:  ML: Concept Formation
Jason Catlett: Overpruning Large Decision Trees
Larry Watanabe: Learning Structural Decision Trees From Examples
David Heath: Learning Nested Concept Classes with Limited Storage
Sunil Thakar: Acquiring Knowledge by Efficient Query Learning

 4:00 -  5:30pm:  KR: Concept Languages
Franz Baader: Augmenting Concept Languages by Transitive Closure of
Roles: An Alternative to Terminological Cycles
Franz Baader: A Scheme for Integrating Concrete Domains into Concept
Languages
Maurizio Lenzerini: Tractable Concept Languages

 4:00 -  5:30pm:  AR: Theorem Proving II
Toni Bollinger: A Model Elimination Calculus for Generalized Clauses
Inside the LILOG Inference Machine
Elmar Eder: Consolution and its Relation with Resolution
Manfred Kerber: How to Prove Higher Order Theorems in First Order Logic
Hitoshi Iba: Reasoning of Geometric Concepts based on Algebraic
Constraint-directed Method

 4:00 -  5:30pm:  Phil: Philosophical Foundations II
David Israel: Actions and Movements
Selmer Bringsjord: In Defense of Hyper-Logicist AI
Francesco Bergadano: The Problem of Induction and Machine Learning

 4:00 -  5:30pm:  QR: Qualitative Modelling
Erling A. Woods: The Hybrid Phenomena Theory
Feng Zhao: Extracting and Representing Qualitative Behaviors of Complex
Systems in Phase Spaces
Toyoaki Nishida: A Geometric Approach to Total Envisioning

--------------------------
Wednesday, August 28, 1991

 9:00 - 10:00am:  Distinguished Scientist Award & Lecture:  Marvin Minsky

10:00 - 10:30am:  Coffee

10:30 - 12:30pm:  KR: Topics in Knowledge Representation
Periklis Belegrinos: A Model for Actions and Processes
Hans Juergen Ohlbach: Parameter Structures for Parametrized Modal
Operators
Russell Greiner: Measuring and Improving the Effectiveness of
Representations
Gadi Pinkas : Propositional Non-Monotonic Reasoning and Inconsistency in
Symmetric Neural Networks

10:30 - 12:30pm:  AR: Planning II
Edwin P.D. Pednault: Generalizing Nonlinear Planning to Handle Complex
Goals and Actions with Context-Dependent Effects
Jens Christensen: A Formal Model for Classical Planning
Amy L. Lansky: Localized Search for Multiagent Planning
Steven Minton: Commitment Strategies in Planning: A Comparative Analysis

10:30 - 12:30pm:  NL: NL Systems
Marie Meteer: POST: Using Probabilities in Language Processing
John A. Bateman: The rapid prototyping of natural language generation
components: an application of functional typology
Oliviero Stock: Natural Language and Exploration of an Information Space:
the ALFRESCO Interactive System
C. Rullent: Efficient Representation of Linguistic Knowledge for
Continuous Speech Understanding

10:30 - 12:30pm:  QR: Qualitative Modelling, Temporal Reasoning
Ulf Soderman: Combining Qualitative and Quantitative Knowledge to
Generate Models for Physical Systems
Judea Pearl: Directed Constraint Networks: A Relational Framework for
Causal Modeling
Jan Top: Computational and Physical Causality
Antony Galton: Reified Temporal Theories And How To Unreify Them

10:30 - 12:30pm:  Vis: Interpretation
Paul Cohen: Shading-Based Two-View Matching
Pascal Fua: Combining Stereo and Monocular Information: Computing Robust
Dense Depth Maps and Preserving Depth Discontinuities
R. Mike Cameron-Jones: Visual Interpretation of Lambertian Surface
Deformation
Terry Regier: Line Labeling and Junction Labeling: A Coupled System for
Image Interpretation

12:30 -  2:00pm:  Lunch

 2:00 -  5:30pm:  Computer & Chess Afternoon
                  Panel and Chess Match
	
-------------------------
Thursday, August 29, 1991

 9:00 - 10:00am:  Invited Speaker 3 - Robert Kowalski

10:00 - 10:30am:  Coffee

10:30 - 12:30pm:  ML: Inductive Learning III
Armand E. Prieditis: Machine Discovery of Effective Admissible Heuristics
by Means-Ends Analysis
David Chapman: Learning from Delayed Reinforcement In a Complex Domain
Wayne Iba: Learning to Classify Observed Motor Behavior
Peter C-H. Cheng: Modelling Experiments in Scientific Discovery

10:30 - 12:30pm:  AR: Reason Maintenance
Jean Christophe Madre: A Logically Complete Reasoning Maintenance System
Based on a Logical Constraint Solver
Jerome Euzenat: Contexts for Nonmonotonic RMSes
Wang Xianchang: On Semantics of TMS
Ulrich Junker: Prioritized Defaults: Implementation by TMS and
Application to Diagnosis

10:30 - 12:30pm:  NL: Representation and Semantics
Padraig Cunningham: Organizational Issues Arising from the Integration of
Lexicon and Concept Network in a Text Understanding System
Mark Johnson: Logic and Feature Structures
Leonardo Lesmo: Representation and Interpretation of Definite Noun
Phrases
Stephen Busemann: Using Pattern-Action Rules for the Generation of GPSG
Structures From MT-Oriented Semantics

10:30 - 12:30pm:  LP: Logic Programming III
Kienchung Kuo: Programming in Autoepistemic Logic
L. Thorne McCarty: Indefinite Reasoning with Definite Rules
Karen L. Kwast: The Incomplete Database
Mark Wallace: Compiling Integrity Checking into Update Procedures

10:30 - 12:30pm:  AI Apps: Intelligent Tutoring Systems
Dinesh Gadwal: UMRAO:  A Chess Endgame Tutor
Luigia Carlucci-Aiello: Reasoning about Student Knowledge and Reasoning
Tak-Wai Chan: Integration-Kid:  A Learning Companion System
William R. Murray: An Endorsement-based Approach to Student Modeling for
Planner-controlled Tutors

12:30 -  2:00pm:  Lunch

 2:00 -  3:30pm:  Panel 3:  Multiple Approaches tp Mulitple Agent Problem
                            Solving

 2:00 -  3:30pm:  ML: Case Based Learning
Diane J. Cook: The Base Selection Task in Analogical Planning
Scott Fertig: FGP: A Software Architecture for Acquiring Knowledge from
Cases
James P. Callan: Adaptive Case-Based Reasoning

 2:00 -  3:30pm:  KR: Nonmonotonic Reasoning - Circumscription
Nicolas Helft: Query Answering in Circumscription
Yves Moinard: Circumscription and Definability
Zhaogang Qian: Circumscribing Defaults

 2:00 -  3:30pm:  AR: Theorem Proving III
Robert Demolombe: An Inference Rule for Hypothesis Generation
Katsumi Inoue: Consequence-Finding Based on Ordered Linear Resolution
Christoph Lingenfelder: Proof Transformation with Built-in Equality
Predicate

 2:00 -  3:30pm:  Arch: Distributed AI I
Sarit Kraus: Negotiations over Time in A Multi Agent Environment:
Preliminary Report
Piotr J. Gmytrasiewicz: A Decision-Theoretic Approach to Coordination
Multiagent Interactions
Munindar P. Singh: Towards a Formal Theory of Communication for
Multiagent Systems

 3:30 -  4:00pm:  Coffee

 4:00 -  5:30pm:  AI On Line

 4:00 -  5:30pm:  ML: Classification & Generalization
Floriana Esposito: Flexible Matching for Noisy Structural Descriptions
Haym Hirsch: Theoretical Underpinnings of Version Spaces
Jacques Nicolas: Empirical Bias for Version Space

 4:00 -  5:30pm:  KR: Concept Languages, Inheritance Reasoning
Klaus Schild: A Correspondence Theory for Terminological Logics:
Preliminary Report
John Yen: Generalizing Term Subsumption Languages to Fuzzy Logic
David S. Touretzky: A Skeptic's Menagerie:  Conflictors, Preemptors,
Reinstators, and Zombies in Nonmonotonic Inheritance

 4:00 -  5:30pm:  AR: Constraint Satisfaction
Rina Dechter: On the Feasibility of Distributed Constraint Satisfaction
Pascal van Hentenryck: Efficient Arc Consistency Algorithm for a Class of
CSP Problems
Peter Cheeseman: Where the Really Hard Problems Are

 4:00 -  5:30pm:  QR: Reasoning under Uncertainty I
Yen-Teh Hsia: Characterizing Belief with Minimum Commitment
Rudolf Kruse: On a Tool for Reasoning with Mass Distribution
Henry E. Kyburg: Evidential Probability

 4:00 -  5:30pm:  Rob: Navigation
Stephen F. Peters: Planning Robot Control Parameter Values with
Qualitative Reasoning
Patrick Stelmasyk: Mobile Robot Navigation by an Active Control of the
Vision System
Matthew Barth: Determining Robot Egomotion from Motion Parallax Observed
by an Active Camera

 5:30pm:  General Meeting

-----------------------
Friday, August 30, 1991

 9:00 - 10:00am:  Invited Speaker 4- Takeo Kanade

10:00 - 10:30am:  Coffee

10:30 - 12:30pm:  AR: Planning III
Christer Backstrom: Parallel Non-Binary Planning in Polynomial Time
Tom Bylander: Complexity Results for Planning
Dekang Lin: A Message Passing Algorithm for Plan Recognition
Fahiem Bacchus: The Downward Refinement Property

10:30 - 12:30pm:  NL: Parsing and Morphology
Tsunenori Mine: Coordinative Parallel Morphological and Syntactical
Analysis Method in Japanese	
Liang-Jyh Wang: A Parsing Method for Identifying Words in Mandarin
Chinese Sentences
Harald Trost: X2MORF: A Morphological Component Based on Augmented
Two-Level Morphology
Venu Dasigi: Parsing = Parsimonious Covering (Abduction in Logical Form
Generation)

10:30 - 12:30pm:  Arch: Connectionist & Parallel Rule Systems
Tony Plate: Holographic Reduced Representations:  Convolution Algebra for
Compositional Distributed Representations
Andrew Sohn: A Macro Actor/Token Implemetation of Production Systems on
Data-Flow Multiprocessor
Dan Moldovan: Performance Comparison of Models for Multiple Rule Firing
Ian Nevill Robinson: On Supporting Associative Access and Processing over
Dynamic Knowledge Bases

10:30 - 12:30pm:  Summary Session: IJCAI-91, Learning and Knowledge
                  Acquisition 

10:30 - 12:30pm:  Summary Session: KR'91, International Conference on
                  Principles of Knowledge Representation and Reasoning	
12:30 -  2:00pm:  Lunch

 2:00 -  3:30pm:  Panel 4: Massively Parallel Computing in Artificial
                  Intelligence:  Bridging Gaps Between Hardware and
                  Applications

 2:00 -  3:30pm:  ML: Knowledge Acquisition
Kathleen McKusick: Constraints on Tree Structure in Concept Formation
Brian R. Gaines: An Interactive Visual Language for Term Subsumption
Languages
Matthias Gutknecht: Cooperative Hybrid Systems

 2:00 -  3:30pm:  CM: Cognitive Modelling 2
N. Hari Narayanan: Reasoning Visually about Spatial Interactions
Akira Shimaya: A Cognitive Model for Figure Segregation
W.K. Yeap: An MFIS for Computing a Raw Cognitive Map

 2:00 -  3:30pm:  Summary Session: IJCAI-91, Automated Reasoning

 2:00 -  3:30pm:  Summary Session: International Symposium on AI and
                  Mathematics

 3:30 -  4:00pm:  Coffee

 4:00 -  5:30pm:  ML: Connectionist Models
Warren R. Becraft: Integration of Neural Networks and Expert Systems for
Process Fault Diagnosis
Chilukuri Krishna Mohan: Analyzing Images Containing Multiple Sparse
Patterns with Neural Networks
Selwyn Piramuthu: The Utility of Feature Construction for
Back-Propagation

 4:00 -  5:30pm:  Arch: Distributed AI II
Hideyuki Nakashima: Communication and Inference through Situations
David N. Kinny: Commitment and Effectiveness of Situated Agents
Takashi Nishiyama: Generating Integrated Interpretation of Partial
Information Based on Distributed Qualitative Reasoning

 4:00 -  5:30pm:  QR: Reasoning under Uncertainty II
S.K.M. Wong: Propagation of Preference Relations in Qualitative Inference
Networks
Wilson Xun Wen: Parallel Distributed Belief Networks That Learn

 4:00 -  5:30pm:  Summary Session: IJCAI-91, Natural Language

 4:00 -  5:30pm:  Summary Session: International Conference on Automated
                  Deduction

-------
LEGEND:
AI Apps: Principles of AI Applications
AR:      Automated Reasoning
Arch:    Architectures & Languages
CM:      Cognitive Modelling
KR:      Knowledge Representation
LP:      Logic Programming
ML:      Machine Learning
NL:      Natural Language
Phil:    Philosophical Foundations
QR:      Qualitative Reasoning
Rob:     Robotics
Vis:     Vision
************************************************************************