default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th 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
- 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
- Olivier Raiman, Johan de Kleer, Vijay A. Saraswat:
Critical Reasoning. 18-23 - David B. Leake:
Focusing Construction and Selection of Abductive Hypotheses. 24-31
Deductive Planning and Theory Approximation
- Werner Stephan, Susanne Biundo:
A New Logical framework for Deductive Planning. 32-38 - 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
- Adel Bouhoula, Michaël Rusinowitch:
Automatic Case Analysis in Proof by Induction. 88-94 - 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
- David A. Basin, Toby Walsh:
Difference Unification. 116-122 - 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 - Alon Y. Levy, Yehoshua Sagiv:
Exploiting Irrelevance Reasoning to Guide Problem Solving. 138-145
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
- Jörg R. J. Schirra, Eva Stopp:
ANTLIMA - A Listener Model with Mental Images. 175-180 - Edmund Furse, Rod Nicolson:
Perception and Experience in Problem Solving. 181-187
Cognitive Modeling II
- Kieron O'Hara, Nigel Shadbolt:
AI Models as a Variety of Psychological Explanation. 188-193 - 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 - Kinson Ho, Paul N. Hilfinger, Hans W. Guesgen:
Optimistic Parallel biscrete Relaxation. 268-275
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
- Richard Alterman, Roland Zito-Wolf:
Agents Habitats and Routine Behavior. 305-310 - 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 - Stuart J. Russell, Devika Subramanian, Ronald Parr:
Provably Bounded Optimal Agents. 338-345
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 - Barbara J. Grosz, Sarit Kraus:
Collaborative Plans for Group Activities. 367-375
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
- Kurt Konolige, Martha E. Pollack:
A Representationalist Theory of Intention. 390-395 - Piotr J. Gmytrasiewicz, Edmund H. Durfee:
Elements of a Utilitarian Theory of Knowledge and Action. 396-403
Multi-Agent Logic Programming
- Martin Henz, Gert Smolka, Jörg Würtz:
Oz - A Programming Language for Multi-Agent Systems. 404-409 - 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
- Gilad Zlotkin, Jeffrey S. Rosenschein:
A Domain Theory for Task Oriented Negotiation. 416-422 - 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 - Laurence Vignollet, Ruddy Lelouche:
Test Case Generation using KBS Strategy. 483-489
Knowledge Base Technology II
- Yoram Moses, Moshe Tennenholtz:
Off-line Reasoning for On-line Efficiency. 490-495 - 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
- Simon Dixon, Norman Y. Foo:
Connections Between the ATMS and AGM Belief Revision. 534-539 - 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
- J. W. Guan, David A. Bell:
Generalization of the Dempster-Shafer Theory. 592-597 - 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
- Alfonso Gerevini, Lenhart K. Schubert:
Efficient Temporal Reasoning through Timegraphs. 648-654 - 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 - Raad Al-Asady, A. Narayanan:
More Notes on "A Clash of Intuitions". 682-689
Terminological Logic III
- Hans Jürgen Ohlbach:
A Multi-Dimensional Terminological Knowledge Representation Language. 690-695 - Chris Mellish, Ehud Reiter:
Using Classification as a Programming Language. 696-703
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
- Yan Zhang, Norman Y. Foo:
Reasoning About Persistence: A Theory of Actions. 718-723 - 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
- Pat Langley, Wayne Iba:
Average-Case Analysis of a Nearest Neighbor Algorithm. 889-894 - Timothy L. Bailey, Charles Elkan:
Estimating the Accuracy of Learned Concepts. 895-901
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 - Marco Botta, Attilio Giordana:
SMART+: A Multi-Strategy Learning Tool. 937-945
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
- Shaul Markovitch, Yaron Sella:
Learning of Resource Allocation Strategies for Game Playing. 974-979 - Bert Bredeweg, Cis Schut:
Reducing Ambiguity by Learning Assembly Specific Behaviour. 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 - Jean-Gabriel Ganascia:
TDIS : an Algebraic Formalization. IJCAI 1993: 1008-1015
Induction with Continuous Attributes
- Thierry Van de Merckt:
Decision Trees in Numerical Attribute Spaces. IJCAI 1993: 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. IJCAI 1993: 1030-1036 - Luc De Raedt, Nada Lavrac, Saso Dzeroski:
Multiple Predicate Learning. IJCAI 1993: 1037-1043
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
- Luc De Raedt, Maurice Bruynooghe:
A Theory of Clausal Discovery. IJCAI 1993: 1058-1063 - Kamal M. Ali, Michael J. Pazzani:
HYDRA: A Noise-tolerant Relational Concept Learning Algorithm. IJCAI 1993: 1064-1071
Learning and Statistics
- Sholom M. Weiss, Nitin Indurkhya:
Rule-Based Regression. IJCAI 1993: 1072-1078 - 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 - Leslie Pack Kaelbling:
Learning to Achieve Goals. IJCAI 1993: 1094-1099
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 - Philip D. Laird, Ronald Saul:
Sequence Extrapolation. IJCAI 1993: 1120-1127
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 - Daniel D. Suthers:
Preferences for Model Selection in Explanation. IJCAI 1993: 1208-1215
Linguistic Issues
- Paola Merlo:
For an Incremental Computation of Intrasentential Coreference. IJCAI 1993: 1216-1221 - 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 - Joachim Quantz:
Interpretation as Exception Minimization. IJCAI 1993: 1310-1318
Neural Networks
Neural Networks and Parallel AI
- Mark W. 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 Russell:
Planning Using Multiple Execution Architectures. IJCAI 1993: 1394-1401
Planning and Action
- Shlomo Zilberstein, Stuart 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
- Christer Bäckström, Bernhard Nebel:
Complexity Results for SAS+ Planning. IJCAI 1993: 1430-1435 - Bernhard Nebel, Jana Koehler:
Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. IJCAI 1993: 1436-1444
Qualitative Reasoning and Naive Physics
Design
- Prasanta K. Bose, Shankar A. Rajamoney:
Compositional Model-Based Design. IJCAI 1993: 1445-1450 - Boi Faltings, Kun Sun:
Computer-Aided Creative Mechanism Design. IJCAI 1993: 1451-1459
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 - Philippe Dague:
Symbolic Reasoning with Relative Orders of Magnitude. IJCAI 1993: 1509-1515
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 - Roy Leitch, Qiang Shen:
Prioritising Behaviours in Qualitative Simulation. IJCAI 1993: 1523-1529
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 - Antony Galton:
Towards an Integrated Logic of Space, Time and Motion. IJCAI 1993: 1550-1557
Spatial Reasoning and Planning
- Kyungsook Han, Andrew Gelsey:
Qualitative Modeling of RNA Structure. IJCAI 1993: 1558-1563 - 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 - Richard J. Howarth, Hilary Buxton:
Selective Attention in Dynamic Vision. IJCAI 1993: 1579-1585
Homing, Path Planning
- Ronen Basri, Ehud Rivlin:
Homing Using Combinations of Model Views. IJCAI 1993: 1586-1591 - 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 - Cornelia Fermüller, Yiannis Aloimonos:
Recognizing 3-D Motion. IJCAI 1993: 1624-1631
Visual Navigation, Maps I
- Saburo Tsuji, Shigang Li:
Making Cognitive Map of Outdoor Environment. IJCAI 1993: 1632-1638 - 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 - Bruno Crespi, Cesare Furlanello, Luigi Stringa:
Memory-Based Navigation. IJCAI 1993: 1654-1660
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 - F. Hartmann:
Process Control by an Expert System at The Grandpuits Refinery. IJCAI 1993: 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. IJCAI 1993: 1705 - Rodney S. Daughtrey, David Michael Brady:
ALEPS: The Automated Logistics Element Planning System. IJCAI 1993: 1706
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-01 22:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
