Search dblp for Publications

export results for "toc:db/conf/ijcai/ijcai93.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ijcai/Al-AsadyN93,
  author       = {Raad Al{-}Asady and
                  A. Narayanan},
  editor       = {Ruzena Bajcsy},
  title        = {More Notes on "A Clash of Intuitions"},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {682--689},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/096.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:33 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Al-AsadyN93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AliP93,
  author       = {Kamal M. Ali and
                  Michael J. Pazzani},
  editor       = {Ruzena Bajcsy},
  title        = {{HYDRA:} {A} Noise-tolerant Relational Concept Learning Algorithm},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1064--1071},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AliP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AllenIT93,
  author       = {Richard Allen and
                  Jeanne Idt and
                  Laurent Trilling},
  editor       = {Ruzena Bajcsy},
  title        = {Constraint Based Automatic Construction and Manipulation of Geometric
                  Figures},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {453--459},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/064.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AllenIT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AltermanZ93,
  author       = {Richard Alterman and
                  Roland Zito{-}Wolf},
  editor       = {Ruzena Bajcsy},
  title        = {Agents Habitats and Routine Behavior},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {305--310},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/043A.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AltermanZ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AppeltHBIT93,
  author       = {Douglas E. Appelt and
                  Jerry R. Hobbs and
                  John Bear and
                  David J. Israel and
                  Mabry Tyson},
  editor       = {Ruzena Bajcsy},
  title        = {{FASTUS:} {A} Finite-state Processor for Information Extraction from
                  Real-world Text},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1172--1178},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AppeltHBIT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ArensHM93,
  author       = {Yigal Arens and
                  Eduard H. Hovy and
                  Susanne van Mulken},
  editor       = {Ruzena Bajcsy},
  title        = {Structure and Rules in Automated Multimedia Presentation Planning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1253--1261},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ArensHM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AyebW93,
  author       = {B{\'{e}}chir el Ayeb and
                  Shengrui Wang},
  editor       = {Ruzena Bajcsy},
  title        = {Computing Effect-to-Cause/Cause-to-Effect Diagnoses Within NdL},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1332--1338},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AyebW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaaderH93,
  author       = {Franz Baader and
                  Bernhard Hollunder},
  editor       = {Ruzena Bajcsy},
  title        = {How to Prefer More Specific Defaults in Terminological Default Logic},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {669--675},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/094.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BaaderH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BacchusGHK93,
  author       = {Fahiem Bacchus and
                  Adam J. Grove and
                  Joseph Y. Halpern and
                  Daphne Koller},
  editor       = {Ruzena Bajcsy},
  title        = {Statistical Foundations for Default Reasoning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {563--569},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/079.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BacchusGHK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BackstromN93,
  author       = {Christer B{\"{a}}ckstr{\"{o}}m and
                  Bernhard Nebel},
  editor       = {Ruzena Bajcsy},
  title        = {Complexity Results for {SAS+} Planning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1430--1435},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BackstromN93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaffesM93,
  author       = {Paul T. Baffes and
                  Raymond J. Mooney},
  editor       = {Ruzena Bajcsy},
  title        = {Symbolic Revision of Theories with M-of-N Rules},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1135--1142},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BaffesM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaileyE93,
  author       = {Timothy L. Bailey and
                  Charles Elkan},
  editor       = {Ruzena Bajcsy},
  title        = {Estimating the Accuracy of Learned Concepts},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {895--901},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/009.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BaileyE93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BakkerDTW93,
  author       = {R. R. Bakker and
                  F. Dikker and
                  F. Tempelman and
                  P. M. Wognum},
  editor       = {Ruzena Bajcsy},
  title        = {Diagnosing and Solving Over-Determined Constraint Satisfaction Problems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {276--281},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/039.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BakkerDTW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BarachiniHPRV93,
  author       = {Franz Barachini and
                  Fumio Hattori and
                  Georg Pauthner and
                  Werner Remmele and
                  Gregg T. Vesonder},
  editor       = {Ruzena Bajcsy},
  title        = {{TELECOM} and {AI:} The Emperors New Clothes?},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1690--1692},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BarachiniHPRV93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaralG93,
  author       = {Chitta Baral and
                  Michael Gelfond},
  editor       = {Ruzena Bajcsy},
  title        = {Representing Concurrent Actions in Extended Logic Programming},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {866--873},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/005.pdf},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BaralG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BarrettW93,
  author       = {Anthony Barrett and
                  Daniel S. Weld},
  editor       = {Ruzena Bajcsy},
  title        = {Characterizing Subgoal Interactions for Planning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1388--1393},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BarrettW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BasinW93,
  author       = {David A. Basin and
                  Toby Walsh},
  editor       = {Ruzena Bajcsy},
  title        = {Difference Unification},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {116--122},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/017.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BasinW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BasriR93,
  author       = {Ronen Basri and
                  Ehud Rivlin},
  editor       = {Ruzena Bajcsy},
  title        = {Homing Using Combinations of Model Views},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1586--1591},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BasriR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Basso93,
  author       = {Pierre Basso},
  editor       = {Ruzena Bajcsy},
  title        = {Conditional Causal Logic: {A} Formal Theory of the Meaning Generating
                  Processes in a Cognitive System},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {845--851},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/002.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Basso93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaudinUB93,
  author       = {Catherine Baudin and
                  Jody Gevins Underwood and
                  Vinod Baya},
  editor       = {Ruzena Bajcsy},
  title        = {Using Device Models to Facilitate the Retrieval of Multimedia Design
                  Information},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1237--1245},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BaudinUB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BauerBDKP93,
  author       = {Mathias Bauer and
                  Susanne Biundo and
                  Dietmar Dengler and
                  Jana Koehler and
                  Gabriele Paul},
  editor       = {Ruzena Bajcsy},
  title        = {{PHI} - {A} Logic-Based Tool for Intelligent Help Systems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {460--466},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/065.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BauerBDKP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Benda93,
  author       = {Miroslav Benda},
  editor       = {Ruzena Bajcsy},
  title        = {{AI} Adventures Worth Writing Home About},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {747--750},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/105.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Benda93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BenferhatCDLP93,
  author       = {Salem Benferhat and
                  Claudette Cayrol and
                  Didier Dubois and
                  J{\'{e}}r{\^{o}}me Lang and
                  Henri Prade},
  editor       = {Ruzena Bajcsy},
  title        = {Inconsistency Management and Prioritized Syntax-Based Entailment},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {640--647},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/090.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BenferhatCDLP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Benthem93,
  author       = {Johan van Benthem},
  editor       = {Ruzena Bajcsy},
  title        = {The Logic of Cognitive Action},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {810--812},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/113.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Benthem93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BergadanoG93,
  author       = {Francesco Bergadano and
                  Daniele Gunetti},
  editor       = {Ruzena Bajcsy},
  title        = {An Interactive System to Learn Functional Logic Programs},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1044--1049},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BergadanoG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BeringerB93,
  author       = {Henri Beringer and
                  Bruno De Backer},
  editor       = {Ruzena Bajcsy},
  title        = {Satisfiability of Boolean Formulas over Linear Constraints},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {296--304},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/042.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BeringerB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BeringerHK93,
  author       = {Antje Beringer and
                  Steffen H{\"{o}}lldobler and
                  Franz J. Kurfess},
  editor       = {Ruzena Bajcsy},
  title        = {Spatial Reasoning and Connectionist Inference},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1352--1359},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BeringerHK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BiswasY93,
  author       = {Gautam Biswas and
                  Xudong Yu},
  editor       = {Ruzena Bajcsy},
  title        = {A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1474--1479},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BiswasY93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BlackABHMST93,
  author       = {Michael J. Black and
                  Yiannis Aloimonos and
                  Christopher M. Brown and
                  Ian Horswill and
                  Jitendra Malik and
                  Giulio Sandini and
                  Michael J. Tarr},
  editor       = {Ruzena Bajcsy},
  title        = {Action Representation and Purpose: Re-evaluating the Foundations of
                  Computational Vision},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1661--1666},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BlackABHMST93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BoseR93,
  author       = {Prasanta K. Bose and
                  Shankar A. Rajamoney},
  editor       = {Ruzena Bajcsy},
  title        = {Compositional Model-Based Design},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1445--1450},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BoseR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BottaG93,
  author       = {Marco Botta and
                  Attilio Giordana},
  editor       = {Ruzena Bajcsy},
  title        = {{SMART+:} {A} Multi-Strategy Learning Tool},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {937--945},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/015.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BottaG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BottcherD93,
  author       = {Claudia B{\"{o}}ttcher and
                  Oskar Dressler},
  editor       = {Ruzena Bajcsy},
  title        = {Diagnosis Process Dynamics: Holding the Diagnostic Trackhound in Leash},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1460--1465},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BottcherD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bouaud93,
  author       = {Jacques Bouaud},
  editor       = {Ruzena Bajcsy},
  title        = {{TREE:} the Heuristic Driven Join Strategy of a RETE-Like Matcher},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {496--503},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/070.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Bouaud93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BouhoulaR93,
  author       = {Adel Bouhoula and
                  Micha{\"{e}}l Rusinowitch},
  editor       = {Ruzena Bajcsy},
  title        = {Automatic Case Analysis in Proof by Induction},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {88--94},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/013.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BouhoulaR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BoussonT93,
  author       = {Kouamana Bousson and
                  Louise Trav{\'{e}}{-}Massuy{\`{e}}s},
  editor       = {Ruzena Bajcsy},
  title        = {Fuzzy Causal Simulation in Process Engineering},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1536--1543},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BoussonT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Boutilier93,
  author       = {Craig Boutilier},
  editor       = {Ruzena Bajcsy},
  title        = {Revision Sequences and Nested Conditionals},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {519--525},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/073.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Boutilier93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bramanti-GregorD93,
  author       = {Anna Bramanti{-}Gregor and
                  Henry W. Davis},
  editor       = {Ruzena Bajcsy},
  title        = {The Statistical Learning of Accurate Heuristics},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1079--1087},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Bramanti-GregorD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Brass93,
  author       = {Stefan Brass},
  editor       = {Ruzena Bajcsy},
  title        = {On the Semantics of Supernormal Defaults},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {578--583},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/081.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Brass93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BredewegS93,
  author       = {Bert Bredeweg and
                  Cis Schut},
  editor       = {Ruzena Bajcsy},
  title        = {Reducing Ambiguity by Learning Assembly Specific Behaviour},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {980--987},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/021.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BredewegS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BrewkaK93,
  author       = {Gerhard Brewka and
                  Kurt Konolige},
  editor       = {Ruzena Bajcsy},
  title        = {An Abductive Framework for General Logic Programs and other Nonmonotonic
                  Systems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {9--17},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/002.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BrewkaK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BuchheitDS93,
  author       = {Martin Buchheit and
                  Francesco M. Donini and
                  Andrea Schaerf},
  editor       = {Ruzena Bajcsy},
  title        = {Decidable Reasoning in Terminological Knowledge Representation Systems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {704--709},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/099.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BuchheitDS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Burkhard93,
  author       = {Hans{-}Dieter Burkhard},
  editor       = {Ruzena Bajcsy},
  title        = {Liveness and Fairness Properties in Multi-Agent Systems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {325--331},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/046.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Burkhard93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Cadoli93,
  author       = {Marco Cadoli},
  editor       = {Ruzena Bajcsy},
  title        = {Semantical and Computational Aspects of Horn Approximations},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {39--45},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/006.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Cadoli93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CaferraD93,
  author       = {Ricardo Caferra and
                  St{\'{e}}phane Demri},
  editor       = {Ruzena Bajcsy},
  title        = {Cooperation between Direct Method and Translation Method in Non Classical
                  Logics: Some Results in Propositional {S5}},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {74--79},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/011.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/CaferraD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Cameron-JonesQ93,
  author       = {R. Mike Cameron{-}Jones and
                  J. Ross Quinlan},
  editor       = {Ruzena Bajcsy},
  title        = {Avoiding Pitfalls When Learning Recursive Theories},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1050--1057},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Cameron-JonesQ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Cholvy93,
  author       = {Laurence Cholvy},
  editor       = {Ruzena Bajcsy},
  title        = {Proving Theorems in a Multi-Source Environment},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {66--73},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/010.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Cholvy93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CiapessoniCMR93,
  author       = {Emanuele Ciapessoni and
                  Edoardo Corsetti and
                  Manlio Migliorati and
                  Elena Ratto},
  editor       = {Ruzena Bajcsy},
  title        = {Logical Specification of Real-Time Granular Systems in an Object Oriented
                  Language},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {881--888},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/007.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/CiapessoniCMR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Cohen93,
  author       = {William W. Cohen},
  editor       = {Ruzena Bajcsy},
  title        = {Efficient Pruning Methods for Separate-and-Conquer Rule Learning Systems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {988--994},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Cohen93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ConsoleFD93,
  author       = {Luca Console and
                  Gerhard Friedrich and
                  Daniele Theseider Dupr{\'{e}}},
  editor       = {Ruzena Bajcsy},
  title        = {Model-Based Diagnosis Meets Error Diagnosis in Logic Programs},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1494--1501},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ConsoleFD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CravenS93,
  author       = {Mark W. Craven and
                  Jude W. Shavlik},
  editor       = {Ruzena Bajcsy},
  title        = {Learning to Represent Codons: {A} Challenge Problem for Constructive
                  Induction},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1319--1324},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Fri, 16 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/CravenS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CrespiFS93,
  author       = {Bruno Crespi and
                  Cesare Furlanello and
                  Luigi Stringa},
  editor       = {Ruzena Bajcsy},
  title        = {Memory-Based Navigation},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1654--1660},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/CrespiFS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CsingerP93,
  author       = {Andrew Csinger and
                  David Poole},
  editor       = {Ruzena Bajcsy},
  title        = {Hypothetically Speaking Default Reasoning and Discourse-Structure},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1179--1185},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/CsingerP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Dague93,
  author       = {Philippe Dague},
  editor       = {Ruzena Bajcsy},
  title        = {Symbolic Reasoning with Relative Orders of Magnitude},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1509--1515},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Dague93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DaughtreyB93,
  author       = {Rodney S. Daughtrey and
                  David Michael Brady},
  editor       = {Ruzena Bajcsy},
  title        = {{ALEPS:} The Automated Logistics Element Planning System},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1706},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DaughtreyB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/David93,
  author       = {Philippe David},
  editor       = {Ruzena Bajcsy},
  title        = {When Functional and Bijective Constraints Make a {CSP} Polynomial},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {224--231},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/032.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/David93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DeckerL93,
  author       = {Keith Decker and
                  Victor R. Lesser},
  editor       = {Ruzena Bajcsy},
  title        = {An Approach to Analyzing the Need for Meta-Level Communication},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {360--366},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/051.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DeckerL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DickinsonBBEMP93,
  author       = {Sven J. Dickinson and
                  Robert Bergevin and
                  Irving Biederman and
                  Jan{-}Olof Eklundh and
                  Roger Munck{-}Fairwood and
                  Alex Pentland},
  editor       = {Ruzena Bajcsy},
  title        = {The Use of Geons for Generic 3D Object Recognition},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1693--1702},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DickinsonBBEMP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DiederichW93,
  author       = {Joachim Diederich and
                  Markus Wasserschaff},
  editor       = {Ruzena Bajcsy},
  title        = {Recurrent Neural Networks for Sequence Production},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1114--1119},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DiederichW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DionneMO93,
  author       = {Robert Dionne and
                  Eric Mays and
                  Frank J. Oles},
  editor       = {Ruzena Bajcsy},
  title        = {The Equivalence of Model-Theoretic and Structural Subsumption in Description
                  Logics},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {710--717},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/100.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DionneMO93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DixonF93,
  author       = {Simon Dixon and
                  Norman Y. Foo},
  editor       = {Ruzena Bajcsy},
  title        = {Connections Between the {ATMS} and {AGM} Belief Revision},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {534--539},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/075.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DixonF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DoussonGG93,
  author       = {Christophe Dousson and
                  Paul Gaborit and
                  Malik Ghallab},
  editor       = {Ruzena Bajcsy},
  title        = {Situation Recognition: Representation and Algorithms},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {166--174},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/024.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DoussonGG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DrummondSBL93,
  author       = {Mark Drummond and
                  Keith Swanson and
                  John L. Bresina and
                  Richard Levinson},
  editor       = {Ruzena Bajcsy},
  title        = {Reaction-First Search},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1408--1415},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DrummondSBL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DuboisP93,
  author       = {Didier Dubois and
                  Henri Prade},
  editor       = {Ruzena Bajcsy},
  title        = {Belief Revision and Updates in Numerical Formalisms: An Overview,
                  with new Results for the Possibilistic Framework},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {620--625},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/087.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DuboisP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DudekFH93,
  author       = {Gregory Dudek and
                  Paul Freedman and
                  Souad Hadjres},
  editor       = {Ruzena Bajcsy},
  title        = {Using Local Information in a Non-Local Way for Mapping Graph-Like
                  Worlds},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1639--1647},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DudekFH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DudekJMW93,
  author       = {Gregory Dudek and
                  Michael R. M. Jenkin and
                  Evangelos E. Milios and
                  David Wilkes},
  editor       = {Ruzena Bajcsy},
  title        = {Map Validation and Self-location in a Graph-like World},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1648--1653},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DudekJMW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Dung93,
  author       = {Phan Minh Dung},
  editor       = {Ruzena Bajcsy},
  title        = {On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic
                  Reasoning and Logic Programming},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {852--859},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/003.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Dung93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiterG93,
  author       = {Thomas Eiter and
                  Georg Gottlob},
  editor       = {Ruzena Bajcsy},
  title        = {The Complexity of Nested Counterfactuals and Iterated Knowledge Base
                  Revisions},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {526--533},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/074.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/EiterG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiterGG93,
  author       = {Thomas Eiter and
                  Georg Gottlob and
                  Yuri Gurevich},
  editor       = {Ruzena Bajcsy},
  title        = {Curb Your Theory! {A} Circumspective Approach for Inclusive Interpretation
                  of Disjunctive Information},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {634--639},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/089.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/EiterGG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Elliott93,
  author       = {Clark Elliott},
  editor       = {Ruzena Bajcsy},
  title        = {Using the Affective Reasoner to Support Social Simulations},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {194--201},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/028.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Elliott93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ellman93,
  author       = {Thomas Ellman},
  editor       = {Ruzena Bajcsy},
  title        = {Abstraction via Approximate Symmetry},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {916--921},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/012.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Ellman93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EphratiR93,
  author       = {Eithan Ephrati and
                  Jeffrey S. Rosenschein},
  editor       = {Ruzena Bajcsy},
  title        = {Multi-Agent Planning as a Dynamic Search for Social Consensus},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {423--431},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/060.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/EphratiR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Eriksson93,
  author       = {Henrik Eriksson},
  editor       = {Ruzena Bajcsy},
  title        = {Specification and Generation of Custom-Tailored Knowledge-Acquisition
                  Tools},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {510--518},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/072.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Eriksson93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Eshghi93,
  author       = {Kave Eshghi},
  editor       = {Ruzena Bajcsy},
  title        = {A Tractable Class of Abduction Problems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {3--8},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/001.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Eshghi93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EvettAH93,
  author       = {Matthew P. Evett and
                  William A. Andersen and
                  James A. Hendler},
  editor       = {Ruzena Bajcsy},
  title        = {Massively Parallel Support for Efficient Knowledge Representation},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1325--1331},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/EvettAH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FaltingsS93,
  author       = {Boi Faltings and
                  Kun Sun},
  editor       = {Ruzena Bajcsy},
  title        = {Computer-Aided Creative Mechanism Design},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1451--1459},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FaltingsS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FayyadI93,
  author       = {Usama M. Fayyad and
                  Keki B. Irani},
  editor       = {Ruzena Bajcsy},
  title        = {Multi-Interval Discretization of Continuous-Valued Attributes for
                  Classification Learning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1022--1029},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/022.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FayyadI93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FermullerA93,
  author       = {Cornelia Ferm{\"{u}}ller and
                  Yiannis Aloimonos},
  editor       = {Ruzena Bajcsy},
  title        = {Recognizing 3-D Motion},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1624--1631},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FermullerA93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FinkY93,
  author       = {Eugene Fink and
                  Qiang Yang},
  editor       = {Ruzena Bajcsy},
  title        = {Characterizing and Automatically Finding Primary Effects in Planning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1374--1379},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Wed, 11 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/FinkY93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FraichardL93,
  author       = {Thierry Fraichard and
                  Christian Laugier},
  editor       = {Ruzena Bajcsy},
  title        = {Dynamic Trajectory Planning Path-Velocity Decomposition and Adjacent
                  Paths},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1592--1599},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FraichardL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FranconiGP93,
  author       = {Enrico Franconi and
                  Alessandra Giorgi and
                  Fabio Pianesi},
  editor       = {Ruzena Bajcsy},
  title        = {Tense and Aspect: {A} Mereological Approach},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1222--1229},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FranconiGP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FreuderH93,
  author       = {Eugene C. Freuder and
                  Paul D. Hubbe},
  editor       = {Ruzena Bajcsy},
  title        = {Using Inferred Disjunctive Constraints To Decompose Constraint Satisfaction
                  Problems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {254--261},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/036.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FreuderH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Friedrich93,
  author       = {Gerhard Friedrich},
  editor       = {Ruzena Bajcsy},
  title        = {Theory Diagnoses: {A} Concise Characterization of Faulty Systems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1466--1473},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Friedrich93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FujitaSB93,
  author       = {Masayuki Fujita and
                  John K. Slaney and
                  Frank Bennett},
  editor       = {Ruzena Bajcsy},
  title        = {Automatic Generation of Some Results in Finite Algebra},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {52--59},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/008.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FujitaSB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Funka-LeaB93,
  author       = {Gareth Funka{-}Lea and
                  Ruzena Bajcsy},
  editor       = {Ruzena Bajcsy},
  title        = {Active Color Image Analysis for Recognizing Shadows},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1573--1578},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Funka-LeaB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FurseN93,
  author       = {Edmund Furse and
                  Rod Nicolson},
  editor       = {Ruzena Bajcsy},
  title        = {Perception and Experience in Problem Solving},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {181--187},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/026.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FurseN93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Gaines93,
  author       = {Brian R. Gaines},
  editor       = {Ruzena Bajcsy},
  title        = {A Class Library Implementation of a Principled Open Architecture Knowledge
                  Representation Server with Plug-in Data Types},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {504--509},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/071.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Gaines93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Galton93,
  author       = {Antony Galton},
  editor       = {Ruzena Bajcsy},
  title        = {Towards an Integrated Logic of Space, Time and Motion},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1550--1557},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Galton93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ganascia93,
  author       = {Jean{-}Gabriel Ganascia},
  editor       = {Ruzena Bajcsy},
  title        = {{TDIS} : an Algebraic Formalization},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1008--1015},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Ganascia93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Gasser93,
  author       = {Les Gasser},
  editor       = {Ruzena Bajcsy},
  title        = {Social Knowledge and Social Action: Heterogeneity in Practice},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {751--757},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/106.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Gasser93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GereviniS93,
  author       = {Alfonso Gerevini and
                  Lenhart K. Schubert},
  editor       = {Ruzena Bajcsy},
  title        = {Efficient Temporal Reasoning through Timegraphs},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {648--654},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/091.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GereviniS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiunchigliaSGF93,
  author       = {Fausto Giunchiglia and
                  Luciano Serafini and
                  Enrico Giunchiglia and
                  Marcello Frixione},
  editor       = {Ruzena Bajcsy},
  title        = {Non-Omniscient Belief as Context-Based Resoning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {548--554},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/077.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GiunchigliaSGF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GmytrasiewiczD93,
  author       = {Piotr J. Gmytrasiewicz and
                  Edmund H. Durfee},
  editor       = {Ruzena Bajcsy},
  title        = {Elements of a Utilitarian Theory of Knowledge and Action},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {396--403},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/056.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GmytrasiewiczD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Gottlob93,
  author       = {Georg Gottlob},
  editor       = {Ruzena Bajcsy},
  title        = {The Power of Beliefs or Translating Default Logic into Standard Autoepistemic
                  Logic},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {570--577},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/080.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Gottlob93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrossmannW93,
  author       = {Wilfried Grossmann and
                  Hannes Werthner},
  editor       = {Ruzena Bajcsy},
  title        = {A Stochastic Approach to Qualitative Simulation using Markov Processes},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1530--1535},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GrossmannW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GroszK93,
  author       = {Barbara J. Grosz and
                  Sarit Kraus},
  editor       = {Ruzena Bajcsy},
  title        = {Collaborative Plans for Group Activities},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {367--375},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/052.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GroszK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GruberG93,
  author       = {Thomas R. Gruber and
                  Patrice O. Gautier},
  editor       = {Ruzena Bajcsy},
  title        = {Machine-generated Explanations of Engineering Models: {A} Compositional
                  Modeling Approach},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1502--1508},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GruberG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GuanB93,
  author       = {J. W. Guan and
                  David A. Bell},
  editor       = {Ruzena Bajcsy},
  title        = {Generalization of the Dempster-Shafer Theory},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {592--597},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/083.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GuanB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HaimowitzK93,
  author       = {Ira J. Haimowitz and
                  Isaac S. Kohane},
  editor       = {Ruzena Bajcsy},
  title        = {Automated Trend Detection with Alternate Temporal Hypotheses},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {146--151},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/021.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HaimowitzK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HanG93,
  author       = {Kyungsook Han and
                  Andrew Gelsey},
  editor       = {Ruzena Bajcsy},
  title        = {Qualitative Modeling of {RNA} Structure},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1558--1563},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HanG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hartmann93,
  author       = {F. Hartmann},
  editor       = {Ruzena Bajcsy},
  title        = {Process Control by an Expert System at The Grandpuits Refinery},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1704},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 19 Jul 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Hartmann93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Haselbock93,
  author       = {Alois Haselb{\"{o}}ck},
  editor       = {Ruzena Bajcsy},
  title        = {Exploiting Interchangeabilities in Constraint-Satisfaction Problems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {282--289},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/040.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Haselbock93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HasidaNM93,
  author       = {K{\^{o}}iti Hasida and
                  Katashi Nagao and
                  Takashi Miyata},
  editor       = {Ruzena Bajcsy},
  title        = {Joint Utterance: Intrasentential Speaker/Hearer Switch as an Emergent
                  Phenomenon},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1193--1201},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HasidaNM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Havel93,
  author       = {Ivan M. Havel},
  editor       = {Ruzena Bajcsy},
  title        = {Artificial Thought and Emergent Mind},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {758--766},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/107.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Havel93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HeathKS93,
  author       = {David G. Heath and
                  Simon Kasif and
                  Steven Salzberg},
  editor       = {Ruzena Bajcsy},
  title        = {Induction of Oblique Decision Trees},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1002--1007},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HeathKS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HenzSW93,
  author       = {Martin Henz and
                  Gert Smolka and
                  J{\"{o}}rg W{\"{u}}rtz},
  editor       = {Ruzena Bajcsy},
  title        = {Oz - {A} Programming Language for Multi-Agent Systems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {404--409},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/057.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HenzSW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hill93,
  author       = {Patricia M. Hill},
  editor       = {Ruzena Bajcsy},
  title        = {A Parameterised Module System for Constructing Typed Logic Programs},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {874--880},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/006.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Hill93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HoHG93,
  author       = {Kinson Ho and
                  Paul N. Hilfinger and
                  Hans W. Guesgen},
  editor       = {Ruzena Bajcsy},
  title        = {Optimistic Parallel biscrete Relaxation},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {268--275},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/038.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HoHG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HowarthB93,
  author       = {Richard J. Howarth and
                  Hilary Buxton},
  editor       = {Ruzena Bajcsy},
  title        = {Selective Attention in Dynamic Vision},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1579--1585},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HowarthB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HwangS93,
  author       = {Chung Hee Hwang and
                  Lenhart K. Schubert},
  editor       = {Ruzena Bajcsy},
  title        = {Meeting the Interlocking Needs of LF-Computation Deindexing and Inference:
                  An Organic Approach to General {NLU}},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1297--1303},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HwangS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/IbaHGS93,
  author       = {Hitoshi Iba and
                  Tetsuya Higuchi and
                  Hugo de Garis and
                  Taisuke Sato},
  editor       = {Ruzena Bajcsy},
  title        = {Evolutionary Learning Strategy using Bug-Based Search},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {960--966},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/018.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/IbaHGS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/IkedaKM93,
  author       = {Mitsuru Ikeda and
                  Yasuyuki Kono and
                  Riichiro Mizoguchi},
  editor       = {Ruzena Bajcsy},
  title        = {Nonmonotonic Model Inference-A Formalization of Student Modeling},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {467--476},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/066.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/IkedaKM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Inoue93,
  author       = {Hirochika Inoue},
  editor       = {Ruzena Bajcsy},
  title        = {Vision Based Robot Behavior: Tools and Testbeds for Real-World {AI}
                  Research},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {767--773},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/108.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Inoue93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/InoueOHN93,
  author       = {Katsumi Inoue and
                  Yoshihiko Ohta and
                  Ryuzo Hasegawa and
                  Makoto Nakashima},
  editor       = {Ruzena Bajcsy},
  title        = {Bottom-up Abduction by Model Generation},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {102--108},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/015.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/InoueOHN93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/IwasakiFVC93,
  author       = {Yumi Iwasaki and
                  Richard Fikes and
                  Marcos Vescovi and
                  B. Chandrasekaran},
  editor       = {Ruzena Bajcsy},
  title        = {How Things are Intended to Work: Capturing Functional Knowledge in
                  Device Design},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1516--1522},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Fri, 19 Feb 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/IwasakiFVC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Jacquemin93,
  author       = {Christian Jacquemin},
  editor       = {Ruzena Bajcsy},
  title        = {A Coincidence Detection Network for Spatio-Temporal Coding: Application
                  to Nominal Composition},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1346--1351},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Jacquemin93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kaelbling93,
  author       = {Leslie Pack Kaelbling},
  editor       = {Ruzena Bajcsy},
  title        = {Learning to Achieve Goals},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1094--1099},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Kaelbling93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kambhampati93,
  author       = {Subbarao Kambhampati},
  editor       = {Ruzena Bajcsy},
  title        = {On the Utility of Systematicity: Understanding Tradeoffs between Redundancy
                  and Commitment in Partial-ordering Planning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1380--1387},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Kambhampati93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kartha93,
  author       = {G. Neelakantan Kartha},
  editor       = {Ruzena Bajcsy},
  title        = {Soundness and Completeness Theorems for Three Formalizations of Action},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {724--731},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/102.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Kartha93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KikuiSTSKMNTTSTOK93,
  author       = {Gen{-}ichiro Kikui and
                  Mark Seligman and
                  Toshiyuki Takezawa and
                  Masami Suzuki and
                  Kenji Kita and
                  Tsuyoshi Morimoto and
                  Masaaki Nagata and
                  Toshihisa Tashiro and
                  Herbert S. Tropf and
                  Shigeki Sagayama and
                  Jun{-}ichi Takami and
                  Kazumi Ohkura and
                  Akira Kurematsu},
  editor       = {Ruzena Bajcsy},
  title        = {Spoken Language Translation System},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1705},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 19 Jul 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KikuiSTSKMNTTSTOK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kitano93,
  author       = {Hiroaki Kitano},
  editor       = {Ruzena Bajcsy},
  title        = {Computers and Thought Award : Challenges of Massive Parallelism},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {813--834},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/114.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Kitano93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kitano93a,
  author       = {Hiroaki Kitano},
  editor       = {Ruzena Bajcsy},
  title        = {A Comprehensive and Practical Model of Memory-Based Machine Translation},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1276--1282},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Kitano93a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KitanoHHOWY93,
  author       = {Hiroaki Kitano and
                  Walther von Hahn and
                  Lawrence Hunter and
                  Ryuichi Oka and
                  Benjamin W. Wah and
                  Toshio Yokoi},
  editor       = {Ruzena Bajcsy},
  title        = {Grand Challenge {AI} Applications},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1677--1683},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KitanoHHOWY93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Knight93,
  author       = {Kevin Knight},
  editor       = {Ruzena Bajcsy},
  title        = {Are Many Reactive Agents Better Than a Few Deliberative Ones?},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {432--437},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/061.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Knight93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KobayashiHO93,
  author       = {Satoshi Kobayashi and
                  Koichi Hori and
                  Setsuo Ohsuga},
  editor       = {Ruzena Bajcsy},
  title        = {Learning Decision Lists over Tree Patterns and Its Application},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {995--1001},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KobayashiHO93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KollK93,
  author       = {Andreas L. K{\"{o}}ll and
                  Hermann Kaindl},
  editor       = {Ruzena Bajcsy},
  title        = {Bidirectional Best-First Search with Bounded Error: Summary of Results},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {217--223},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/031.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KollK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KonoligeP93,
  author       = {Kurt Konolige and
                  Martha E. Pollack},
  editor       = {Ruzena Bajcsy},
  title        = {A Representationalist Theory of Intention},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {390--395},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/055.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KonoligeP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KuniyoshiI93,
  author       = {Yasuo Kuniyoshi and
                  Hirochika Inoue},
  editor       = {Ruzena Bajcsy},
  title        = {Qualitative Recognition of Ongoing Human Action Sequences},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1600--1609},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KuniyoshiI93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LairdS93,
  author       = {Philip D. Laird and
                  Ronald Saul},
  editor       = {Ruzena Bajcsy},
  title        = {Sequence Extrapolation},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1120--1127},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LairdS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lakemeyer93,
  author       = {Gerhard Lakemeyer},
  editor       = {Ruzena Bajcsy},
  title        = {All They Know: {A} Study in Multi-Agent Autoepistemic Reasoning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {376--381},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/053.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Lakemeyer93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LanderL93,
  author       = {Susan E. Lander and
                  Victor R. Lesser},
  editor       = {Ruzena Bajcsy},
  title        = {Understanding the Role of Negotiation in Distributed Search Among
                  Heterogereous Agents},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {438--446},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/062.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LanderL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LangeW93,
  author       = {Trent E. Lange and
                  Charles M. Wharton},
  editor       = {Ruzena Bajcsy},
  title        = {Dynamic Memories: Analysis of an Integrated Comprehension and Episodic
                  Memory Retrieval Model},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {208--216},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/030.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LangeW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LangleyI93,
  author       = {Pat Langley and
                  Wayne Iba},
  editor       = {Ruzena Bajcsy},
  title        = {Average-Case Analysis of a Nearest Neighbor Algorithm},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {889--894},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/008.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LangleyI93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LapointeLM93,
  author       = {Stephane Lapointe and
                  Charles X. Ling and
                  Stan Matwin},
  editor       = {Ruzena Bajcsy},
  title        = {Constructive Inductive Logic Programming},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1030--1036},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LapointeLM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LateckiR93,
  author       = {Longin Jan Latecki and
                  Ralf R{\"{o}}hrig},
  editor       = {Ruzena Bajcsy},
  title        = {Orientation and Qualitative Angle for Spatial Reasoning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1544--1549},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LateckiR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Leake93,
  author       = {David B. Leake},
  editor       = {Ruzena Bajcsy},
  title        = {Focusing Construction and Selection of Abductive Hypotheses},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {24--31},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/004.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Leake93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeckieZ93,
  author       = {Christopher Leckie and
                  Ingrid Zukerman},
  editor       = {Ruzena Bajcsy},
  title        = {An Inductive Approach to Learning Search Control Rules for Planning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1100--1105},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LeckieZ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lederman93,
  author       = {Susan J. Lederman},
  editor       = {Ruzena Bajcsy},
  title        = {The Intelligent Hand: An Experimental Approach to Human Object Recognition
                  and Implications for Robotic Design},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {774--785},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/109.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Lederman93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeitchS93,
  author       = {Roy Leitch and
                  Qiang Shen},
  editor       = {Ruzena Bajcsy},
  title        = {Prioritising Behaviours in Qualitative Simulation},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1523--1529},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LeitchS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Letz93,
  author       = {Reinhold Letz},
  editor       = {Ruzena Bajcsy},
  title        = {On the Polynomial Transparency of Resolution},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {123--131},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/018.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Letz93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LevyS93,
  author       = {Alon Y. Levy and
                  Yehoshua Sagiv},
  editor       = {Ruzena Bajcsy},
  title        = {Exploiting Irrelevance Reasoning to Guide Problem Solving},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {138--145},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/020.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LevyS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lhomme93,
  author       = {Olivier Lhomme},
  editor       = {Ruzena Bajcsy},
  title        = {Consistency Techniques for Numeric CSPs},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {232--238},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/033.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Lhomme93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ligeza93,
  author       = {Antoni Ligeza},
  editor       = {Ruzena Bajcsy},
  title        = {A Note on Backward Dual Resolution and Its Application to Proving
                  Completeness of Rule-Based Systems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {132--137},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/019.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Ligeza93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LingCM93,
  author       = {Charles X. Ling and
                  Steven Cherwenka and
                  Marin Marinov},
  editor       = {Ruzena Bajcsy},
  title        = {A Symbolic Model for Learning the Past-Tenses of English Verbs},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1143--1149},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LingCM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MarkovitchS93,
  author       = {Shaul Markovitch and
                  Yaron Sella},
  editor       = {Ruzena Bajcsy},
  title        = {Learning of Resource Allocation Strategies for Game Playing},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {974--979},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/020.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MarkovitchS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MatsubayashiT93,
  author       = {Kei Matsubayashi and
                  Mario Tokoro},
  editor       = {Ruzena Bajcsy},
  title        = {A Collaboration Mechanism on Positive Interactions in Multi-agent
                  Environments},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {346--351},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/049.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MatsubayashiT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McCarthy93,
  author       = {John McCarthy},
  editor       = {Ruzena Bajcsy},
  title        = {Notes on Formalizing Context},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {555--562},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://www-formal.stanford.edu/jmc/context3/context3.html},
  timestamp    = {Fri, 14 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/McCarthy93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McMillanMS93,
  author       = {Clayton McMillan and
                  Michael Mozer and
                  Paul Smolensky},
  editor       = {Ruzena Bajcsy},
  title        = {Dynamic Conflict Resolution in a Connectionist Rule-Based System},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1366--1373},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/McMillanMS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MellishR93,
  author       = {Chris Mellish and
                  Ehud Reiter},
  editor       = {Ruzena Bajcsy},
  title        = {Using Classification as a Programming Language},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {696--703},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/098.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MellishR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MeloMD93,
  author       = {Ettore Merlo and
                  Ian McAdam and
                  Renato de Mori},
  editor       = {Ruzena Bajcsy},
  title        = {Source Code Informal Information Analysis Using Connectionist Models},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1339--1345},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MeloMD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Merckt93,
  author       = {Thierry Van de Merckt},
  editor       = {Ruzena Bajcsy},
  title        = {Decision Trees in Numerical Attribute Spaces},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1016--1021},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Merckt93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Merlo93,
  author       = {Paola Merlo},
  editor       = {Ruzena Bajcsy},
  title        = {For an Incremental Computation of Intrasentential Coreference},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1216--1221},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Merlo93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Meseguer93,
  author       = {Pedro Meseguer},
  editor       = {Ruzena Bajcsy},
  title        = {Expert System Validation through Knowledge Base Refinement},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {477--482},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/067.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Meseguer93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Minton93,
  author       = {Steven Minton},
  editor       = {Ruzena Bajcsy},
  title        = {An Analytic Learning System for Specializing Heuristics},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {922--929},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/013.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Minton93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MittalP93,
  author       = {Vibhu O. Mittal and
                  C{\'{e}}cile Paris},
  editor       = {Ruzena Bajcsy},
  title        = {Automatic Documentation Generation: The Rnteraction of Text and Examples},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1158--1163},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MittalP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MiuraS93,
  author       = {Jun Miura and
                  Yoshiaki Shirai},
  editor       = {Ruzena Bajcsy},
  title        = {An Uncertainty Model of Stereo Vision and its Application to Vision-Motion
                  Planning of Robot},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1618--1623},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MiuraS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MorrisSK93,
  author       = {Robert A. Morris and
                  William D. Shoaff and
                  Lina Khatib},
  editor       = {Ruzena Bajcsy},
  title        = {Path Consistency in a Network of Non-Convex Intervals},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {655--661},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/092.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MorrisSK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MosesT93,
  author       = {Yoram Moses and
                  Moshe Tennenholtz},
  editor       = {Ruzena Bajcsy},
  title        = {Off-line Reasoning for On-line Efficiency},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {490--495},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/069.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MosesT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Nagao93,
  author       = {Katashi Nagao},
  editor       = {Ruzena Bajcsy},
  title        = {Abduction and Dynamic Preference in Plan-Based Dialogue Understanding},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1186--1192},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Nagao93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NagaoHM93,
  author       = {Katashi Nagao and
                  K{\^{o}}iti Hasida and
                  Takashi Miyata},
  editor       = {Ruzena Bajcsy},
  title        = {Understanding Spoken Natural Language with Omni-Directional Information
                  Flow},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1268--1275},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/NagaoHM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NebelK93,
  author       = {Bernhard Nebel and
                  Jana Koehler},
  editor       = {Ruzena Bajcsy},
  title        = {Plan Modification versus Plan Generation: {A} Complexity-Theoretic
                  Perspective},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1436--1444},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/NebelK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ngair93,
  author       = {Teow{-}Hin Ngair},
  editor       = {Ruzena Bajcsy},
  title        = {A New Algorithm for Incremental Prime Implicate Generation},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {46--51},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/007.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Ngair93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Nonnengart93,
  author       = {Andreas Nonnengart},
  editor       = {Ruzena Bajcsy},
  title        = {First-Order Modal Logic Theorem Proving and Functional Simulation},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {80--87},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/012.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Nonnengart93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OHaraS93,
  author       = {Kieron O'Hara and
                  Nigel Shadbolt},
  editor       = {Ruzena Bajcsy},
  title        = {{AI} Models as a Variety of Psychological Explanation},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {188--193},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/027.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/OHaraS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OgasawaraR93,
  author       = {Gary H. Ogasawara and
                  Stuart Russell},
  editor       = {Ruzena Bajcsy},
  title        = {Planning Using Multiple Execution Architectures},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1394--1401},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/OgasawaraR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ohlbach93,
  author       = {Hans J{\"{u}}rgen Ohlbach},
  editor       = {Ruzena Bajcsy},
  title        = {A Multi-Dimensional Terminological Knowledge Representation Language},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {690--695},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/097.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Ohlbach93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OpitzS93,
  author       = {David W. Opitz and
                  Jude W. Shavlik},
  editor       = {Ruzena Bajcsy},
  title        = {Heuristically Expanding Knowledge-Based Neural Networks},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1360--1365},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/OpitzS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Osawa93,
  author       = {Eiichi Osawa},
  editor       = {Ruzena Bajcsy},
  title        = {A Scheme for Agent Collaboration in Open Multiagent Environments},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {352--359},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/050.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Osawa93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Otsu93,
  author       = {Nobuyuki Otsu},
  editor       = {Ruzena Bajcsy},
  title        = {Toward Flexible Intelligence: MITI's New Program of Real World Computing},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {786--791},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/110.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Otsu93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PadghamZ93,
  author       = {Lin Padgham and
                  Tingting Zhang},
  editor       = {Ruzena Bajcsy},
  title        = {A Terminological Logic with Defaults: {A} Definition and an Application},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {662--668},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/093.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/PadghamZ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Paredis93,
  author       = {Jan Paredis},
  editor       = {Ruzena Bajcsy},
  title        = {Genetic State-Space Search for Constrained Optimization Problems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {967--973},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/019.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Paredis93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PattabhiramanC93,
  author       = {T. Pattabhiraman and
                  Nick Cercone},
  editor       = {Ruzena Bajcsy},
  title        = {Decision-Theoretic Salience Interactions in Language Generation},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1246--1252},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/PattabhiramanC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PelachaudVY93,
  author       = {Catherine Pelachaud and
                  Marie{-}Luce Viaud and
                  Hussein M. Yahia},
  editor       = {Ruzena Bajcsy},
  title        = {Rule-Structured Facial Animation System},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1610--1617},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Mon, 23 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/PelachaudVY93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Poole93,
  author       = {David Poole},
  editor       = {Ruzena Bajcsy},
  title        = {Average-Case Analysis of a Search Algorithm for Estimating Prior and
                  Posterior Probabilities in Bayesian Networks with Extreme Probabilities},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {606--612},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/085.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Poole93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Prosser93,
  author       = {Patrick Prosser},
  editor       = {Ruzena Bajcsy},
  title        = {Domain Filtering can Degrade Intelligent Backtracking Search},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {262--267},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/037.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Prosser93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Quantz93,
  author       = {Joachim Quantz},
  editor       = {Ruzena Bajcsy},
  title        = {Interpretation as Exception Minimization},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1310--1318},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Quantz93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RaedtB93,
  author       = {Luc De Raedt and
                  Maurice Bruynooghe},
  editor       = {Ruzena Bajcsy},
  title        = {A Theory of Clausal Discovery},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1058--1063},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/RaedtB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RaedtLD93,
  author       = {Luc De Raedt and
                  Nada Lavrac and
                  Saso Dzeroski},
  editor       = {Ruzena Bajcsy},
  title        = {Multiple Predicate Learning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1037--1043},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/RaedtLD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RagavanRST93,
  author       = {Harish Ragavan and
                  Larry A. Rendell and
                  Michael J. Shaw and
                  Antoinette Tessmer},
  editor       = {Ruzena Bajcsy},
  title        = {Complex Concept Acquisition through Directed Search and Feature Caching},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {946--951},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/016.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/RagavanRST93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RaimanKS93,
  author       = {Olivier Raiman and
                  Johan de Kleer and
                  Vijay A. Saraswat},
  editor       = {Ruzena Bajcsy},
  title        = {Critical Reasoning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {18--23},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/003.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/RaimanKS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RaoG93,
  author       = {Anand S. Rao and
                  Michael P. Georgeff},
  editor       = {Ruzena Bajcsy},
  title        = {A Model-Theoretic Approach to the Verification of Situated Reasoning
                  Systems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {318--324},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/045.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/RaoG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Reinefeld93,
  author       = {Alexander Reinefeld},
  editor       = {Ruzena Bajcsy},
  title        = {Complete Solution of the Eight-Puzzle and the Benefit of Node Ordering
                  in {IDA}},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {248--253},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/035.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Reinefeld93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ReiterM93,
  author       = {Ehud Reiter and
                  Chris Mellish},
  editor       = {Ruzena Bajcsy},
  title        = {Optimizing the Costs and Benefits of Natural Language Generation},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1164--1171},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ReiterM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RendellR93,
  author       = {Larry A. Rendell and
                  Harish Ragavan},
  editor       = {Ruzena Bajcsy},
  title        = {Improving the Design of Induction Methods by Analyzing Algorithm Functionality
                  and Data-Based Concept Complexity},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {952--959},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/017.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/RendellR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Riese93,
  author       = {Marc Riese},
  editor       = {Ruzena Bajcsy},
  title        = {Diagnosis of Communicating Systems: Dealing with Incompleteness and
                  Uncertainty},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1480--1487},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Riese93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RisslandSF93,
  author       = {Edwina L. Rissland and
                  David B. Skalak and
                  M. Timur Friedman},
  editor       = {Ruzena Bajcsy},
  title        = {Case Retrieval through Multiple Indexing and Heuristic Search},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {902--908},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/010.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/RisslandSF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Rosenschein93,
  author       = {Jeffrey S. Rosenschein},
  editor       = {Ruzena Bajcsy},
  title        = {Consenting Agents: Negotiation Mechanisms for Multi-Agent Systems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {792--799},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/111.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Rosenschein93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Roth93,
  author       = {Dan Roth},
  editor       = {Ruzena Bajcsy},
  title        = {On the Hardness of Approximate Reasoning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {613--619},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/086.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Roth93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RussellSP93,
  author       = {Stuart J. Russell and
                  Devika Subramanian and
                  Ronald Parr},
  editor       = {Ruzena Bajcsy},
  title        = {Provably Bounded Optimal Agents},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {338--345},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/048.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/RussellSP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Rymon93,
  author       = {Ron Rymon},
  editor       = {Ruzena Bajcsy},
  title        = {Goal-Directed Diagnosis-Diagnostic Reasoning in Exploratory-Corrective
                  Domains},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1488--1493},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Rymon93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Sandewall93,
  author       = {Erik Sandewall},
  editor       = {Ruzena Bajcsy},
  title        = {The Range of Applicability of Nonmonotonic Logics for the Inertia
                  Problem},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {738--746},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/104.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Sandewall93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchankDGSW93,
  author       = {Roger C. Schank and
                  Glorianna Davenport and
                  P. Ghislandi and
                  James C. Spohrer and
                  Kathleen Wilson},
  editor       = {Ruzena Bajcsy},
  title        = {{AI} Multimedia and Education},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1667--1672},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SchankDGSW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchirraS93,
  author       = {J{\"{o}}rg R. J. Schirra and
                  Eva Stopp},
  editor       = {Ruzena Bajcsy},
  title        = {{ANTLIMA} - {A} Listener Model with Mental Images},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {175--180},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/025.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SchirraS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchwuttkeQ93,
  author       = {Ursula M. Schwuttke and
                  Alan G. Quan},
  editor       = {Ruzena Bajcsy},
  title        = {Enhancing Performance of Cooperating Agents in Real-Time Diagnostic
                  Systems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {332--337},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/047.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SchwuttkeQ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SelmanK93,
  author       = {Bart Selman and
                  Henry A. Kautz},
  editor       = {Ruzena Bajcsy},
  title        = {Domain-Independent Extensions to {GSAT:} Solving Large Structured
                  Satisfiability Problems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {290--295},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/041.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SelmanK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SenB93,
  author       = {Anup K. Sen and
                  Amitava Bagchi},
  editor       = {Ruzena Bajcsy},
  title        = {Non-Order-Preserving Evaluation Functions: Recursive Graph-Search
                  Methods for Job Sequencing Problems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1423--1429},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SenB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Shanahan93,
  author       = {Murray Shanahan},
  editor       = {Ruzena Bajcsy},
  title        = {Explanation in the Situation Calculus},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {160--165},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/023.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Shanahan93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Shastri93,
  author       = {Lokendra Shastri},
  editor       = {Ruzena Bajcsy},
  title        = {A Computational Model of Tractable Reasoning - Taking Inspiration
                  from Cognition},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {202--207},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/029.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Shastri93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Shen93,
  author       = {Wei{-}Mein Shen},
  editor       = {Ruzena Bajcsy},
  title        = {Learning Finite Automata Using Local Distinguishing Experiments},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1088--1093},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Shen93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ShimazuKS93,
  author       = {Hideo Shimazu and
                  Hiroaki Kitano and
                  Akihiro Shibata},
  editor       = {Ruzena Bajcsy},
  title        = {Retrieving Cases from Relational Data-Bases: Another Stride Towards
                  Corporate-Wide Case-Base Systems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {909--915},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/011.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ShimazuKS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Slaney93,
  author       = {John K. Slaney},
  editor       = {Ruzena Bajcsy},
  title        = {{SCOTT:} {A} Model-Guided Theorem Prover},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {109--115},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/016.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Slaney93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Smets93,
  author       = {Philippe Smets},
  editor       = {Ruzena Bajcsy},
  title        = {Quantifying Beliefs by Belief Functions: An Axiomatic Justification},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {598--605},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/084.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Smets93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SrihariB93,
  author       = {Rohini K. Srihari and
                  Charlotte M. Baltus},
  editor       = {Ruzena Bajcsy},
  title        = {Incorporating Syntactic Constraints in Recognizing Handwritten Sentences},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1262--1267},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SrihariB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Sripada93,
  author       = {Suryanarayana M. Sripada},
  editor       = {Ruzena Bajcsy},
  title        = {A Metalogic Programming Approach to Reasoning about Time in Knowledge
                  Bases},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {860--865},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/004.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Sripada93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/StephanB93,
  author       = {Werner Stephan and
                  Susanne Biundo},
  editor       = {Ruzena Bajcsy},
  title        = {A New Logical framework for Deductive Planning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {32--38},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/005.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/StephanB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Straccia93,
  author       = {Umberto Straccia},
  editor       = {Ruzena Bajcsy},
  title        = {Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {676--681},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/095.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Straccia93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Subramanian93,
  author       = {Devika Subramanian},
  editor       = {Ruzena Bajcsy},
  title        = {Conceptual Design and Artificial Intelligence},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {800--809},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/112.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Subramanian93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SumitaOFIHTK93,
  author       = {Eiichiro Sumita and
                  Kozo Oi and
                  Osamu Furuse and
                  Hitoshi Iida and
                  Tetsuya Higuchi and
                  Naoto Takahashi and
                  Hiroaki Kitano},
  editor       = {Ruzena Bajcsy},
  title        = {Example-Based Machine Translation on Massively Parallel Processors},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1283--1289},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SumitaOFIHTK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Suthers93,
  author       = {Daniel D. Suthers},
  editor       = {Ruzena Bajcsy},
  title        = {Preferences for Model Selection in Explanation},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1208--1215},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Suthers93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SuzukiKIIT93,
  author       = {Tsunehiko Suzuki and
                  Ryuji Kudo and
                  Katsunori Ikami and
                  Kentaro Iida and
                  Takao Terano},
  editor       = {Ruzena Bajcsy},
  title        = {{QUALTES:} {A} Domain Specific Tool for Electric Power Stations},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1703},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 19 Jul 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SuzukiKIIT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Tarver93,
  author       = {Mark Tarver},
  editor       = {Ruzena Bajcsy},
  title        = {A Language for Implementing Arbitrary Logics},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {839--844},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/001.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Tarver93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Terenziani93,
  author       = {Paolo Terenziani},
  editor       = {Ruzena Bajcsy},
  title        = {Integrating Linguistic and Pragmatic Temporal Information in Natural
                  Language Understanding: the case of "When Sentences"},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1304--1309},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 19 Jul 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Terenziani93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ThrunM93,
  author       = {Sebastian Thrun and
                  Tom M. Mitchell},
  editor       = {Ruzena Bajcsy},
  title        = {Integrating Inductive Neural Network Learning and Explanation-Based
                  Learning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {930--936},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/014.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ThrunM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TsujiL93,
  author       = {Saburo Tsuji and
                  Shigang Li},
  editor       = {Ruzena Bajcsy},
  title        = {Making Cognitive Map of Outdoor Environment},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1632--1638},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TsujiL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/UtsuroMN93,
  author       = {Takehito Utsuro and
                  Yuji Matsumoto and
                  Makoto Nagao},
  editor       = {Ruzena Bajcsy},
  title        = {Verbal Case Frame Acquisition from Bilingual Corpora},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1150--1157},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 16 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/UtsuroMN93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Val93,
  author       = {Alvaro del Val},
  editor       = {Ruzena Bajcsy},
  title        = {Syntactic Characterizations of Belief Change Operators},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {540--547},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/076.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Val93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ValS93,
  author       = {Alvaro del Val and
                  Yoav Shoham},
  editor       = {Ruzena Bajcsy},
  title        = {Deriving Properties of Belief Update from Theories of Action {(II)}},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {732--737},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/103.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ValS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Verdier93,
  author       = {Franck du Verdier},
  editor       = {Ruzena Bajcsy},
  title        = {Solving Geometric Constraint Satisfaction Problems for Spatial Planning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1564--1572},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Verdier93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/VignolletL93,
  author       = {Laurence Vignollet and
                  Ruddy Lelouche},
  editor       = {Ruzena Bajcsy},
  title        = {Test Case Generation using {KBS} Strategy},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {483--489},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/068.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/VignolletL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Voorbraak93,
  author       = {Frans Voorbraak},
  editor       = {Ruzena Bajcsy},
  title        = {Preference-Based Semantics for Nonmonotonic Logics},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {584--591},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/082.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Voorbraak93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wainer93,
  author       = {Jacques Wainer},
  editor       = {Ruzena Bajcsy},
  title        = {Epistemic Extension of Propositional Preference Logics},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {382--389},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/054.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Wainer93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wallace93,
  author       = {Richard J. Wallace},
  editor       = {Ruzena Bajcsy},
  title        = {Why {AC-3} is Almost Always Better than {AC4} for Establishing Arc
                  Consistency in CSPs},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {239--247},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/034.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Wallace93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Walther93,
  author       = {Christoph Walther},
  editor       = {Ruzena Bajcsy},
  title        = {Combining Induction Axioms by Machine},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {95--101},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/014.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Walther93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WangCZL93,
  author       = {Xianchang Wang and
                  Huowang Chen and
                  Quingping Zhao and
                  Wei Li},
  editor       = {Ruzena Bajcsy},
  title        = {W - {A} Logic System Based on the Shared Common Knowledge Views},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {410--415},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/058.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/WangCZL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WebberGHRS93,
  author       = {Bonnie L. Webber and
                  Barbara J. Grosz and
                  Shigeoki Hirai and
                  Thomas Rist and
                  Donia Scott},
  editor       = {Ruzena Bajcsy},
  title        = {Instructions: Language and Behavior},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1684--1689},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/WebberGHRS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Weidenbach93,
  author       = {Christoph Weidenbach},
  editor       = {Ruzena Bajcsy},
  title        = {Extending the Resolution Method with Sorts},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {60--65},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/009.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Weidenbach93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Weiss93,
  author       = {Gerhard Weiss},
  editor       = {Ruzena Bajcsy},
  title        = {Learning to Coordinate Actions in Multi-Agent-Systems},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {311--317},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/044.pdf},
  timestamp    = {Tue, 08 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/Weiss93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WeissI93,
  author       = {Sholom M. Weiss and
                  Nitin Indurkhya},
  editor       = {Ruzena Bajcsy},
  title        = {Rule-Based Regression},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1072--1078},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/WeissI93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WilliamsonH93,
  author       = {Mike Williamson and
                  Steve Hanks},
  editor       = {Ruzena Bajcsy},
  title        = {Exploiting Domain structure to Achieve Efficient Temporal Reasoning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {152--159},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/022.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/WilliamsonH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WogulisP93,
  author       = {James Wogulis and
                  Michael J. Pazzani},
  editor       = {Ruzena Bajcsy},
  title        = {A Methodology for Evaluating Theory Revision Systems: Results with
                  Audrey {II}},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1128--1134},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/WogulisP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wu93,
  author       = {Dekai Wu},
  editor       = {Ruzena Bajcsy},
  title        = {Approximating Maximum-Entropy Ratings for Evidential Parsing and Semantic
                  Interpretation},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1290--1296},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Wu93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/YenBDFMRZ93,
  author       = {John Yen and
                  Piero P. Bonissone and
                  Didier Dubois and
                  Christian Freksa and
                  Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
                  Enrique H. Ruspini and
                  Lotfi A. Zadeh},
  editor       = {Ruzena Bajcsy},
  title        = {Fuzzy Logic and {AI}},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1673--1676},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Fri, 11 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/YenBDFMRZ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/YumR93,
  author       = {Kwok{-}Keung Yum and
                  Thomas J. Richards},
  editor       = {Ruzena Bajcsy},
  title        = {Classification Networks: {A} Knowledge Representation Scheme for Curriculum
                  Prescription},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {447--452},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/063.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/YumR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZancanaroSS93,
  author       = {Massimo Zancanaro and
                  Oliviero Stock and
                  Carlo Strapparava},
  editor       = {Ruzena Bajcsy},
  title        = {Dialogue Cohesion Sharing and Adjusting in an Enhanced Multimodal
                  Environment},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1230--1236},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ZancanaroSS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Zdrahal93,
  author       = {Zdenek Zdr{\'{a}}hal},
  editor       = {Ruzena Bajcsy},
  title        = {Second Order Measures for Uncertainty Processing},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {626--633},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/088.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Zdrahal93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZelleM93,
  author       = {John M. Zelle and
                  Raymond J. Mooney},
  editor       = {Ruzena Bajcsy},
  title        = {Combining {FOIL} and {EBG} to Speed-up Logic Programs},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1106--1113},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ZelleM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhangF93,
  author       = {Yan Zhang and
                  Norman Y. Foo},
  editor       = {Ruzena Bajcsy},
  title        = {Reasoning About Persistence: {A} Theory of Actions},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {718--723},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/101.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ZhangF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZilbersteinR93,
  author       = {Shlomo Zilberstein and
                  Stuart Russell},
  editor       = {Ruzena Bajcsy},
  title        = {Anytime Sensing Planning and Action: {A} Practical Model for Robot
                  Control},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1402--1407},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ZilbersteinR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZlotkinR93,
  author       = {Gilad Zlotkin and
                  Jeffrey S. Rosenschein},
  editor       = {Ruzena Bajcsy},
  title        = {A Domain Theory for Task Oriented Negotiation},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {416--422},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/059.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ZlotkinR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZukermanM93,
  author       = {Ingrid Zukerman and
                  Richard McConachy},
  editor       = {Ruzena Bajcsy},
  title        = {Generating Concise Discourse that Addresses a Users Inferences},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1202--1207},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ZukermanM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZwebenDDD93,
  author       = {Monte Zweben and
                  Eugene Davis and
                  Brian Daun and
                  Michael Deale},
  editor       = {Ruzena Bajcsy},
  title        = {Informedness vs. Computational Cost of Heuristics in Iterative Repair
                  Scheduling},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {1416--1422},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  timestamp    = {Tue, 15 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ZwebenDDD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1993,
  editor       = {Ruzena Bajcsy},
  title        = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/proceedings/1993-1},
  isbn         = {1-55860-300-X},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/1993.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics