Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar13. IJCAI 1993: Chambéry, France
Ruzena Bajcsy:
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
- Gerhard Brewka, Kurt Konolige:
An Abductive Framework for General Logic Programs and other Nonmonotonic Systems. IJCAI 1993: 9-17
Abduction II
Deductive Planning and Theory Approximation
Theorem Proving I
- Masayuki Fujita, John K. Slaney, Frank Bennett:
Automatic Generation of Some Results in Finite Algebra. IJCAI 1993: 52-59
Theorem Proving II
Theorem Proving III
- Ricardo Caferra, Stéphane Demri:
Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5. IJCAI 1993: 74-79 - Andreas Nonnengart:
First-Order Modal Logic Theorem Proving and Functional Simulation. IJCAI 1993: 80-87
Theorem Proving IV
- Adel Bouhoula, Michaël Rusinowitch:
Automatic Case Analysis in Proof by Induction. IJCAI 1993: 88-94
Theorem Proving V
- Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima:
Bottom-up Abduction by Model Generation. IJCAI 1993: 102-108
Theorem Proving VI
Theorem Proving VII
- Antoni Ligeza:
A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems. IJCAI 1993: 132-137 - Alon Y. Levy, Yehoshua Sagiv:
Exploiting Irrelevance Reasoning to Guide Problem Solving. IJCAI 1993: 138-145
Time and Action I
- Ira J. Haimowitz, Isaac S. Kohane:
Automated Trend Detection with Alternate Temporal Hypotheses. IJCAI 1993: 146-151 - Mike Williamson, Steve Hanks:
Exploiting Domain structure to Achieve Efficient Temporal Reasoning. IJCAI 1993: 152-159
Time and Action II
- Christophe Dousson, Paul Gaborit, Malik Ghallab:
Situation Recognition: Representation and Algorithms. IJCAI 1993: 166-174
Cognitive Modeling
Cognitive Modeling I
Cognitive Modeling II
- Kieron O'Hara, Nigel Shadbolt:
AI Models as a Variety of Psychological Explanation. IJCAI 1993: 188-193
Cognitive Modeling III
- Lokendra Shastri:
A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition. IJCAI 1993: 202-207 - Trent E. Lange, Charles M. Wharton:
Dynamic Memories: Analysis of an Integrated Comprehension and Episodic Memory Retrieval Model. IJCAI 1993: 208-216
Constraint Satisfaction Problems
Complexity
- Andreas L. Köll, Hermann Kaindl:
Bidirectional Best-First Search with Bounded Error: Summary of Results. IJCAI 1993: 217-223 - Philippe David:
When Functional and Bijective Constraints Make a CSP Polynomial. IJCAI 1993: 224-231
Consistency
- Richard J. Wallace:
Why AC-3 is Almost Always Better than AC4 for Establishing Arc Consistency in CSPs. IJCAI 1993: 239-247
Constraint Satisfaction Strategies I
- Alexander Reinefeld:
Complete Solution of the Eight-Puzzle and the Benefit of Node Ordering in IDA. IJCAI 1993: 248-253 - Eugene C. Freuder, Paul D. Hubbe:
Using Inferred Disjunctive Constraints To Decompose Constraint Satisfaction Problems. IJCAI 1993: 254-261
Constraint Satisfaction Strategies II
- Kinson Ho, Paul N. Hilfinger, Hans W. Guesgen:
Optimistic Parallel biscrete Relaxation. IJCAI 1993: 268-275
Overdetermination and Interchangeability
- R. R. Bakker, F. Dikker, F. Tempelman, P. M. Wognum:
Diagnosing and Solving Over-Determined Constraint Satisfaction Problems. IJCAI 1993: 276-281 - Alois Haselböck:
Exploiting Interchangeabilities in Constraint-Satisfaction Problems. IJCAI 1993: 282-289
Satisfiability
- Bart Selman, Henry A. Kautz:
Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems. IJCAI 1993: 290-295 - Henri Beringer, Bruno De Backer:
Satisfiability of Boolean Formulas over Linear Constraints. IJCAI 1993: 296-304
Distributed AI
Agent Learning
Analysis of Multi-Agent Systems I
- Anand S. Rao, Michael P. Georgeff:
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems. IJCAI 1993: 318-324
Analysis of Multi-Agent Systems II
- Ursula M. Schwuttke, Alan G. Quan:
Enhancing Performance of Cooperating Agents in Real-Time Diagnostic Systems. IJCAI 1993: 332-337 - Stuart J. Russell, Devika Subramanian, Ronald Parr:
Provably Bounded Optimal Agents. IJCAI 1993: 338-345
Multi-Agent Collaboration I
- Kei Matsubayashi, Mario Tokoro:
A Collaboration Mechanism on Positive Interactions in Multi-agent Environments. IJCAI 1993: 346-351
Multi-Agent Collaboration II
- Keith Decker, Victor R. Lesser:
An Approach to Analyzing the Need for Meta-Level Communication. IJCAI 1993: 360-366
Multi-Agent Epistemology I
- Gerhard Lakemeyer:
All They Know: A Study in Multi-Agent Autoepistemic Reasoning. IJCAI 1993: 376-381
Multi-Agent Epistemology II
- Piotr J. Gmytrasiewicz, Edmund H. Durfee:
Elements of a Utilitarian Theory of Knowledge and Action. IJCAI 1993: 396-403
Multi-Agent Logic Programming
- Martin Henz, Gert Smolka, Jörg Würtz:
Oz - A Programming Language for Multi-Agent Systems. IJCAI 1993: 404-409 - Xianchang Wang, Huowang Chen, Quingping Zhao, Wei Li:
W - A Logic System Based on the Shared Common Knowledge Views. IJCAI 1993: 410-415
Mult-Agent Negotiation I
- Gilad Zlotkin, Jeffrey S. Rosenschein:
A Domain Theory for Task Oriented Negotiation. IJCAI 1993: 416-422 - Eithan Ephrati, Jeffrey S. Rosenschein:
Multi-Agent Planning as a Dynamic Search for Social Consensus. IJCAI 1993: 423-431
Multi-Agent Negotiation II
- Susan E. Lander, Victor R. Lesser:
Understanding the Role of Negotiation in Distributed Search Among Heterogereous Agents. IJCAI 1993: 438-446
Intelligent Tuoring Systems
Intelligent Tuoring Systems I
- Kwok-Keung Yum, Thomas J. Richards:
Classification Networks: A Knowledge Representation Scheme for Curriculum Prescription. IJCAI 1993: 447-452 - Richard Allen, Jeanne Idt, Laurent Trilling:
Constraint Based Automatic Construction and Manipulation of Geometric Figures. IJCAI 1993: 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. IJCAI 1993: 460-466 - Mitsuru Ikeda, Yasuyuki Kono, Riichiro Mizoguchi:
Nonmonotonic Model Inference-A Formalization of Student Modeling. IJCAI 1993: 467-476
Knowledge Base Technology
Knowledge Base Technology I
Knowledge Base Technology II
- Jacques Bouaud:
TREE: the Heuristic Driven Join Strategy of a RETE-Like Matcher. IJCAI 1993: 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. IJCAI 1993: 504-509 - Henrik Eriksson:
Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools. IJCAI 1993: 510-518
Knowledge Representation
Belief Revision I
- Thomas Eiter, Georg Gottlob:
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. IJCAI 1993: 526-533
Belief Revision II
- Simon Dixon, Norman Y. Foo:
Connections Between the ATMS and AGM Belief Revision. IJCAI 1993: 534-539
Contexts
- Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione:
Non-Omniscient Belief as Context-Based Resoning. IJCAI 1993: 548-554
Default Logics I
- Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Statistical Foundations for Default Reasoning. IJCAI 1993: 563-569 - Georg Gottlob:
The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. IJCAI 1993: 570-577
Default Logics II
Evidential Reasoning
- Philippe Smets:
Quantifying Beliefs by Belief Functions: An Axiomatic Justification. IJCAI 1993: 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. IJCAI 1993: 606-612
Reasoning Under Uncertainty II
- Didier Dubois, Henri Prade:
Belief Revision and Updates in Numerical Formalisms: An Overview, with new Results for the Possibilistic Framework. IJCAI 1993: 620-625
Reasoning with Inconsistent or Disjunctive Information
- Thomas Eiter, Georg Gottlob, Yuri Gurevich:
Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information. IJCAI 1993: 634-639 - Salem Benferhat, Claudette Cayrol, Didier Dubois, Jérôme Lang, Henri Prade:
Inconsistency Management and Prioritized Syntax-Based Entailment. IJCAI 1993: 640-647
Temporal Reasoning
- Alfonso Gerevini, Lenhart K. Schubert:
Efficient Temporal Reasoning through Timegraphs. IJCAI 1993: 648-654 - Robert A. Morris, William D. Shoaff, Lina Khatib:
Path Consistency in a Network of Non-Convex Intervals. IJCAI 1993: 655-661
Terminological Logic I
- Lin Padgham, Tingting Zhang:
A Terminological Logic with Defaults: A Definition and an Application. IJCAI 1993: 662-668 - Franz Baader, Bernhard Hollunder:
How to Prefer More Specific Defaults in Terminological Default Logic. IJCAI 1993: 669-675
Terminological Logic II
Terminological Logic III
- Hans Jürgen Ohlbach:
A Multi-Dimensional Terminological Knowledge Representation Language. IJCAI 1993: 690-695
Terminological Logic IV
- Martin Buchheit, Francesco M. Donini, Andrea Schaerf:
Decidable Reasoning in Terminological Knowledge Representation Systems. IJCAI 1993: 704-709 - Robert Dionne, Eric Mays, Frank J. Oles:
The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics. IJCAI 1993: 710-717
Theory of Action I
- G. Neelakantan Kartha:
Soundness and Completeness Theorems for Three Formalizations of Action. IJCAI 1993: 724-731
Theory of Action II
- Alvaro del Val, Yoav Shoham:
Deriving Properties of Belief Update from Theories of Action (II). IJCAI 1993: 732-737 - Erik Sandewall:
The Range of Applicability of Nonmonotonic Logics for the Inertia Problem. IJCAI 1993: 738-746
Invited Speakers
- Hirochika Inoue:
Vision Based Robot Behavior: Tools and Testbeds for Real-World AI Research. IJCAI 1993: 767-773 - Susan J. Lederman:
The Intelligent Hand: An Experimental Approach to Human Object Recognition and Implications for Robotic Design. IJCAI 1993: 774-785 - Nobuyuki Otsu:
Toward Flexible Intelligence: MITI's New Program of Real World Computing. IJCAI 1993: 786-791 - Jeffrey S. Rosenschein:
Consenting Agents: Negotiation Mechanisms for Multi-Agent Systems. IJCAI 1993: 792-799
Awards
- Hiroaki Kitano:
Computers and Thought Award : Challenges of Massive Parallelism. IJCAI 1993: 813-834
VOLUME 2
Logic Programming
Languages for AI
- Pierre Basso:
Conditional Causal Logic: A Formal Theory of the Meaning Generating Processes in a Cognitive System. IJCAI 1993: 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. IJCAI 1993: 852-859
Logic Programming I
- Suryanarayana M. Sripada:
A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases. IJCAI 1993: 860-865 - Chitta Baral, Michael Gelfond:
Representing Concurrent Actions in Extended Logic Programming. IJCAI 1993: 866-873
Logic Programming II
- Patricia M. Hill:
A Parameterised Module System for Constructing Typed Logic Programs. IJCAI 1993: 874-880 - Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto:
Logical Specification of Real-Time Granular Systems in an Object Oriented Language. IJCAI 1993: 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. IJCAI 1993: 902-908 - Hideo Shimazu, Hiroaki Kitano, Akihiro Shibata:
Retrieving Cases from Relational Data-Bases: Another Stride Towards Corporate-Wide Case-Base Systems. IJCAI 1993: 909-915
Combinatorial Problems
Combined Learning Methods
- Sebastian Thrun, Tom M. Mitchell:
Integrating Inductive Neural Network Learning and Explanation-Based Learning. IJCAI 1993: 930-936
Complex Concept Acquisition
- Harish Ragavan, Larry A. Rendell, Michael J. Shaw, Antoinette Tessmer:
Complex Concept Acquisition through Directed Search and Feature Caching. IJCAI 1993: 946-951 - Larry A. Rendell, Harish Ragavan:
Improving the Design of Induction Methods by Analyzing Algorithm Functionality and Data-Based Concept Complexity. IJCAI 1993: 952-959
Genetic Algorithms
- Hitoshi Iba, Tetsuya Higuchi, Hugo de Garis, Taisuke Sato:
Evolutionary Learning Strategy using Bug-Based Search. IJCAI 1993: 960-966
Improving Behavior
- Shaul Markovitch, Yaron Sella:
Learning of Resource Allocation Strategies for Game Playing. IJCAI 1993: 974-979 - Bert Bredeweg, Cis Schut:
Reducing Ambiguity by Learning Assembly Specific Behaviour. IJCAI 1993: 980-987
Induction
- William W. Cohen:
Efficient Pruning Methods for Separate-and-Conquer Rule Learning Systems. IJCAI 1993: 988-994 - Satoshi Kobayashi, Koichi Hori, Setsuo Ohsuga:
Learning Decision Lists over Tree Patterns and Its Application. IJCAI 1993: 995-1001
Induction of Decision Trees
- David G. Heath, Simon Kasif, Steven Salzberg:
Induction of Oblique Decision Trees. IJCAI 1993: 1002-1007
Induction with Continuous Attributes
- Usama M. Fayyad, Keki B. Irani:
Multi-Interval Discretization of Continuous-Valued Attributes for Classification Learning. IJCAI 1993: 1022-1029
Inductive Logic Programming I
- Stephane Lapointe, Charles X. Ling, Stan Matwin:
Constructive Inductive Logic Programming. IJCAI 1993: 1030-1036
Inductive Logic Programming II
- Francesco Bergadano, Daniele Gunetti:
An Interactive System to Learn Functional Logic Programs. IJCAI 1993: 1044-1049 - R. Mike Cameron-Jones, J. Ross Quinlan:
Avoiding Pitfalls When Learning Recursive Theories. IJCAI 1993: 1050-1057
Inductive Logic Programming III
- Kamal M. Ali, Michael J. Pazzani:
HYDRA: A Noise-tolerant Relational Concept Learning Algorithm. IJCAI 1993: 1064-1071
Learning and Statistics
- Anna Bramanti-Gregor, Henry W. Davis:
The Statistical Learning of Accurate Heuristics. IJCAI 1993: 1079-1087
Learning from the Environment
- Wei-Mein Shen:
Learning Finite Automata Using Local Distinguishing Experiments. IJCAI 1993: 1088-1093
Search Control
- Christopher Leckie, Ingrid Zukerman:
An Inductive Approach to Learning Search Control Rules for Planning. IJCAI 1993: 1100-1105 - John M. Zelle, Raymond J. Mooney:
Combining FOIL and EBG to Speed-up Logic Programs. IJCAI 1993: 1106-1113
Sequence Learning and Production
- Joachim Diederich, Markus Wasserschaff:
Recurrent Neural Networks for Sequence Production. IJCAI 1993: 1114-1119
Theory Revision
- James Wogulis, Michael J. Pazzani:
A Methodology for Evaluating Theory Revision Systems: Results with Audrey II. IJCAI 1993: 1128-1134 - Paul T. Baffes, Raymond J. Mooney:
Symbolic Revision of Theories with M-of-N Rules. IJCAI 1993: 1135-1142
Natural Language
Acquisition
- Charles X. Ling, Steven Cherwenka, Marin Marinov:
A Symbolic Model for Learning the Past-Tenses of English Verbs. IJCAI 1993: 1143-1149 - Takehito Utsuro, Yuji Matsumoto, Makoto Nagao:
Verbal Case Frame Acquisition from Bilingual Corpora. IJCAI 1993: 1150-1157
Applications I
- Vibhu O. Mittal, Cécile Paris:
Automatic Documentation Generation: The Rnteraction of Text and Examples. IJCAI 1993: 1158-1163 - Ehud Reiter, Chris Mellish:
Optimizing the Costs and Benefits of Natural Language Generation. IJCAI 1993: 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. IJCAI 1993: 1172-1178 - Andrew Csinger, David Poole:
Hypothetically Speaking Default Reasoning and Discourse-Structure. IJCAI 1993: 1179-1185
Discourse/Dialogue
- Katashi Nagao:
Abduction and Dynamic Preference in Plan-Based Dialogue Understanding. IJCAI 1993: 1186-1192 - Kôiti Hasida, Katashi Nagao, Takashi Miyata:
Joint Utterance: Intrasentential Speaker/Hearer Switch as an Emergent Phenomenon. IJCAI 1993: 1193-1201
Explanation
- Ingrid Zukerman, Richard McConachy:
Generating Concise Discourse that Addresses a Users Inferences. IJCAI 1993: 1202-1207
Linguistic Issues
- Enrico Franconi, Alessandra Giorgi, Fabio Pianesi:
Tense and Aspect: A Mereological Approach. IJCAI 1993: 1222-1229
Multimedia I
- Massimo Zancanaro, Oliviero Stock, Carlo Strapparava:
Dialogue Cohesion Sharing and Adjusting in an Enhanced Multimodal Environment. IJCAI 1993: 1230-1236 - Catherine Baudin, Jody Gevins Underwood, Vinod Baya:
Using Device Models to Facilitate the Retrieval of Multimedia Design Information. IJCAI 1993: 1237-1245
Multimedia II
- T. Pattabhiraman, Nick Cercone:
Decision-Theoretic Salience Interactions in Language Generation. IJCAI 1993: 1246-1252 - Yigal Arens, Eduard H. Hovy, Susanne van Mulken:
Structure and Rules in Automated Multimedia Presentation Planning. IJCAI 1993: 1253-1261
Non-printed Natural Language Understanding
- Rohini K. Srihari, Charlotte M. Baltus:
Incorporating Syntactic Constraints in Recognizing Handwritten Sentences. IJCAI 1993: 1262-1267 - Katashi Nagao, Kôiti Hasida, Takashi Miyata:
Understanding Spoken Natural Language with Omni-Directional Information Flow. IJCAI 1993: 1268-1275
Translation
- Hiroaki Kitano:
A Comprehensive and Practical Model of Memory-Based Machine Translation. IJCAI 1993: 1276-1282 - Eiichiro Sumita, Kozo Oi, Osamu Furuse, Hitoshi Iida, Tetsuya Higuchi, Naoto Takahashi, Hiroaki Kitano:
Example-Based Machine Translation on Massively Parallel Processors. IJCAI 1993: 1283-1289
Understanding I
- Dekai Wu:
Approximating Maximum-Entropy Ratings for Evidential Parsing and Semantic Interpretation. IJCAI 1993: 1290-1296 - Chung Hee Hwang, Lenhart K. Schubert:
Meeting the Interlocking Needs of LF-Computation Deindexing and Inference: An Organic Approach to General NLU. IJCAI 1993: 1297-1303
Understanding II
- Paolo Terenziani:
Integrating Linguistic and Pragmatic Temporal Information in Natural Language Understanding: the case of "When Sentences". IJCAI 1993: 1304-1309
Neural Networks
Neural Networks and Parallel AI
- Mark Craven, Jude W. Shavlik:
Learning to Represent Codons: A Challenge Problem for Constructive Induction. IJCAI 1993: 1319-1324 - Matthew P. Evett, William A. Andersen, James A. Hendler:
Massively Parallel Support for Efficient Knowledge Representation. IJCAI 1993: 1325-1331
Neural Networks and Reasoning I
- Béchir el Ayeb, Shengrui Wang:
Computing Effect-to-Cause/Cause-to-Effect Diagnoses Within NdL. IJCAI 1993: 1332-1338 - Ettore Merlo, Ian McAdam, Renato de Mori:
Source Code Informal Information Analysis Using Connectionist Models. IJCAI 1993: 1339-1345
Neural Networks and Reasoning II
- Christian Jacquemin:
A Coincidence Detection Network for Spatio-Temporal Coding: Application to Nominal Composition. IJCAI 1993: 1346-1351 - Antje Beringer, Steffen Hölldobler, Franz J. Kurfess:
Spatial Reasoning and Connectionist Inference. IJCAI 1993: 1352-1359
Neural Networks and Symbolic AI
- David W. Opitz, Jude W. Shavlik:
Heuristically Expanding Knowledge-Based Neural Networks. IJCAI 1993: 1360-1365 - Clayton McMillan, Michael Mozer, Paul Smolensky:
Dynamic Conflict Resolution in a Connectionist Rule-Based System. IJCAI 1993: 1366-1373
Planning
Efficiency in Planning
- Eugene Fink, Qiang Yang:
Characterizing and Automatically Finding Primary Effects in Planning. IJCAI 1993: 1374-1379 - Subbarao Kambhampati:
On the Utility of Systematicity: Understanding Tradeoffs between Redundancy and Commitment in Partial-ordering Planning. IJCAI 1993: 1380-1387
Multilevel Planning
- Anthony Barrett, Daniel S. Weld:
Characterizing Subgoal Interactions for Planning. IJCAI 1993: 1388-1393 - Gary H. Ogasawara, Stuart J. Russell:
Planning Using Multiple Execution Architectures. IJCAI 1993: 1394-1401
Planning and Action
- Shlomo Zilberstein, Stuart J. Russell:
Anytime Sensing Planning and Action: A Practical Model for Robot Control. IJCAI 1993: 1402-1407 - Mark Drummond, Keith Swanson, John L. Bresina, Richard Levinson:
Reaction-First Search. IJCAI 1993: 1408-1415
Planning and Scheduling
- Monte Zweben, Eugene Davis, Brian Daun, Michael Deale:
Informedness vs. Computational Cost of Heuristics in Iterative Repair Scheduling. IJCAI 1993: 1416-1422 - Anup K. Sen, Amitava Bagchi:
Non-Order-Preserving Evaluation Functions: Recursive Graph-Search Methods for Job Sequencing Problems. IJCAI 1993: 1423-1429
Planning Complexity
- Bernhard Nebel, Jana Koehler:
Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. IJCAI 1993: 1436-1444
Qualitative Reasoning and Naive Physics
Design
Diagnosis I
- Claudia Böttcher, Oskar Dressler:
Diagnosis Process Dynamics: Holding the Diagnostic Trackhound in Leash. IJCAI 1993: 1460-1465 - Gerhard Friedrich:
Theory Diagnoses: A Concise Characterization of Faulty Systems. IJCAI 1993: 1466-1473
Diagnosis II
- Gautam Biswas, Xudong Yu:
A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis. IJCAI 1993: 1474-1479 - Marc Riese:
Diagnosis of Communicating Systems: Dealing with Incompleteness and Uncertainty. IJCAI 1993: 1480-1487
Diagnosis III
- Ron Rymon:
Goal-Directed Diagnosis-Diagnostic Reasoning in Exploratory-Corrective Domains. IJCAI 1993: 1488-1493 - Luca Console, Gerhard Friedrich, Daniele Theseider Dupré:
Model-Based Diagnosis Meets Error Diagnosis in Logic Programs. IJCAI 1993: 1494-1501
Modeling and Symbolic Reasoning
- Thomas R. Gruber, Patrice O. Gautier:
Machine-generated Explanations of Engineering Models: A Compositional Modeling Approach. IJCAI 1993: 1502-1508
Simulation I
- Yumi Iwasaki, Richard Fikes, Marcos Vescovi, B. Chandrasekaran:
How Things are Intended to Work: Capturing Functional Knowledge in Device Design. IJCAI 1993: 1516-1522
Simulation II
- Wilfried Grossmann, Hannes Werthner:
A Stochastic Approach to Qualitative Simulation using Markov Processes. IJCAI 1993: 1530-1535 - Kouamana Bousson, Louise Travé-Massuyès:
Fuzzy Causal Simulation in Process Engineering. IJCAI 1993: 1536-1543
Spatial Reasoning
- Longin Jan Latecki, Ralf Röhrig:
Orientation and Qualitative Angle for Spatial Reasoning. IJCAI 1993: 1544-1549
Spatial Reasoning and Planning
- Franck du Verdier:
Solving Geometric Constraint Satisfaction Problems for Spatial Planning. IJCAI 1993: 1564-1572
Robotics and Vision
Active Vision
- Gareth Funka-Lea, Ruzena Bajcsy:
Active Color Image Analysis for Recognizing Shadows. IJCAI 1993: 1573-1578
Homing, Path Planning
- Thierry Fraichard, Christian Laugier:
Dynamic Trajectory Planning Path-Velocity Decomposition and Adjacent Paths. IJCAI 1993: 1592-1599
Visual Motion Understanding I
- Yasuo Kuniyoshi, Hirochika Inoue:
Qualitative Recognition of Ongoing Human Action Sequences. IJCAI 1993: 1600-1609 - Catherine Pelachaud, Marie-Luce Viaud, Hussein M. Yahia:
Rule-Structured Facial Animation System. IJCAI 1993: 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. IJCAI 1993: 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. IJCAI 1993: 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. IJCAI 1993: 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. IJCAI 1993: 1661-1666 - Roger C. Schank, Glorianna Davenport, P. Ghislandi, James C. Spohrer, Kathleen Wilson:
AI Multimedia and Education. IJCAI 1993: 1667-1672 - John Yen, Piero P. Bonissone, Didier Dubois, Christian Freksa, Ramón López de Mántaras, Enrique H. Ruspini, Lotfi A. Zadeh:
Fuzzy Logic and AI. IJCAI 1993: 1673-1676 - Hiroaki Kitano, Walther von Hahn, Lawrence Hunter, Ryuichi Oka, Benjamin W. Wah, Toshio Yokoi:
Grand Challenge AI Applications. IJCAI 1993: 1677-1683 - Bonnie L. Webber, Barbara J. Grosz, Shigeoki Hirai, Thomas Rist, Donia Scott:
Instructions: Language and Behavior. IJCAI 1993: 1684-1689 - Franz Barachini, Fumio Hattori, Georg Pauthner, Werner Remmele, Gregg T. Vesonder:
TELECOM and AI: The Emperors New Clothes? IJCAI 1993: 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. IJCAI 1993: 1693-1702
Videos
- Tsunehiko Suzuki, Ryuji Kudo, Katsunori Ikami, Kentaro Iida, Takao Terano:
QUALTES: A Domain Specific Tool for Electric Power Stations. IJCAI 1993: 1703 - 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. IJCAI 1993: 1705 - Rodney S. Daughtrey, David Michael Brady:
ALEPS: The Automated Logistics Element Planning System. IJCAI 1993: 1706
maintained by 
at 
at 
last updated on 2018-07-12 22:12 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint