Information Retrieval List Digest 065 (May 30, 1991) URL = http://hegel.lib.ncsu.edu/stacks/serials/irld/irld-065 ========================================================================= Date: Thu, 30 May 91 12:35:16 PST Reply-To: Information Retrieval List Sender: Information Retrieval List From: IRLIST Subject: IRLIST Digest, Vol. VIII, No. 23, Issue 65 IRLIST Digest May 30, 1991 Volume VIII, Number 23 Issue 65 ********************************************************** I. NOTICES A. Meeting Announcements/Calls for Papers ********************************************************** I.A.1. Fr: Kimberlee Pietrzak-Smith Re: IJCAI-91 Programme Schedule MONDAY, AUGUST 26, 1991 9-10am: Invited Speaker 1 - Takeo Kanade 10-10:30am: Coffee 10:30-12:30pm: *ML: Explanation Based Learning Christer Samuelsson, and Manny Rayner: 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 and Shigenobu Kobayashi: An Augmented EBL and its Application to Utility Problem Jungsoon Yoo and Doug Fisher: Concept Formation over Explanations and Problem-Solving Experience *NL: *NL Processing Hiroaki Kitano, Dan Moldovan, Ig-Tae Um and Seungho Cha: High Performance Natural Language Processing on Semantic Network Array Processor Hiroaki Kitano and Tetsuya Higuchi: 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, and Michael Morreau: Commonsense Entailment: A Modal Theory of Nonmonotonic Reasoning Miroslaw Truszczynski: Modal Interpretations of Default Logic Ilkka N.F. 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 and Paolo Traverso: 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, E. Subrahmanian and H.N. Mahabala: A Methodology for Systematic Verification of OPS5-based AI Applications Loren G. Terveen, David A. Wroblewski and Steven N. Tighe: Intelligent Assistance through Collaborative Manipulation Keith Decker, Alan Garvey, and Marty Humphrey: 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 and Lawrence Davis: A Hybrid Genetic Algorithm for Classification Kenneth A. De Jong and William M. Spears: 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, and Michael P. Georgeff: Asymmetry Thesis and Side-effect Problems in Linear Time and Branching Time Intention Logics *LP: Logic Programming I Sieger van Denneheuvel and Karen Kwast: Weak equivalence for constraint sets Chilukuri K. Mohan: Fitting Semantics for Conditional Term Rewriting Luis Moniz Pereira, Joaquim Nunes Aparicio and Jose Alferes: A Derivation Procedure for Extended Stable Models (Draft) *Phil: Philosophical Foundations I Francis Jeffry Pelletier: The Philosophy of Automated Theorem Proving Raymond Earl Jennings, Christine Waichi Chan, and Michael Joseph Doward: 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 and Nitin Indurkhya: Reduced Complexity Rule Induction Alen Varsek: Qualitative Model Evolution *CM-~Nline Rouveirol Semantic Model for Induction of First Order Theories *AR: Search I G.M.A. Provan and C.J.H. McDiarmid: An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms Anup K. Sen, A. Bagchi and Bani K. Sinha: Admissible Search Methods for Minimum Penalty Sequencing of Jobs with Setup Times on One and Two Machines Anna Bramanti-Gregor , Henry W. Davis and Xiaofeng Chen: Learning Admissible Heuristics while Solving Problems *LP: Logic Programming II Mike Brayshaw: An Architecture for Visualising the Execution of Parallel Logic Programs Kang Zhang and Ray Thomas: A Non-shared Binding Scheme for Parallel Prolog Implementation *KR: Reasoning with Inconsistency Walter Alexandre Carnielli, Luis Farinas del Cerro, and 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, John Stuzt, and Peter Cheeseman: Bayesian Classification with Correlation and Inheritance Der-Shung Yang, Larry Rendell and Gunnar Blix: A Scheme for Feature Construction and a Comparison of Empirical Methods Steven Salzberg, Arthur Delcher, David Heath and Simon Kasif: Learning with a Helpful Teacher Stefan Wrobel: Towards a Model of Grounded Concept Formation *AR: Planning I Stuart J. Russell and Shlomo Zilberstein: Composing Real-Time Systems Eric Biefeld and Lynne Cooper: Bottleneck Identification Using Process Chronologies Gilad Zlotkin and Jeffrey S. Rosenschein: Incomplete Information and Deception in Multi-Agent Negotiation Marta Franova and Yves Kodratoff Solving "How to Clear a Block" with Constructive Matching Methodology *NL: Pragmatics Peter van Beek and Robin Cohen: Resolving Plan Ambiguity for Cooperative Response Generation Yorick Wilks, John Barnden and Jin Wang: Your metaphor or mine: Belief ascription and metaphor interpretation Philip R. Cohen and Hector J. Levesque: Confirmations and Joint Action *QR: Diagnosis Philippe Dague, Olivier Jehl, Philippe DevM-~Os, Pierre Luciani and Patrick Taillibert: When Oscillators Stop Oscillating Gerhard Friedrich, Georg Gottlob and Wolfgang Nejdl: Diagnosing Temporal Misbehavior Franz Lackinger and Wolfgang Nejdl: Integrating Model-Based Monitoring and Diagnosis of Complex Dynamic Systems David Poole: Representing diagnostic knowledge for probabilistic Horn abduction *Vis: Object Recognition Yerucham Shapira and Shimon Ullman: A Pictorial Approach to Object Classification Thomas M. Strat and Martin A. Fischler: Natural Object Recognition: A Theoretical Framework and Its Implementation John R. Kender and Rick Kjeldsen: On Seeing Spaghetti: A Novel Self-Adjusting Seven Parameter Hough Space for Analyzing Flexible Extruded Objects Roberto Brunelli and Tomaso Poggio: HyperBF Networks for real object recognition 12:30-2pm: Lunch 2-3:30pm: Panel 2: Multiple Approaches to Multiple Agent Problem Solving *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 and Leon S. Sterling: Refinement Strategies for Inductive Learning of Simple Prolog Programs *KR: Nonmonotonic Reasoning - Conditional Logics Hirofumi Katsuno and Ken Satoh: A Unified View of Consequence Relation, Belief Revision and Conditional Logic Craig Boutilier: Inaccessible Worlds and Irrelevance: Preliminary Report Didier Dubois and Henri Prade: Possibilistic Logic, Preference Models, Non-monotonicity and Related Issues *AR: Search II Reza Shams, Hermann Kaindl, and Helmut Horacek: Using Aspiration Windows for Minimax Algorithms Stephen V. Chenoweth and Henry W. Davis: High Performance A* Search Using Rapidly Growing Heuristics Toru Ishida: Moving Target Search *CM: Cognitive Modelling 1 Jacobijn Sandberg and Bob Wielinga: How situated is cognition? Katia P. Sycara and D. Navinchandra: Index Transformation Techniques for Facilitating Creative Use of Multiple Cases Gregg Collins, Birnbaum, Krulwich and Freed: 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 and Larry Rendell: Learning Structural Decision Trees From Examples David Heath: Learning Nested Concept Classes with Limited Storage Achim G. Hoffman and 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 and Philipp Hanschke: A Scheme for Integrating Concrete Domains into Concept Languages Francesco M. Donini, Maurizio Lenzerini, and Daniele Nardi: Tractable Concept Languages *AR: Theorem Proving II Toni Bollinger: A Model Elimination Calculus for Generalized Clauses Elmar Eder: Consolution and its Relation with Resolution Manfred Kerber: How to Prove Higher Order Theorems in First Order Logic Hitoshi Iba and Hirochika Inoue: Reasoning of Geometric Concepts based on Algebraic Constraint-directed Method *Phil: Philosophical Foundations II David Israel, John Perry and Syun Tutiya: Actions and Movements Selmer Bringsjord and Michael Zenzen: 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 and Shuji Doshita: 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 and Michael P. Georgeff: A Model for Actions and Processes Hans Jurgen Ohlbach and Andreas Herzig: Parameter Structures for Parametrized Modal Operators Russell Greiner and Charles Elkan: 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 and Adam Grove: A Formal Model for Classical Planning Amy L. Lansky: Localized Search for Multiagent Planning Steven Minton, John Bresina and Mark Drummond: Commitment Strategies in Planning: A Comparative Analysis *NL: NL Systems Marie Meteer, Richard Schwartz and Ralph Weischedel: POST: Using Probabilities in Language Processing John A. Bateman, Christian M.I.M. Matthiessen, Keizo Nanri and Licheng Zeng: 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, P. Baggia, E. Giachin and E. Gerbino: Efficient Representation of Linguistic Knowledge for Continuous Speech Understanding *QR: Qualitative Modelling, Temporal Reasoning Ulf Soderman and Jan-Erik Stromberg: Combining Qualitative and Quantitative Knowledge to Generate Models of Physical Systems Rina Dechter and Judea Pearl: Directed Constraint Networks: A Relational Framework for Causal Modeling Jan Top and Hans Akkermans: Computational and Physical Causality Antony Galton: Reified Temporal Theories And How To Unreify Them *Vis: Interpretation Michel Audette, Paul Cohen and Juyang Weng: 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 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 and Leslie Pack Kaelbling: 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 and Olivier Coudert: A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver Reasoning Maintenance System Based on a Logical Constraint Solver Jerome Euzenat: Contexts for Nonmonotonic RMSes Wang Xianchang and Chen Huowang: On Semantics of TMS Ulrich Junker: Prioritized Defaults: Implementation by TMS and Application to Diagnosis *NL: Representation and Semantics Padraig Cunningham and Tony Veale: Organizational Issues Arising from the Integration of Lexicon and Concept Network in a Text Understanding System Mark Johnson: Logic and Feature Structures L. Ardissono, L. Lesmo, P. Pogliano and P. Terenziani: 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 and Ron van der Meyden: 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, Jim E. Greer and Gordon I. McCalla: UMRAO: A Chess Endgame Tutor Luigia Carlucci-Aiello, Marta Cialdea and Daniele Nardi: 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: AI and Design *ML: Case Based Learning Diane J. Cook: The Base Selection Task in Analogical Planning Scott Fertig and David H. Gelernter: FGP: A Software Architecture for Acquiring Knowledge from Cases James P. Callan, Tom E. Fawcett and Edwina L. Rissland: Adaptive Case-Based Reasoning *KR: Nonmonotonic Reasoning - Circumscription Nicolas Helft and Katsumi Inoue: Query Answering in Circumscription Yves Moinard and Raymond Rolland: Circumscription and Definability Zhaogang Qian and Keki B. Irani: Circumscribing Defaults *AR: Theorem Proving III Robert Demolombe and Luis Farinas del Cerro: An Inference Rule for Hypothesis Generation Katsumi Inoue: Consequence-Finding Based on Ordered Linear Resolution Christoph Lingenfelder and Axel Pracklein: Proof Transformation with Built-in Equality Predicate *Arch: Distributed AI I Sarit Kraus and Jonathan Wilkenfeld: Negotiations over Time in A Multi Agent Environment: Preliminary Report Piotr J. Gmytrasiewicz, Edmund H. Durfee and David K. Wehe: 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, Donato Malerba and Giovanni Semeraro: 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, Richmond H. Thomason and John F. Horty: A Skeptic's Menagerie: Conflictors, Preemptors, Reinstators, and Zombies in Nonmonotonic Inheritance *AR: Constraint Satisfaction Collin, Rina Dechter, Katz: On the Feasibility of Distributed Constraint Satisfaction Yves Deville and Pascal van Hentenryck: Efficient Arc Consistency Algorithm for a Class of CSP Problems Peter Cheeseman, Bob Kanefsky and Will Taylor: Where the Really Hard Problems Are *QR: Reasoning under Uncertainty I Yen-Teh Hsia: Characterizing Belief with Minimum Commitment R. Kruse, E. Schwecke and F. Klawonn: On a Tool for Reasoning with Mass Distribution Henry E. Kyburg, Jr.: Evidential Probability *Rob: Navigation Stephen F. Peters, Shigeoki Hirai, Toru Omata and Tomomasa Sato: Planning Robot Control Parameter Values with Qualitative Reasoning Patrick Stelmaszyk, Hiroshi Ishiguro and Saburo Tsuji: Mobile Robot Navigation by an Active Control of the Vision System Matthew Barth, Hiroshi Ishiguro and Saburo Tsuji: Determining Robot Egomotion from Motion Parallax Observed by an Active Camera 5:30pm: General Meeting FRIDAY, AUGUST 30, 1991 9-10am: Invited Speaker 4 - J. R. Quinlan 10-10:30am: Coffee 10:30-12:30pm: *AR: Planning III Christer Backstrom and Inger Klein: Parallel Non-Binary Planning in Polynomial Time Tom Bylander: Complexity Results for Planning Dekang Lin and Randy Goebel: A Message Passing Algorithm for Plan Recognition Fahiem Bacchus and Qiang Yang: The Downward Refinement Property *NL: Parsing and Morphology Tsunenori Mine, Rin-ichiro Taniguchi and Makato Amamiya: Coordinative Parallel Morphological and Syntactical Analysis Method in Japanese Liang-Jyh Wang, Tzusheng Pei, Wei-Chuan Li and Lih-Ching R. Huang: 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 Steve Kuo and 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 Artificial Intelligence *ML: Knowledge Acquisition Kathleen B. McKusick and Pat Langley: Constraints on Tree Structure in Concept Formation Brian R. Gaines: An Interactive Visual Language for Term Subsumption Languages Matthias Gutknecht: Cooperative Hybrid Systems Matthias Gutknecht: Cooperative Hybrid Systems *CM: Cognitive Modelling 2 N. Hari Narayanan and B. Chandrasekaran: Reasoning Visually about Spatial Interactions Akira Shimaya and Isamu Yoroizawa: A Cognitive Model for Figure Segregation W.K. Yeap, M.E. Jefferies and P.S. Naylor: 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, Peter L. Lee and Robert B. Newell: Integration of Neural Networks and Expert Systems for Process Fault Diagnosis Rangachari Anand, Kishan Mehrotra, Chilukuri K. Mohan and Sanjay Ranka: 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, Stanley Peters and Hinrich Schutze: Communication and Inference through Situations David N. Kinny and Michael P. Georgeff: Commitment and Effectiveness of Situated Agents Takashi Nishiyama, Osamu Katai, Sosuke Iwai and Tetsuo Sawaragi: Takashi Nishiyama, Osamu Katai, Sosuke Iwai and Tetsuo Sawaragi: Generating Integrated Interpretation of Partial Information Based on Distributed Qualitative Reasoning *QR: Reasoning under Uncertainty II S.K.M. Wong, Pawan Lingras and Y.Y. Yao: Propagation of Preference Relations in Qualitative Inference Networks Wilson Xun Wen and Andrew Jennings: 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 *QR: Qualitative Reasoning *Rob: Robotics *Vis: Vision ********************************************************** IRLIST Digest is distributed from the University of California, Division of Library Automation, 300 Lakeside Drive, Oakland, CA. 94612-3550. Send subscription requests to: LISTSERV@UCCVMA.BITNET Send submissions to IRLIST to: IR-L@UCCVMA.BITNET Editorial Staff: Clifford Lynch lynch@postgres.berkeley.edu or calur@uccmvsa.bitnet Nancy Gusack ncgur@uccmvsa.bitnet Mary Engle engle@cmsa.berkeley.edu or meeur@uccmvsa.bitnet The IRLIST Archives will be set up for anonymous FTP, and the address will be announced in future issues. To access back issues presently, send the message INDEX IR-L to LISTSERV@UCCVMA.BITNET. To get a specific issue listed in the Index, send the message GET IR-L LOG ***, where *** is the month and day on which the issue was mailed, to LISTSERV@UCCVMA.BITNET. These files are not to be sold or used for commercial purposes. Contact Nancy Gusack or Mary Engle for more information on IRLIST. The opinions expressed in IRLIST do not represent those of the editors or the University of California. Authors assume full responsibility for the contents of their submissions to IRLIST.