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