13. IJCAI 1993: Chambéry, France
Ruzena Bajcsy (Ed.): Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 - September 3, 1993. Morgan Kaufmann 1993 ISBN 1-55860-300-X
VOLUME 1
Automated Reasoning
Abduction I
- Kave Eshghi: A Tractable Class of Abduction Problems. 3-8
- Gerhard Brewka, Kurt Konolige: An Abductive Framework for General Logic Programs and other Nonmonotonic Systems. 9-17
Abduction II
- David B. Leake: Focusing Construction and Selection of Abductive Hypotheses. 24-31
Deductive Planning and Theory Approximation
- Marco Cadoli: Semantical and Computational Aspects of Horn Approximations. 39-45
Theorem Proving I
- Teow-Hin Ngair: A New Algorithm for Incremental Prime Implicate Generation. 46-51
- Masayuki Fujita, John K. Slaney, Frank Bennett: Automatic Generation of Some Results in Finite Algebra. 52-59
Theorem Proving II
- Christoph Weidenbach: Extending the Resolution Method with Sorts. 60-65
- Laurence Cholvy: Proving Theorems in a Multi-Source Environment. 66-73
Theorem Proving III
- Ricardo Caferra, Stéphane Demri: Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5. 74-79
- Andreas Nonnengart: First-Order Modal Logic Theorem Proving and Functional Simulation. 80-87
Theorem Proving IV
- Christoph Walther: Combining Induction Axioms by Machine. 95-101
Theorem Proving V
- Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima: Bottom-up Abduction by Model Generation. 102-108
- John K. Slaney: SCOTT: A Model-Guided Theorem Prover. 109-115
Theorem Proving VI
- Reinhold Letz: On the Polynomial Transparency of Resolution. 123-131
Theorem Proving VII
- Antoni Ligeza: A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems. 132-137
Time and Action I
- Ira J. Haimowitz, Isaac S. Kohane: Automated Trend Detection with Alternate Temporal Hypotheses. 146-151
- Mike Williamson, Steve Hanks: Exploiting Domain structure to Achieve Efficient Temporal Reasoning. 152-159
Time and Action II
- Murray Shanahan: Explanation in the Situation Calculus. 160-165
- Christophe Dousson, Paul Gaborit, Malik Ghallab: Situation Recognition: Representation and Algorithms. 166-174
Cognitive Modeling
Cognitive Modeling I
Cognitive Modeling II
- Clark Elliott: Using the Affective Reasoner to Support Social Simulations. 194-201
Cognitive Modeling III
- Lokendra Shastri: A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition. 202-207
- Trent E. Lange, Charles M. Wharton: Dynamic Memories: Analysis of an Integrated Comprehension and Episodic Memory Retrieval Model. 208-216
Constraint Satisfaction Problems
Complexity
- Andreas L. Köll, Hermann Kaindl: Bidirectional Best-First Search with Bounded Error: Summary of Results. 217-223
- Philippe David: When Functional and Bijective Constraints Make a CSP Polynomial. 224-231
Consistency
- Olivier Lhomme: Consistency Techniques for Numeric CSPs. 232-238
- Richard J. Wallace: Why AC-3 is Almost Always Better than AC4 for Establishing Arc Consistency in CSPs. 239-247
Constraint Satisfaction Strategies I
- Alexander Reinefeld: Complete Solution of the Eight-Puzzle and the Benefit of Node Ordering in IDA. 248-253
- Eugene C. Freuder, Paul D. Hubbe: Using Inferred Disjunctive Constraints To Decompose Constraint Satisfaction Problems. 254-261
Constraint Satisfaction Strategies II
- Patrick Prosser: Domain Filtering can Degrade Intelligent Backtracking Search. 262-267
Overdetermination and Interchangeability
- R. R. Bakker, F. Dikker, F. Tempelman, P. M. Wognum: Diagnosing and Solving Over-Determined Constraint Satisfaction Problems. 276-281
- Alois Haselböck: Exploiting Interchangeabilities in Constraint-Satisfaction Problems. 282-289
Satisfiability
- Bart Selman, Henry A. Kautz: Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems. 290-295
- Henri Beringer, Bruno De Backer: Satisfiability of Boolean Formulas over Linear Constraints. 296-304
Distributed AI
Agent Learning
- Gerhard Weiss: Learning to Coordinate Actions in Multi-Agent-Systems. 311-317
Analysis of Multi-Agent Systems I
- Anand S. Rao, Michael P. Georgeff: A Model-Theoretic Approach to the Verification of Situated Reasoning Systems. 318-324
- Hans-Dieter Burkhard: Liveness and Fairness Properties in Multi-Agent Systems. 325-331
Analysis of Multi-Agent Systems II
- Ursula M. Schwuttke, Alan G. Quan: Enhancing Performance of Cooperating Agents in Real-Time Diagnostic Systems. 332-337
Multi-Agent Collaboration I
- Kei Matsubayashi, Mario Tokoro: A Collaboration Mechanism on Positive Interactions in Multi-agent Environments. 346-351
- Eiichi Osawa: A Scheme for Agent Collaboration in Open Multiagent Environments. 352-359
Multi-Agent Collaboration II
- Keith Decker, Victor R. Lesser: An Approach to Analyzing the Need for Meta-Level Communication. 360-366
Multi-Agent Epistemology I
- Gerhard Lakemeyer: All They Know: A Study in Multi-Agent Autoepistemic Reasoning. 376-381
- Jacques Wainer: Epistemic Extension of Propositional Preference Logics. 382-389
Multi-Agent Epistemology II
- Piotr J. Gmytrasiewicz, Edmund H. Durfee: Elements of a Utilitarian Theory of Knowledge and Action. 396-403
Multi-Agent Logic Programming
- Xianchang Wang, Huowang Chen, Quingping Zhao, Wei Li: W - A Logic System Based on the Shared Common Knowledge Views. 410-415
Mult-Agent Negotiation I
- Eithan Ephrati, Jeffrey S. Rosenschein: Multi-Agent Planning as a Dynamic Search for Social Consensus. 423-431
Multi-Agent Negotiation II
- Kevin Knight: Are Many Reactive Agents Better Than a Few Deliberative Ones? 432-437
- Susan E. Lander, Victor R. Lesser: Understanding the Role of Negotiation in Distributed Search Among Heterogereous Agents. 438-446
Intelligent Tuoring Systems
Intelligent Tuoring Systems I
- Kwok-Keung Yum, Thomas J. Richards: Classification Networks: A Knowledge Representation Scheme for Curriculum Prescription. 447-452
- Richard Allen, Jeanne Idt, Laurent Trilling: Constraint Based Automatic Construction and Manipulation of Geometric Figures. 453-459
Intelligent Tuoring Systems II
- Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul: PHI - A Logic-Based Tool for Intelligent Help Systems. 460-466
- Mitsuru Ikeda, Yasuyuki Kono, Riichiro Mizoguchi: Nonmonotonic Model Inference-A Formalization of Student Modeling. 467-476
Knowledge Base Technology
Knowledge Base Technology I
- Pedro Meseguer: Expert System Validation through Knowledge Base Refinement. 477-482
Knowledge Base Technology II
- Jacques Bouaud: TREE: the Heuristic Driven Join Strategy of a RETE-Like Matcher. 496-503
Knowledge Base Technology III
- Brian R. Gaines: A Class Library Implementation of a Principled Open Architecture Knowledge Representation Server with Plug-in Data Types. 504-509
- Henrik Eriksson: Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools. 510-518
Knowledge Representation
Belief Revision I
- Craig Boutilier: Revision Sequences and Nested Conditionals. 519-525
- Thomas Eiter, Georg Gottlob: The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. 526-533
Belief Revision II
- Alvaro del Val: Syntactic Characterizations of Belief Change Operators. 540-547
Contexts
- Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione: Non-Omniscient Belief as Context-Based Resoning. 548-554
- John McCarthy: Notes on Formalizing Context. 555-562
Default Logics I
- Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Statistical Foundations for Default Reasoning. 563-569
- Georg Gottlob: The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. 570-577
Default Logics II
- Stefan Brass: On the Semantics of Supernormal Defaults. 578-583
- Frans Voorbraak: Preference-Based Semantics for Nonmonotonic Logics. 584-591
Evidential Reasoning
- Philippe Smets: Quantifying Beliefs by Belief Functions: An Axiomatic Justification. 598-605
Reasoning Under Uncertainty I
- David Poole: Average-Case Analysis of a Search Algorithm for Estimating Prior and Posterior Probabilities in Bayesian Networks with Extreme Probabilities. 606-612
- Dan Roth: On the Hardness of Approximate Reasoning. 613-619
Reasoning Under Uncertainty II
- Didier Dubois, Henri Prade: Belief Revision and Updates in Numerical Formalisms: An Overview, with new Results for the Possibilistic Framework. 620-625
- Zdenek Zdráhal: Second Order Measures for Uncertainty Processing. 626-633
Reasoning with Inconsistent or Disjunctive Information
- Thomas Eiter, Georg Gottlob, Yuri Gurevich: Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information. 634-639
- Salem Benferhat, Claudette Cayrol, Didier Dubois, Jérôme Lang, Henri Prade: Inconsistency Management and Prioritized Syntax-Based Entailment. 640-647
Temporal Reasoning
- Robert A. Morris, William D. Shoaff, Lina Khatib: Path Consistency in a Network of Non-Convex Intervals. 655-661
Terminological Logic I
- Lin Padgham, Tingting Zhang: A Terminological Logic with Defaults: A Definition and an Application. 662-668
- Franz Baader, Bernhard Hollunder: How to Prefer More Specific Defaults in Terminological Default Logic. 669-675
Terminological Logic II
- Umberto Straccia: Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics. 676-681
Terminological Logic III
- Hans Jürgen Ohlbach: A Multi-Dimensional Terminological Knowledge Representation Language. 690-695
Terminological Logic IV
- Martin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems. 704-709
- Robert Dionne, Eric Mays, Frank J. Oles: The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics. 710-717
Theory of Action I
- G. Neelakantan Kartha: Soundness and Completeness Theorems for Three Formalizations of Action. 724-731
Theory of Action II
- Alvaro del Val, Yoav Shoham: Deriving Properties of Belief Update from Theories of Action (II). 732-737
- Erik Sandewall: The Range of Applicability of Nonmonotonic Logics for the Inertia Problem. 738-746
Invited Speakers
- Miroslav Benda: AI Adventures Worth Writing Home About. 747-750
- Les Gasser: Social Knowledge and Social Action: Heterogeneity in Practice. 751-757
- Ivan M. Havel: Artificial Thought and Emergent Mind. 758-766
- Hirochika Inoue: Vision Based Robot Behavior: Tools and Testbeds for Real-World AI Research. 767-773
- Susan J. Lederman: The Intelligent Hand: An Experimental Approach to Human Object Recognition and Implications for Robotic Design. 774-785
- Nobuyuki Otsu: Toward Flexible Intelligence: MITI's New Program of Real World Computing. 786-791
- Jeffrey S. Rosenschein: Consenting Agents: Negotiation Mechanisms for Multi-Agent Systems. 792-799
- Devika Subramanian: Conceptual Design and Artificial Intelligence. 800-809
- Johan van Benthem: The Logic of Cognitive Action. 810-812
Awards
- Hiroaki Kitano: Computers and Thought Award : Challenges of Massive Parallelism. 813-834
VOLUME 2
Logic Programming
Languages for AI
- Mark Tarver: A Language for Implementing Arbitrary Logics. 839-844
- Pierre Basso: Conditional Causal Logic: A Formal Theory of the Meaning Generating Processes in a Cognitive System. 845-851
Logic Programming and Automated Logic Debugging
- Phan Minh Dung: On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming. 852-859
Logic Programming I
- Suryanarayana M. Sripada: A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases. 860-865
- Chitta Baral, Michael Gelfond: Representing Concurrent Actions in Extended Logic Programming. 866-873
Logic Programming II
- Patricia M. Hill: A Parameterised Module System for Constructing Typed Logic Programs. 874-880
- Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto: Logical Specification of Real-Time Granular Systems in an Object Oriented Language. 881-888
Machine Learning
Analysis
Case Based Reasoning
- Edwina L. Rissland, David B. Skalak, M. Timur Friedman: Case Retrieval through Multiple Indexing and Heuristic Search. 902-908
- Hideo Shimazu, Hiroaki Kitano, Akihiro Shibata: Retrieving Cases from Relational Data-Bases: Another Stride Towards Corporate-Wide Case-Base Systems. 909-915
Combinatorial Problems
- Thomas Ellman: Abstraction via Approximate Symmetry. 916-921
- Steven Minton: An Analytic Learning System for Specializing Heuristics. 922-929
Combined Learning Methods
- Sebastian Thrun, Tom M. Mitchell: Integrating Inductive Neural Network Learning and Explanation-Based Learning. 930-936
Complex Concept Acquisition
- Harish Ragavan, Larry A. Rendell, Michael J. Shaw, Antoinette Tessmer: Complex Concept Acquisition through Directed Search and Feature Caching. 946-951
- Larry A. Rendell, Harish Ragavan: Improving the Design of Induction Methods by Analyzing Algorithm Functionality and Data-Based Concept Complexity. 952-959
Genetic Algorithms
- Hitoshi Iba, Tetsuya Higuchi, Hugo de Garis, Taisuke Sato: Evolutionary Learning Strategy using Bug-Based Search. 960-966
- Jan Paredis: Genetic State-Space Search for Constrained Optimization Problems. 967-973
Improving Behavior
Induction
- William W. Cohen: Efficient Pruning Methods for Separate-and-Conquer Rule Learning Systems. 988-994
- Satoshi Kobayashi, Koichi Hori, Setsuo Ohsuga: Learning Decision Lists over Tree Patterns and Its Application. 995-1001
Induction of Decision Trees
- Jean-Gabriel Ganascia: TDIS : an Algebraic Formalization. 1008-1015
Induction with Continuous Attributes
- Thierry Van de Merckt: Decision Trees in Numerical Attribute Spaces. 1016-1021
- Usama M. Fayyad, Keki B. Irani: Multi-Interval Discretization of Continuous-Valued Attributes for Classification Learning. 1022-1029
Inductive Logic Programming I
- Stephane Lapointe, Charles X. Ling, Stan Matwin: Constructive Inductive Logic Programming. 1030-1036
Inductive Logic Programming II
- Francesco Bergadano, Daniele Gunetti: An Interactive System to Learn Functional Logic Programs. 1044-1049
- R. Mike Cameron-Jones, J. Ross Quinlan: Avoiding Pitfalls When Learning Recursive Theories. 1050-1057
Inductive Logic Programming III
- Kamal M. Ali, Michael J. Pazzani: HYDRA: A Noise-tolerant Relational Concept Learning Algorithm. 1064-1071
Learning and Statistics
Learning from the Environment
- Wei-Mein Shen: Learning Finite Automata Using Local Distinguishing Experiments. 1088-1093
- Leslie Pack Kaelbling: Learning to Achieve Goals. 1094-1099
Search Control
- Christopher Leckie, Ingrid Zukerman: An Inductive Approach to Learning Search Control Rules for Planning. 1100-1105
Sequence Learning and Production
- Joachim Diederich, Markus Wasserschaff: Recurrent Neural Networks for Sequence Production. 1114-1119
Theory Revision
- James Wogulis, Michael J. Pazzani: A Methodology for Evaluating Theory Revision Systems: Results with Audrey II. 1128-1134
Natural Language
Acquisition
- Charles X. Ling, Steven Cherwenka, Marin Marinov: A Symbolic Model for Learning the Past-Tenses of English Verbs. 1143-1149
- Takehito Utsuro, Yuji Matsumoto, Makoto Nagao: Verbal Case Frame Acquisition from Bilingual Corpora. 1150-1157
Applications I
- Vibhu O. Mittal, Cécile Paris: Automatic Documentation Generation: The Rnteraction of Text and Examples. 1158-1163
- Ehud Reiter, Chris Mellish: Optimizing the Costs and Benefits of Natural Language Generation. 1164-1171
Applications II
- Douglas E. Appelt, Jerry R. Hobbs, John Bear, David J. Israel, Mabry Tyson: FASTUS: A Finite-state Processor for Information Extraction from Real-world Text. 1172-1178
- Andrew Csinger, David Poole: Hypothetically Speaking Default Reasoning and Discourse-Structure. 1179-1185
Discourse/Dialogue
- Katashi Nagao: Abduction and Dynamic Preference in Plan-Based Dialogue Understanding. 1186-1192
- Kôiti Hasida, Katashi Nagao, Takashi Miyata: Joint Utterance: Intrasentential Speaker/Hearer Switch as an Emergent Phenomenon. 1193-1201
Explanation
- Ingrid Zukerman, Richard McConachy: Generating Concise Discourse that Addresses a Users Inferences. 1202-1207
- Daniel D. Suthers: Preferences for Model Selection in Explanation. 1208-1215
Linguistic Issues
- Paola Merlo: For an Incremental Computation of Intrasentential Coreference. 1216-1221
- Enrico Franconi, Alessandra Giorgi, Fabio Pianesi: Tense and Aspect: A Mereological Approach. 1222-1229
Multimedia I
- Massimo Zancanaro, Oliviero Stock, Carlo Strapparava: Dialogue Cohesion Sharing and Adjusting in an Enhanced Multimodal Environment. 1230-1236
- Catherine Baudin, Jody Gevins Underwood, Vinod Baya: Using Device Models to Facilitate the Retrieval of Multimedia Design Information. 1237-1245
Multimedia II
- T. Pattabhiraman, Nick Cercone: Decision-Theoretic Salience Interactions in Language Generation. 1246-1252
- Yigal Arens, Eduard H. Hovy, Susanne van Mulken: Structure and Rules in Automated Multimedia Presentation Planning. 1253-1261
Non-printed Natural Language Understanding
- Rohini K. Srihari, Charlotte M. Baltus: Incorporating Syntactic Constraints in Recognizing Handwritten Sentences. 1262-1267
- Katashi Nagao, Kôiti Hasida, Takashi Miyata: Understanding Spoken Natural Language with Omni-Directional Information Flow. 1268-1275
Translation
- Hiroaki Kitano: A Comprehensive and Practical Model of Memory-Based Machine Translation. 1276-1282
- Eiichiro Sumita, Kozo Oi, Osamu Furuse, Hitoshi Iida, Tetsuya Higuchi, Naoto Takahashi, Hiroaki Kitano: Example-Based Machine Translation on Massively Parallel Processors. 1283-1289
Understanding I
- Dekai Wu: Approximating Maximum-Entropy Ratings for Evidential Parsing and Semantic Interpretation. 1290-1296
- Chung Hee Hwang, Lenhart K. Schubert: Meeting the Interlocking Needs of LF-Computation Deindexing and Inference: An Organic Approach to General NLU. 1297-1303
Understanding II
- Paolo Terenziani: Integrating Linguistic and Pragmatic Temporal Information in Natural Language Understanding: the case of ``When Sentences''. 1304-1309
- Joachim Quantz: Interpretation as Exception Minimization. 1310-1318
Neural Networks
Neural Networks and Parallel AI
- Mark Craven, Jude W. Shavlik: Learning to Represent Codons: A Challenge Problem for Constructive Induction. 1319-1324
- Matthew P. Evett, William A. Andersen, James A. Hendler: Massively Parallel Support for Efficient Knowledge Representation. 1325-1331
Neural Networks and Reasoning I
- Béchir el Ayeb, Shengrui Wang: Computing Effect-to-Cause/Cause-to-Effect Diagnoses Within NdL. 1332-1338
- Ettore Merlo, Ian McAdam, Renato de Mori: Source Code Informal Information Analysis Using Connectionist Models. 1339-1345
Neural Networks and Reasoning II
- Christian Jacquemin: A Coincidence Detection Network for Spatio-Temporal Coding: Application to Nominal Composition. 1346-1351
- Antje Beringer, Steffen Hölldobler, Franz J. Kurfess: Spatial Reasoning and Connectionist Inference. 1352-1359
Neural Networks and Symbolic AI
- Clayton McMillan, Michael Mozer, Paul Smolensky: Dynamic Conflict Resolution in a Connectionist Rule-Based System. 1366-1373
Planning
Efficiency in Planning
- Eugene Fink, Qiang Yang: Characterizing and Automatically Finding Primary Effects in Planning. 1374-1379
- Subbarao Kambhampati: On the Utility of Systematicity: Understanding Tradeoffs between Redundancy and Commitment in Partial-ordering Planning. 1380-1387
Multilevel Planning
Planning and Action
- Shlomo Zilberstein, Stuart J. Russell: Anytime Sensing Planning and Action: A Practical Model for Robot Control. 1402-1407
Planning and Scheduling
- Monte Zweben, Eugene Davis, Brian Daun, Michael Deale: Informedness vs. Computational Cost of Heuristics in Iterative Repair Scheduling. 1416-1422
- Anup K. Sen, Amitava Bagchi: Non-Order-Preserving Evaluation Functions: Recursive Graph-Search Methods for Job Sequencing Problems. 1423-1429
Planning Complexity
- Bernhard Nebel, Jana Koehler: Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. 1436-1444
Qualitative Reasoning and Naive Physics
Design
Diagnosis I
- Claudia Böttcher, Oskar Dressler: Diagnosis Process Dynamics: Holding the Diagnostic Trackhound in Leash. 1460-1465
- Gerhard Friedrich: Theory Diagnoses: A Concise Characterization of Faulty Systems. 1466-1473
Diagnosis II
- Gautam Biswas, Xudong Yu: A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis. 1474-1479
- Marc Riese: Diagnosis of Communicating Systems: Dealing with Incompleteness and Uncertainty. 1480-1487
Diagnosis III
- Ron Rymon: Goal-Directed Diagnosis-Diagnostic Reasoning in Exploratory-Corrective Domains. 1488-1493
- Luca Console, Gerhard Friedrich, Daniele Theseider Dupré: Model-Based Diagnosis Meets Error Diagnosis in Logic Programs. 1494-1501
Modeling and Symbolic Reasoning
- Thomas R. Gruber, Patrice O. Gautier: Machine-generated Explanations of Engineering Models: A Compositional Modeling Approach. 1502-1508
- Philippe Dague: Symbolic Reasoning with Relative Orders of Magnitude. 1509-1515
Simulation I
- Yumi Iwasaki, Richard Fikes, Marcos Vescovi, B. Chandrasekaran: How Things are Intended to Work: Capturing Functional Knowledge in Device Design. 1516-1522
Simulation II
- Wilfried Grossmann, Hannes Werthner: A Stochastic Approach to Qualitative Simulation using Markov Processes. 1530-1535
Spatial Reasoning
- Antony Galton: Towards an Integrated Logic of Space, Time and Motion. 1550-1557
Spatial Reasoning and Planning
- Franck du Verdier: Solving Geometric Constraint Satisfaction Problems for Spatial Planning. 1564-1572
Robotics and Vision
Active Vision
Homing, Path Planning
- Thierry Fraichard, Christian Laugier: Dynamic Trajectory Planning Path-Velocity Decomposition and Adjacent Paths. 1592-1599
Visual Motion Understanding I
- Yasuo Kuniyoshi, Hirochika Inoue: Qualitative Recognition of Ongoing Human Action Sequences. 1600-1609
- Catherine Pelachaud, Marie-Luce Viaud, Hussein Yahia: Rule-Structured Facial Animation System. 1610-1617
Visual Motion Understanding II
- Jun Miura, Yoshiaki Shirai: An Uncertainty Model of Stereo Vision and its Application to Vision-Motion Planning of Robot. 1618-1623
Visual Navigation, Maps I
- Gregory Dudek, Paul Freedman, Souad Hadjres: Using Local Information in a Non-Local Way for Mapping Graph-Like Worlds. 1639-1647
Visual Navigation, Maps II
- Gregory Dudek, Michael R. M. Jenkin, Evangelos E. Milios, David Wilkes: Map Validation and Self-location in a Graph-like World. 1648-1653
Panels
- Michael J. Black, Yiannis Aloimonos, Christopher M. Brown, Ian Horswill, Jitendra Malik, Giulio Sandini, Michael J. Tarr: Action Representation and Purpose: Re-evaluating the Foundations of Computational Vision. 1661-1666
- Roger C. Schank, Glorianna Davenport, P. Ghislandi, James C. Spohrer, Kathleen Wilson: AI Multimedia and Education. 1667-1672
- John Yen, Piero P. Bonissone, Didier Dubois, Christian Freksa, Ramon López de Mántaras, Enrique H. Ruspini, Lotfi A. Zadeh: Fuzzy Logic and AI. 1673-1676
- Hiroaki Kitano, Walther von Hahn, Lawrence Hunter, Ryuichi Oka, Benjamin W. Wah, Toshio Yokoi: Grand Challenge AI Applications. 1677-1683
- Bonnie L. Webber, Barbara J. Grosz, Shigeoki Hirai, Thomas Rist, Donia Scott: Instructions: Language and Behavior. 1684-1689
- Franz Barachini, Fumio Hattori, Georg Pauthner, Werner Remmele, Gregg T. Vesonder: TELECOM and AI: The Emperors New Clothes? 1690-1692
- Sven J. Dickinson, Robert Bergevin, Irving Biederman, Jan-Olof Eklundh, Roger Munck-Fairwood, Alex Pentland: The Use of Geons for Generic 3D Object Recognition. 1693-1702
Videos
- Tsunehiko Suzuki, Ryuji Kudo, Katsunori Ikami, Kentaro Iida, Takao Terano: QUALTES: A Domain Specific Tool for Electric Power Stations. 1703-1703
- F. Hartmann: Process Control by an Expert System at The Grandpuits Refinery. 1704-1704
- Gen-ichiro Kikui, Mark Seligman, Toshiyuki Takezawa, Masami Suzuki, Kenji Kita, Tsuyoshi Morimoto, Masaaki Nagata, Toshihisa Tashiro, Herbert S. Tropf, Shigeki Sagayama, Jun-ichi Takami, Kazumi Ohkura, Akira Kurematsu: Spoken Language Translation System. 1705-1705
- Rodney S. Daughtrey, David Michael Brady: ALEPS: The Automated Logistics Element Planning System. 1706
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team