kim@CS.TORONTO.EDU (Kimberlee Pietrzak-Smith) (05/09/91)
***INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 1991***
IJCAI-91 Programme Schedule
Monday, August 26, 1991
9-10am: Invited Speaker 1 - Ross Quinlan
10-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
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
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
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
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-2pm: Lunch
2-3:30pm:
Panel 1: AI in Telecommunications
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
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
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)
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-4pm: Coffee
4-5:30pm:
AI On Line
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
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
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
KR: Reasoning with Inconsistency
Mamede Lima Marques
Contextual Negations and Reasoning with Contradictions
Gerd Wagner
Ex contradictione nihil sequitir
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-10am: Invited Speaker 2- Shigeru Sato
10-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
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
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
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
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-2pm: Lunch
2-3:30pm:
Panel 2: AI and Design
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
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
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
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-4pm: Coffee
4-5:30pm:
AI On Line
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
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
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
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
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-10am: Distinguished Scientist Award & Lecture: Marvin Minsky
10-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
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
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
QR: Qualitative Modelling, Temporal Reasoning
Ulf Soderman
Combining Qualitative and Quantitative Knowledge to Generate Models fo
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
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-2pm: Lunch
2-5:30pm: Computer & Chess Afternoon
Panel and Chess Match
Thursday, August 29, 1991
9-10am: Invited Speaker 3 - Robert Kowalski
10-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
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
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
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
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-2pm: Lunch
2-3:30pm:
Panel 3: Multiple Approaches tp Mulitple Agent Problem Solving
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
KR: Nonmonotonic Reasoning - Circumscription
Nicolas Helft
Query Answering in Circumscription
Yves Moinard
Circumscription and Definability
Zhaogang Qian
Circumscribing Defaults
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
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-4pm: Coffee
4-5:30pm:
AI On Line
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
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
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
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
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-10am: Invited Speaker 4- Takeo Kanade
10-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
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)
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
Summary Session: IJCAI-91, Learning and Knowledge Acquisition
Summary Session: KR'91, International Conference on Principles of Knowledge
Representation and Reasoning
12:30-2pm: Lunch
2-3:30pm:
Panel 4: Massively Parallel Computing in Artificial Intelligence: Bridging
Gaps Between Hardware and Applications
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
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
Summary Session: IJCAI-91, Automated Reasoning
Summary Session: International Symposium on AI and Mathematics
3:30-4pm: Coffee
4-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
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
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
Summary Session: IJCAI-91, Natural Language
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