IJCAI-91: 12TH INTERNATIONAL JOINT CONFERENCE on
ARTIFICIAL INTELLIGENCE
Darling Harbour, Sydney, Australia, 24-30 August 1991
Programme Schedule
Information on tutorials and registration procedures is presented at the
end of this document.
LEGEND:
Appl: 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
Sunday, 25 August 1991
6-9:30pm: Opening Ceremonies
Presentation of the IJCAI Distinguished Service Award to
Woodrow Bledsoe
Presentation of the IJCAI-91 Outstanding Paper Prizes
Concert, Australian Chamber Orchestra
Monday, 26 August 1991
9-10am: Invited Speaker 1 - Takeo Kanade, Carnegie Mellon University
Depth, Shape and Motion in Computer Vision:
Old Problems and New Results
10-10:30am: Refreshments
10:30-12:30pm:
ML: Explanation-based Learning
Quantitative Evaluation of Explanation-Based Learning as an Optimization
Tool for a Large-Scale Natural Language System
Christer Samuelsson and Manny Rayner
A Formalization of Explanation-Based Macro-Operator Learning
Prasad Tadepalli
An Augmented EBL and its Application to Utility Problem
Masayuki Yamamura and Shigenobu Kobayashi
Concept Formation over Explanations and Problem-Solving Experience
Jungsoon Yoo and Doug Fisher
NL: Natural Language Processing
High Performance Natural Language Processing on Semantic Network Array
Processor
Hiroaki Kitano, Dan Moldovan and Seungho Cha
Massively Parallel Memory-Based Parsing
Hiroaki Kitano and Tetsuya Higuchi
Using Syntactic and Semantic Analysis
Esther Konig
An Environment for Experimentation with Parsing Strategies
Gregor Erbach
KR: Nonmonotonic Reasoning - Modal Logics
Nonmonotonic Databases and Epistemic Queries
Vladimir Lifschitz
Commonsense Entailment: A Modal Theory of Nonmonotonic Reasoning
Nicholas Asher and Michael Morreau
Modal Interpretations of Default Logic
Miroslaw Truszczynski
Constructive Tightly Grounded Autoepistemic Reasoning
Ilkka N.F. Niemela
AR: Theorem Proving I
A Resolution Method for Temporal Logic
Michael Fisher
Formalizing and Using Persistency
Thomas Guckenbiehl
Reflective Reasoning With and Between a Declarative Metatheory and the
Implementation Code
Fausto Giunchiglia and Paolo Traverso
Ordering-Based Strategies for Horn Clauses
Nachum Dershowitz
Arch: Knowledge Base Management
A Methodology for Systematic Verification of OPS5-based AI Applications
G. Ravi Prakash, E. Subrahmanian and H.N. Mahabala
Intelligent Assistance through Collaborative Manipulation
Loren G. Terveen, David A. Wroblewski and Steven N. Tighe
Effects of Parallelism on Blackboard System Scheduling
Keith Decker, Alan Garvey and Marty Humphrey and Victor Lesser
The Automated Analysis of Rule-based Systems, Based on their Procedural
Semantics
Rick Evertsz
12:30-2pm: Lunch
2-3:30pm:
Panel 1: AI in Telecommunications
Andrew Jennings (Chair), Telecom Australia Research Laboratories
Adam Irgon, Bell Communications Research
Akira Kurematsu, ATR Interpreting Telephone Laboratories
Jon R. Wright, AT&T Bell Laboratories
ML: Classifiers/Genetic Algorithms
Classifiers: A Theoretical and Empirical Study
Wray Buntine
A Hybrid Genetic Algorithm for Classification
James D. Kelly, Jr. and Lawrence Davis
Learning Concept Classification Rules Using Genetic Algorithms
Kenneth A. De Jong and William M. Spears
KR: Belief
A New Logic of Beliefs: Monotonic and Nonmonotonic Beliefs - Part 1
Sukhamay Kundu
A Model of Decidable Introspective Reasoning with Qualitifying-In
Gerhard Lakemeyer
Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time
Intention Logics
Anand S. Rao and Michael P. Georgeff
LP: Logic Programming I
Weak Equivalence for Constraint Sets
Sieger van Denneheuvel and Karen L. Kwast
Fitting Semantics for Conditional Term Rewriting
Chilukuri K. Mohan
A Derivation Procedure for Extended Stable Models (Draft)
Luis Moniz Pereira, Joaquim Nunes Aparicio and Jose Alferes
Phil: Philosophical Foundations I
The Philosophy of Automated Theorem Proving
Francis Jeffry Pelletier
Generalised Inference and Inferential Modelling
R. E. Jennings, C. W.Chan and M. J. Dowad
The Implications of Paraconsistency
John Slaney
3:30-4pm: Refreshments
4-5:30pm:
AI On Line
ML: Inductive Learning I
Reduced Complexity Rule Induction
Sholom M. Weiss and Nitin Indurkhya
Qualitative Model Evolution
Alen Varsek
Semantic Model for Induction of First Order Theories
Celine Rouveirol
AR: Search I
An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms
C.J.H. McDiarmid and G.M.A. Provan
Admissible Search Methods for Minimum Penalty Sequencing of Jobs with Setup
Times on One and Two Machines
Anup K. Sen, Amitava Bagchi and Bani K. Sinha
Learning Admissible Heuristics while Solving Problems
Anna Bramanti-Gregor and Henry W. Davis
LP: Logic Programming II
An Architecture for Visualizing the Execution of Parallel Logic Programs
Mike Brayshaw
A Non-shared Binding Scheme for Parallel Prolog Implementation
Kang Zhang and Ray Thomas
KR: Reasoning with Inconsistency
Contextual Negations and Reasoning with Contradictions
Walter Alexandre Carnielli, Luis Farinas del Cerro and Mamede Lima Marques
Ex contradictione nihil sequitir
Gerd Wagner
Rob: Architectures
Emergent Frame Recognition And Its Use In Artificial Creatures
Luc Steels
Integrating Reaction Plans and Layered Competences through Synchronous Control
R. Peter Bonasso
7:30-10pm: Computers & Thought Awards and Lectures:
Martha Pollack, The Uses of Plans
Rodney Brooks, Intelligence without Reason
Tuesday, 27 August 1991
9-10am: Invited Speaker 2- Shigeru Sato, Fujitsu Laboratories, Ltd.
The Commercial and Industrial Impacts of
Artificial Intelligence Internationally
10-10:30am: Refreshments
10:30-12:30pm:
ML: Inductive Learning II
Bayesian Classification with Correlation and Inheritance
Robin Hanson, John Stuzt, and Peter Cheeseman
A Scheme for Feature Construction and a Comparison of Empirical Methods
Der-Shung Yang, Larry Rendell and Gunnar Blix
Learning with a Helpful Teacher
Steven Salzberg, Arthur Delcher, David Heath and Simon Kasif
Towards a Model of Grounded Concept Formation
Stefan Wrobel
AR: Planning I
Composing Real-Time Systems
Stuart J. Russell and Shlomo Zilberstein
Bottleneck Identification Using Process Chronologies
Eric Biefeld and Lynne Cooper
Incomplete Information and Deception in Multi-Agent Negotiation
Gilad Zlotkin and Jeffrey S. Rosenschein
Solving "How to Clear a Block" with Constructive Matching Methodology
Marta Franova and Yves Kodratoff
NL: Pragmatics
Resolving Plan Ambiguity for Cooperative Response Generation
Peter van Beek and Robin Cohen
Your Metaphor or Mine: Belief Ascription and Metaphor Interpretation
Yorick Wilks, John Barnden and Jin Wang
Confirmations and Joint Action
Philip R. Cohen and Hector J. Levesque
QR: Diagnosis
When Oscillators Stop Oscillating
Philippe Dague, Olivier Jehl, Philippe Deves, Pierre Luciani and Patrick
Taillibert
Diagnosing Temporal Misbehavior
Gerhard Friedrich and Franz Lackinger
Integrating Model-Based Monitoring and Diagnosis of Complex Dynamic Systems
Franz Lackinger and Wolfgang Nejdl
Representing Diagnostic Knowledge for Probabilistic Horn Abduction
David Poole
Vis: Object Recognition
A Pictorial Approach to Object Classification
Yerucham Shapira and Shimon Ullman
Natural Object Recognition: A Theoretical Framework and Its Implementation
Thomas M. Strat and Martin A. Fischler
On Seeing Spaghetti: A Novel Self-Adjusting Seven Parameter Hough Space for
Analyzing Flexible Extruded Objects
John R. Kender and Rick Kjeldsen
HyperBF Networks for Real Object Recognition
R.Brunelli and T. Poggio
12:30-2pm: Lunch
2-3:30pm:
Panel 2: Multiple Approaches to Multiple Agent Problem Solving
James A. Hendler (Chair), University of Maryland
Danny Bobrow, Xerox Palo Alto Research Centers
Les Gasser, University of Southern California
Carl Hewitt, Massachusetts Institute of Technology
Marvin Minsky, Massachusetts Institute of Technology
ML: Inductive Logic Programming
Determinate Literals as an Aid in Inductive Logic Programming
J.R. Quinlan
Inductive Learning from Good Examples
Xiaofeng Ling
Refinement Strategies for Inductive Learning of Simple Prolog Programs
Marc Kirschenbaum and Leon S. Sterling
KR: Nonmonotonic Reasoning - Conditional Logics
A Unified View of Consequence Relation, Belief Revision and Conditional Logic
Hirofumi Katsuno and Ken Satoh
Inaccessible Worlds and Irrelevance: Preliminary Report
Craig Boutilier
Possibilistic Logic, Preference Models, Non-monotonicity and Related Issues
Didier Dubois and Henri Prade
AR: Search II
Using Aspiration Windows for Minimax Algorithms
Reza Shams, Hermann Kaindl, and Helmut Horacek
High Performance A* Search Using Rapidly Growing Heuristics
Stephen V. Chenoweth and Henry W. Davis
Moving Target Search
Toru Ishida and Richard E. Korf
CM: Cognitive Modelling I
How Situated is Cognition?
Jacobijn Sandberg and Bob Wielinga
Index Transformation Techniques for Facilitating Creative Use of Multiple Cases
Katia P. Sycara and D. Navinchandra
Plan Debugging in an Intentional System
Gregg Collins, Laurence Birnbaum, Bruce Krulwich and Michael Freed
3:30-4pm: Refreshments
4-5:30pm:
AI On Line
ML: Concept Formation
Overpruning Large Decision Trees
Jason Catlett
Learning Structural Decision Trees From Examples
Larry Watanabe and Larry Rendell
Learning Nested Concept Classes with Limited Storage
David Heath, Simon Kasif, S. Rao Kosaraju, Steven Salzberg and Gregory Sullivan
Acquiring Knowledge by Efficient Query Learning
Achim G. Hoffman and Sunil Thakar
KR: Concept Languages
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative
to Terminological Cycles
Franz Baader
A Scheme for Integrating Concrete Domains into Concept Languages
Franz Baader and Philipp Hanschke
Tractable Concept Languages
Francesco M. Donini, Maurizio Lenzerini, and Daniele Nardi and Werner Nutt
AR: Theorem Proving II
A Model Elimination Calculus for Generalized Clauses
Toni Bollinger
Consolution and its Relation with Resolution
Elmar Eder
How to Prove Higher Order Theorems in First Order Logic
Manfred Kerber
Reasoning of Geometric Concepts Based on Algebraic Constraint-directed Method
Hitoshi Iba and Hirochika Inoue
Phil: Philosophical Foundations II
Actions and Movements
David Israel, John Perry and Syun Tutiya
In Defense of Hyper-Logicist AI
Selmer Bringsjord and Michael Zenzen
The Problem of Induction and Machine Learning
F. Bergadano
QR: Qualitative Modelling
The Hybrid Phenomena Theory
Erling A. Woods
Extracting and Representing Qualitative Behaviors of Complex Systems in
Phase Spaces
Feng Zhao
A Geometric Approach to Total Envisioning
Toyoaki Nishida and Shuji Doshita
Wednesday, 28 August 1991
9-10am: Research Excellence Award & Lecture: Marvin Minsky
10-10:30am: Refreshments
10:30-12:30pm:
KR: Topics in Knowledge Representation
A Model of Events and Processes
Periklis Belegrinos and Michael Georgeff
Parameter Structures for Parametrized Modal Operators
Hans Jurgen Ohlbach and Andreas Herzig
Measuring and Improving the Effectiveness of Representations
Russell Greiner and Charles Elkan
Propositional Non-Monotonic Reasoning and Inconsistency in Symmetric
Neural Networks
Gadi Pinkas
AR: Planning II
Generalizing Nonlinear Planning to Handle Complex Goals and Actions with
Context-Dependent Effects
Edwin P.D. Pednault
A Formal Model for Classical Planning
Jens Christensen and Adam Grove
Localized Search for Multiagent Planning
Amy L. Lansky
Commitment Strategies in Planning: A Comparative Analysis
Steven Minton, John Bresina and Mark Drummond
NL: Natural Language Systems
POST: Using Probabilities in Language Processing
Marie Meteer, Richard Schwartz and Ralph Weischedel
The Re-use of Linguistic Resources Across Languages in Multilingual
Generation Components
John A. Bateman, Christian Matthiessen, Keizo Nanri and Licheng Zeng
Natural Language and Exploration of an Information Space: the ALFresco
Interactive System
Oliviero Stock
Efficient Representation of Linguistic Knowledge for Continuous Speech
Understanding
P. Baggia, E. Gerbino, E. Giachin, and C. Rullent
QR: Qualitative Modelling, Temporal Reasoning
Combining Qualitative and Quantitative Knowledge to Generate Models of
Physical Systems
Ulf Soderman and Jan-Erik Stromberg
Directed Constraint Networks: A Relational Framework for Causal Modeling
Rina Dechter and Judea Pearl
Computational and Physical Causality
Jan Top and Hans Akkermans
Reified Temporal Theories And How To Unreify Them
Antony Galton
Vis: Interpretation
Shading-Based Two-View Matching
Michael Audette, Paul Cohen and Juyang Weng
Combining Stereo and Monocular Information to Compute Dense Depth Maps that
Preserve Depth Discontinuities
Pascal Fua
Visual Interpretation of Lambertian Surface Deformation
R. Mike Cameron-Jones
Line Labeling and Junction Labeling: A Coupled System for Image Interpretation
Terry Regier
12:30-2pm: Lunch
2-5:30pm: Computer Chess Afternoon
Panel 3 - The Role of Chess in Artificial Intelligence Research
Robert Levinson (Chair), University of California at
Santa Cruz
Feng-Hsiung Hsu, IBM T.J. Watson Research Center
T. Anthony Marsland, University of Alberta
Jonathan Schaeffer, University of Alberta
David E. Wilkins, SRI International
Chess Match
Tour to Taronga Park Zoo
7-10:30pm: Dinner Harbour Cruise
Thursday, 29 August 1991
9-10am: Invited Speaker 3 - Robert A. Kowalski, Imperial College of Science,
Technology and Medicine
Logic Programming in Artificial Intelligence
10-10:30am: Refreshments
10:30-12:30pm:
ML: Inductive Learning III
Machine Discovery of Effective Admissible Heuristics
Armand E. Prieditis
Input Generalization in Delayed Reinforcement Learning: An Algorithm and
Performance Comparisons
David Chapman and Leslie Pack Kaelbling
Learning to Classify Observed Motor Behavior
Wayne Iba
Modelling Experiments in Scientific Discovery
Peter C-H. Cheng
AR: Reason Maintenance
A Logically Complete Reasoning Maintenance System Based on a Logical
Constraint Solver
J. C. Madre and O. Coudert
Contexts for Nonmonotonic RMSes
Jerome Euzenat
On Semantics of TMS
Wang Xianchang and Chen Huowang
Prioritized Defaults: Implementation by TMS and Application to Diagnosis
Ulrich Junker
NL: Representation and Semantics
Organizational Issues Arising from the Integration of the Lexicon and Concept
Network in a Text Understanding System
Padraig Cunningham and Tony Veale
Logic and Feature Structures
Mark Johnson
Representation and Interpretation of Definite Noun Phrases
L. Ardissono, L. Lesmo, P. Pogliano and P. Terenziani
Using Pattern-Action Rules for the Generation of GPSG Structures From
MT-Oriented Semantics
Stephen Busemann
LP: Logic Programming III
Programming in Autoepistemic Logic
Kienchung Kuo
Indefinite Reasoning with Definite Rules
L. Thorne McCarty and Ron van der Meyden
The Incomplete Database
Karen L. Kwast
Compiling Integrity Checking into Update Procedures
Mark Wallace
Appl: Intelligent Tutoring Systems
UMRAO: A Chess Endgame Tutor
Dinesh Gadwal, Jim E. Greer and Gordon I. McCalla
Reasoning about Student Knowledge and Reasoning
Luigia Carlucci Aiello, Marta Cialdea and Daniele Nardi
Integration-Kid: A Learning Companion System
Tak-Wai Chan
An Endorsement-based Approach to Student Modeling for Planner-controlled Tutors
William R. Murray
12:30-2pm: Lunch
2-3:30pm:
Panel 4: AI and Design
Saul Amarel (Chair), Rutgers University
Alvin Despain, University of Southern California
Penny Nii, Stanford University
Louis Steinberg, Rutgers University
Marty Tenenbaum, Enterprise Integration Technologies Co., and
Stanford University
Peter Will, Hewlett Packard Laboratories
ML: Case-based Learning
The Base Selection Task in Analogical Planning
Diane J. Cook
FGP: A Virtual Machine for Acquiring Knowledge from Cases
Scott Fertig and David H. Gelernter
CABOT: An Adaptive Approach to Case-Based Search
James P. Callan, Tom E. Fawcett and Edwina L. Rissland
KR: Nonmonotonic Reasoning - Circumscription
Query Answering in Circumscription
Nicolas Helft, Katsumi Inoue and David Poole
Circumscription and Definability
Yves Moinard and Raymond Rolland
Circumscribing Defaults
Zhaogang Qian and Keki B. Irani
AR: Theorem Proving III
An Inference Rule for Hypothesis Generation
Robert Demolombe and Luis Farinas del Cerro
Consequence-Finding Based on Ordered Linear Resolution
Katsumi Inoue
Proof Transformation with Built-in Equality Predicate
Christoph Lingenfelder and Axel Pracklein
Arch: Distributed AI I
Negotiations over Time in a Multi-Agent Environment: Preliminary Report
Sarit Kraus and Jonathan Wilkenfeld
A Decision-Theoretic Approach to Coordination Multiagent Interactions
Piotr J. Gmytrasiewicz, Edmund H. Durfee and David K. Wehe
Towards a Formal Theory of Communication for Multiagent Systems
Munindar P. Singh
3:30-4pm: Refreshments
4-5:30pm:
AI On Line
ML: Classification & Generalization
Flexible Matching for Noisy Structural Descriptions
Floriana Esposito, Donato Malerba and Giovanni Semeraro
Theoretical Underpinnings of Version Spaces
Haym Hirsh
Empirical Bias for Version Space
Jacques Nicolas
KR: Concept Languages, Inheritance Reasoning
A Correspondence Theory for Terminological Logics: Preliminary Report
Klaus Schild
Generalizing Term Subsumption Languages to Fuzzy Logic
John Yen
A Skeptic's Menagerie: Conflictors, Preemptors, Reinstators, and Zombies
in Nonmonotonic Inheritance
David S. Touretzky, Richmond H. Thomason and John F. Horty
AR: Constraint Satisfaction
On the Feasibility of Distributed Constraint Satisfaction
Zeev Collin, Rina Dechter, Shmuel Katz
Efficient Arc Consistency Algorithm for a Class of CSP Problems
Yves Deville and Pascal Van Hentenryck
Where the Really Hard Problems Are
Peter Cheeseman, Bob Kanefsky and William M. Taylor
QR: Reasoning under Uncertainty I
Characterizing Belief with Minimum Commitment
Yen-Teh Hsia
On a Tool for Reasoning with Mass Distribution
Rudolf Kruse, Erhard Schwecke and Frank Klawonn
Evidential Probability
Henry E. Kyburg, Jr.
Rob: Navigation
Planning Robot Control Parameter Values with Qualitative Reasoning
Stephen F. Peters, Shigeoki Hirai, Toru Omata and Tomomasa Sato
Mobile Robot Navigation by an Active Control of the Vision System
Patrick Stelmaszyk, Hiroshi Ishiguro and Saburo Tsuji
Determining Robot Egomotion from Motion Parallax Observed by an Active Camera
Matthew Barth, Hiroshi Ishiguro and Saburo Tsuji
5:30-6:30pm: General Meeting
Announcements of Conference Chair and Programme Chair for
IJCAI-95 and site for IJCAI-97: All registrants invited.
6:30-8pm: Powerhouse Reception
Friday, 30 August 1991
9-10am: Invited Speaker 4 - John Ross Quinlan, University of Sydney
Recent Research in Data-Driven Learning
10-10:30am: Refreshments
10:30-12:30pm:
AR: Planning III
Parallel Non-Binary Planning in Polynomial Time
Christer Backstrom and Inger Klein
Complexity Results for Planning
Tom Bylander
A Message Passing Algorithm for Plan Recognition
Dekang Lin and Randy Goebel
The Downward Refinement Property
Fahiem Bacchus and Qiang Yang
NL: Parsing and Morphology
Coordinative Parallel Morphological and Syntactical Analysis of Japanese
Language
Tsunenori Mine, Rin-ichiro Taniguchi and Makato Amamiya
A Parsing Method for Identifying Words in Mandarin Chinese Sentences
Liang-Jyh Wang, Tzusheng Pei, Wei-Chuan Li and Lih-Ching R. Huang
X2MORF: A Morphological Component Based on Augmented Two-Level Morphology
Harald Trost
Parsing = Parsimonious Covering? (Abduction in Logical Form Generation)
Venu Dasigi
Arch: Connectionist & Parallel Rule Systems
Holographic Reduced Representations: Convolution Algebra for Compositional
Distributed Representations
Tony Plate
A Macro Actor/Token Implemetation of Production Systems on Data-Flow
Multiprocessor
Andrew Sohn and Jean Luc Gaudiot
Performance Comparison of Models for Multiple Rule Firing
Steve Kuo and Dan Moldovan
On Supporting Associative Access and Processing over Dynamic Knowledge Bases
Ian N. Robinson
Summary Session: IJCAI-91, Machine 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 5: Massively Parallel Artificial Intelligence
Hiroaki Kitano (Chair), Carnegie Mellon University and NEC Corporation
James Hendler, University of Maryland
Tetsuya Higuchi, Electrotechnical Laboratory, Japan
Dan Moldovan, University of Southern California
David Waltz, Thinking Machine Corporation
ML: Knowledge Acquisition
Constraints on Tree Structure in Concept Formation
Kathleen B. McKusick and Pat Langley
An Interactive Visual Language for Term Subsumption Languages
Brian R. Gaines
Cooperative Hybrid Systems
Matthias Gutknecht, Rolf Pfeifer and Markus Stolze
CM: Cognitive Modelling II
Reasoning Visually about Spatial Interactions
N. Hari Narayanan and B. Chandrasekaran
A Cognitive Model for Figure Segregation
Akira Shimaya and Isamu Yoroizawa
An MFIS for Computing a Raw Cognitive Map
W.K. Yeap, M.E. Jefferies and P.S. Naylor
Summary Session: IJCAI-91, Automated Reasoning
Summary Session: 1990 International Symposium on AI and Mathematics
3:30-4pm: Refreshments
4-5:30pm:
ML: Connectionist Models
Integration of Neural Networks and Expert Systems for Process Fault Diagnosis
Warren R. Becraft, Peter L. Lee and Robert B. Newell
Analyzing Images Containing Multiple Sparse Patterns with Neural Networks
Rangachari Anand, Kishan Mehrotra, Chilukuri K. Mohan and Sanjay Ranka
The Utility of Feature Construction for Back-Propagation
Hareish Ragavan and Selwyn Piramuthu
Arch: Distributed AI II
Communication and Inference through Situations
Hideyuki Nakashima, Stanley Peters and Hinrich Schutze
Commitment and Effectiveness of Situated Agents
David N. Kinny and Michael P. Georgeff
Generating Integrated Interpretation of Partial Information Based on
Distributed Qualitative Reasoning
Takashi Nishiyama, Osamu Katai, Sosuke Iwai and Tetsuo Sawaragi and
Hiroshi Masuichi
QR: Reasoning under Uncertainty II
Propagation of Preference Relations in Qualitative Inference Networks
S.K.M. Wong, Pawan Lingras and Y.Y. Yao
Parallel Distributed Belief Networks That Learn
Wilson X. Wen and Andrew Jennings
Summary Session: IJCAI-91, Natural Language
Summary Session: 1990 International Conference on Automated Deduction
Tutorials
Saturday, 24 August 1991
8:30-12:30pm:
T-1 Expert Systems for Project Managers
Avron Barr and Earl S. Sacerdoti
T-2 Planning and Real-Time Reasoning
James Hendler and Michael Georgeff
T-3 Case-Based Reasoning
Katia P. Sycara and Kevin D. Ashley
T-4 Neural Networks for Real-World Problems
David S. Touretzky and Dean A. Pomerleau
2-6pm:
T-5 Truth-Maintenance Systems
Johan de Kleer and Ken Forbus
T-6 Object-Oriented Programming and AI
Mamdouh H. Ibrahim and Jacques Ferber
T-7 AI in Business, Finance and Accounting
Daniel E. O'Leary and Paul R. Watkins
T-8 PROLOG and Natural Language Processing
Esther Konig and Roland Seiffert
Sunday, 25 August 1991
8:30-12:30pm:
T-9 Machine Learning
Jaime Carbonell, Yves Kodratoff and Francesco Bergadano
T-10 Knowledge Acquisition Techniques
JanClayton and Carli Scott
T-11 Dynamic Scene Analysis and Motion Estimation
Thomas S. Huang and Olivier D. Faugeras
T-12 AI in Engineering Design
Bernhard A. Nebel and Allen C. Ward
2-6pm:
T-13 Text Interpretation
Jerry R. Hobbs and Lisa Rau
T-14 Robotics for AI Researchers
David P. Miller and Rajiv S. Desai
T-15 Pricipled Knowledge Systems Design Based on Knowledge Level Models
Luc Steels and Bob Wielinga
T-16 Statistical Principles for Knowledge Representation and Reasoning
Henry E. Kyburg and Jay C. Weber
OBTAINING REGISTRATION BROCHURES for IJCAI-91
The Australian National Committee has arranged for Registration Brochures
and Forms for IJCAI-91 to be obtained electronically by sending an email
message requesting a hard copy or by directly by ftp.
1. Hard Copies
To obtain a hardcopy of the Registration Brochure and Form send an email
message containing your name and address to:
···················@vulcan.anu.edu.au
******************************************************************************
PLEASE NOTE THAT THIS IS AN E-MAIL ADDRESS TO WHICH *ONLY* E-MAIL REQUESTS
FOR *HARD COPIES* OF THE REGISTRATION BROCHURES AND FORMS SHOULD BE SENT.
IT IS *NOT* A GENERAL IJCAI CORRESPONDENCE ADDRESS.
******************************************************************************
Requests for hard copies of the Registration Brochure and Form and any other
enquiries concerning IJCAI-91, can also be made directly to:
IJCAI-91 Secretariat
PO Box 787
Potts Point, NSW 2011
AUSTRALIA
Tel: (+61-2) 3572600
Fax: (+61-2) 3572950
2. Anonymous ftp
For those connected to the Internet, the IJCAI Registration Brochure and
Form are available as compressed POSTSCRIPT files via anonymous ftp from
vulcan.anu.edu.au (IP number 130.56.4.173) (in /IJCAI)
and from
uunet.uu.net (alias ftp.uu.net, IP number 137.39.1.2)
(in /doc/IJCAI)
To transfer the Registration Brochure and Form connect to either machine by
ftp with user name "anonymous". Type in your full email address as password
(it will be logged). After a successful login change to directory IJCAI and
read README for full details of how to ftp the files that you need.
In case of problems or difficulties contact your local system manager or:
·····················@vulcan.anu.edu.au.
******************************************************************************
PLEASE NOTE THAT SO AS TO REDUCE UNNECESSARY NETWORK TRAFFIC AND THE NUMBER
OF TRANSFERS FROM vulcan.anu.edu.au, PLEASE MAKE THE RELEVANT POSTSCRIPT FILES
PUBLICLY AVAILABLE AT YOUR SITE. PLEASE CONTACT YOUR LOCAL SYSTEMS MANAGER FOR
DETAILS OF HOW BEST TO DO THIS.
******************************************************************************
Hi
I wanted to know if anybody has done any work on SQL ( Structured Query Language )
using Prolog.
Some examples and ref. would be great help.
Thanks in advance