Search dblp for Publications

export results for "toc:db/conf/aaai/aaai86-1.bht:"

 download as .bib file

@inproceedings{DBLP:conf/aaai/AloimonosR86,
  author       = {Yiannis Aloimonos and
                  Isidore Rigoutsos},
  editor       = {Tom Kehler},
  title        = {Determining the 3-D Motion of a Rigid Surface Patch Without Correspondence
                  under Perspective Projection},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {681--688},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-115.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AloimonosR86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Alterman86,
  author       = {Richard Alterman},
  editor       = {Tom Kehler},
  title        = {An Adaptive Planner},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {65--69},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-011.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Alterman86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AlvaradoDF86,
  author       = {Sergio Alvarado and
                  Michael G. Dyer and
                  Margot Flowers},
  editor       = {Tom Kehler},
  title        = {Editorial Comprehension in OpEd through Argument Units},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {250--256},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-041.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AlvaradoDF86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Bain86,
  author       = {William M. Bain},
  editor       = {Tom Kehler},
  title        = {A Case-Based Reasoning System for Subjective Assessment},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {523--527},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-088.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Bain86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Ballard86,
  author       = {Dana H. Ballard},
  editor       = {Tom Kehler},
  title        = {Parallel Logical Inference and Energy Minimization},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {203--209},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-033.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Ballard86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Barnard86,
  author       = {Stephen T. Barnard},
  editor       = {Tom Kehler},
  title        = {A Stochastic Approach to Stereo Vision},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {676--680},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-114.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Barnard86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Barnden86,
  author       = {John A. Barnden},
  editor       = {Tom Kehler},
  title        = {A Viewpoint Distinction in the Representation of Propositional Attitudes},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {411--415},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-069.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Barnden86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Belzer86,
  author       = {Marvin Belzer},
  editor       = {Tom Kehler},
  title        = {A Logic of Deliberation},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {38--43},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-007.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Belzer86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BhattacharyaB86,
  author       = {Subir Bhattacharya and
                  Amitava Bagchi},
  editor       = {Tom Kehler},
  title        = {Making Best Use of Available Memory When Searching Game Trees},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {163--167},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-026.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BhattacharyaB86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BinotR86,
  author       = {Jean{-}Louis Binot and
                  Daniel Ribbens},
  editor       = {Tom Kehler},
  title        = {Dual Frames: {A} New Tool for Semantic Parsing},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {579--583},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-098.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BinotR86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Brewka86,
  author       = {Gerhard Brewka},
  editor       = {Tom Kehler},
  title        = {Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules
                  and a Default Prover},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {8--12},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-002.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Brewka86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Brown86,
  author       = {Frank Brown},
  editor       = {Tom Kehler},
  title        = {A Comparison of the Commonsense and Fixed Point Theories of Nonmonotonicity},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {394--400},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-066.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Brown86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Charniak86,
  author       = {Eugene Charniak},
  editor       = {Tom Kehler},
  title        = {A Neat Theory of Marker Passing},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {584--588},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-099.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Charniak86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChengC86,
  author       = {Patricia Cheng and
                  Jaime G. Carbonell},
  editor       = {Tom Kehler},
  title        = {The {FERMI} System: Inducing Iterative Macro-Operators from Experience},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {490--495},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-082.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ChengC86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChristensenK86,
  author       = {Jens Christensen and
                  Richard E. Korf},
  editor       = {Tom Kehler},
  title        = {A Unified Theory of Heuristic Evaluation Functions and its Application
                  to Learning},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {148--152},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-023.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ChristensenK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Chun86,
  author       = {Hon Wai Chun},
  editor       = {Tom Kehler},
  title        = {A Representation for Temporal Sequence and Duration in Massively Parallel
                  Networks},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {372--376},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-062.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Chun86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Cohen86,
  author       = {Donald Cohen},
  editor       = {Tom Kehler},
  title        = {Automatic Compilation of Logical Specifications into Efficient Programs},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {21--25},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-004.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Cohen86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CoombsH86,
  author       = {M. J. Coombs and
                  Roger T. Hartley},
  editor       = {Tom Kehler},
  title        = {Debugging User Conceptions of Interpretation Processes},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {303--307},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-050.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/CoombsH86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DahlgrenM86,
  author       = {Kathleen Dahlgren and
                  Joyce P. McDowell},
  editor       = {Tom Kehler},
  title        = {Using Commonsense Knowledge to Disambiguate Prepositional Phrase Modifiers},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {589--593},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-100.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/DahlgrenM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Dechter86,
  author       = {Rina Dechter},
  editor       = {Tom Kehler},
  title        = {Learning While Searching in Constraint-Satisfaction-Problems},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {178--185},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-029.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Dechter86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Doyle86,
  author       = {Richard J. Doyle},
  editor       = {Tom Kehler},
  title        = {Constructing and Refining Causal Explanations from an Inconsistent
                  Domain Theory},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {538--544},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-091.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Doyle86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DoyleAD86,
  author       = {Richard J. Doyle and
                  David Atkinson and
                  Rajkumar Doshi},
  editor       = {Tom Kehler},
  title        = {Generating Perception Requests and Expectations to Verify the Execution
                  of Plans},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {81--88},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-014.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/DoyleAD86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DurfeeL86,
  author       = {Edmund H. Durfee and
                  Victor R. Lesser},
  editor       = {Tom Kehler},
  title        = {Incremental Planning to Control a Blackboard-based Problem Solver},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {58--64},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-010.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/DurfeeL86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Edelson86,
  author       = {Thomas Edelson},
  editor       = {Tom Kehler},
  title        = {Can a System Be Intelligent if It Never Gives a Damn?},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {298--302},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-049.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Edelson86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EllisRH86,
  author       = {Randy E. Ellis and
                  Edward M. Riseman and
                  Allen R. Hanson},
  editor       = {Tom Kehler},
  title        = {Tactile Recognition by Probing: Identifying a Polygon on a Plane},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {632--637},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-107.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/EllisRH86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FagiHV86,
  author       = {Ronald Fagin and
                  Joseph Y. Halpern and
                  Moshe Y. Vardi},
  editor       = {Tom Kehler},
  title        = {What Can Machines Know? On the Epistemic Properties of Machines},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {428--435},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-072.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FagiHV86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FalkenhainerFG86,
  author       = {Brian Falkenhainer and
                  Kenneth D. Forbus and
                  Dedre Gentner},
  editor       = {Tom Kehler},
  title        = {The Structure-Mapping Engine},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {272--277},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-045.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FalkenhainerFG86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FeldmanR86,
  author       = {Yishai A. Feldman and
                  Charles Rich},
  editor       = {Tom Kehler},
  title        = {Reasoning with Simplifying Assumptions: {A} Methodology and Example},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {2--7},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-001.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FeldmanR86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FlannD86,
  author       = {Nicholas S. Flann and
                  Thomas G. Dietterich},
  editor       = {Tom Kehler},
  title        = {Selecting Appropriate Representations for Learning from Examples},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {460--466},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-077.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FlannD86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Forbus86,
  author       = {Kenneth D. Forbus},
  editor       = {Tom Kehler},
  title        = {Interpreting Measurements of Physical Systems},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {113--117},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-018.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Forbus86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GeneserethGR86,
  author       = {Michael R. Genesereth and
                  Matthew L. Ginsberg and
                  Jeffrey S. Rosenschein},
  editor       = {Tom Kehler},
  title        = {Cooperation without Communication},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {51--57},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-009.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GeneserethGR86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Georgeff86,
  author       = {Michael P. Georgeff},
  editor       = {Tom Kehler},
  title        = {The Representation of Events in Multiagent Domains},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {70--75},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-012.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Georgeff86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Ginsberg86,
  author       = {Matthew L. Ginsberg},
  editor       = {Tom Kehler},
  title        = {Multi-Valued Logics},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {243--249},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-040.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Ginsberg86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Ginsberg86a,
  author       = {Allen Ginsberg},
  editor       = {Tom Kehler},
  title        = {A Metalinguistic Approach to the Construction of Knowledge Base Refinement
                  Systems},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {436--441},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-073.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Ginsberg86a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HaanS86,
  author       = {Johannes de Haan and
                  Lenhart K. Schubert},
  editor       = {Tom Kehler},
  title        = {Inference in a Topically Organized Semantic Net},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {334--338},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-055.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/HaanS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Haddawy86,
  author       = {Peter Haddawy},
  editor       = {Tom Kehler},
  title        = {Implementation of and Experiments with a Variable Precision Logic
                  Inference System},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {238--242},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-039.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Haddawy86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Hall86,
  author       = {Robert J. Hall},
  editor       = {Tom Kehler},
  title        = {Learning by Failing to Explain},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {568--573},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-096.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Hall86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Hammond86,
  author       = {Kristian J. Hammond},
  editor       = {Tom Kehler},
  title        = {{CHEF:} {A} Model of Case-Based Planning},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {267--271},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-044.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Hammond86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Hammond86a,
  author       = {Kristian J. Hammond},
  editor       = {Tom Kehler},
  title        = {Learning to Anticipate and Avoid Planning Problems through the Explanation
                  of Failures},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {556--560},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-094.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Hammond86a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HanksM86,
  author       = {Steve Hanks and
                  Drew V. McDermott},
  editor       = {Tom Kehler},
  title        = {Default Reasoning, Nonmonotonic Logics, and the Frame Problem},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {328--333},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-054.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/HanksM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Haussler86,
  author       = {David Haussler},
  editor       = {Tom Kehler},
  title        = {Quantifying the Inductive Bias in Concept Learning (Extended Abstract)},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {485--489},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-081.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Haussler86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Heeger86,
  author       = {David Heeger},
  editor       = {Tom Kehler},
  title        = {Depth and Flow From Motion Energy},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {657--663},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-111.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Heeger86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HenschenP86,
  author       = {Lawrence J. Henschen and
                  Hyung{-}Sik Park},
  editor       = {Tom Kehler},
  title        = {Indefinite and {GCWA} Inference in Indefinite Deductive Databases},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {191--197},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-031.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/HenschenP86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HorvitzHL86,
  author       = {Eric Horvitz and
                  David Heckerman and
                  Curtis P. Langlotz},
  editor       = {Tom Kehler},
  title        = {A Framework for Comparing Alternative Formalisms for Plausible Reasoning},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {210--214},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-034.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/HorvitzHL86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/IbrahimKS86,
  author       = {Hussein Ibrahim and
                  John R. Kender and
                  David Elliot Shaw},
  editor       = {Tom Kehler},
  title        = {{SIMD} Tree Algorithms for Image Correlation},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {645--651},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-109.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/IbrahimKS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/JohnsonL86,
  author       = {Philip Johnson and
                  Wendy G. Lehnert},
  editor       = {Tom Kehler},
  title        = {Beyond Exploratory Programming: {A} Methodology and Environment for
                  Conceptual Natural Language Processing},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {594--600},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-101.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/JohnsonL86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Jones86,
  author       = {Randy Jones},
  editor       = {Tom Kehler},
  title        = {Generating Predictions to Aid the Scientific Discovery Process},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {513--517},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-086.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Jones86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Kasif86,
  author       = {Simon Kasif},
  editor       = {Tom Kehler},
  title        = {On the Parallel Complexity of Some Constraint Satisfaction Problems},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {349--353},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-058.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Kasif86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Kass86,
  author       = {Michael Kass},
  editor       = {Tom Kehler},
  title        = {Linear Image Features in Stereopsis},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {707--713},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-119.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Kass86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Kautz86,
  author       = {Henry A. Kautz},
  editor       = {Tom Kehler},
  title        = {The Logic of Persistence},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {401--405},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-067.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Kautz86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzA86,
  author       = {Henry A. Kautz and
                  James F. Allen},
  editor       = {Tom Kehler},
  title        = {Generalized Plan Recognition},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {32--37},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-006.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KautzA86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KenderS86,
  author       = {John R. Kender and
                  Earl Smith},
  editor       = {Tom Kehler},
  title        = {Shape from Darkness: Deriving Surface Information from Dynamic Shadows},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {664--669},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-112.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KenderS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KleerW86,
  author       = {Johan de Kleer and
                  Brian C. Williams},
  editor       = {Tom Kehler},
  title        = {Reasoning about Multiple Faults},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {132--139},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-021.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KleerW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Kokar86,
  author       = {Mieczyslaw M. Kokar},
  editor       = {Tom Kehler},
  title        = {Discovering Functional Formulas through Changing Representation Base},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {455--459},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-076.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Kokar86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Ladkin86,
  author       = {Peter B. Ladkin},
  editor       = {Tom Kehler},
  title        = {Primitives and Units for Time Specification},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {353--359},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-059.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Ladkin86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Ladkin86a,
  author       = {Peter B. Ladkin},
  editor       = {Tom Kehler},
  title        = {Time Representation: {A} Taxonomy of Internal Relations},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {360--366},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-060.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Ladkin86a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Laird86,
  author       = {Philip D. Laird},
  editor       = {Tom Kehler},
  title        = {Inductive Inference by Refinement},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {472--476},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-079.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Laird86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LanglotzSF86,
  author       = {Curtis P. Langlotz and
                  Edward H. Shortliffe and
                  Lawrence M. Fagan},
  editor       = {Tom Kehler},
  title        = {Using Decision Theory to Justify Heuristics},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {215--219},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-035.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/LanglotzSF86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LebanMF86,
  author       = {Bruce Leban and
                  David McDonald and
                  David Forster},
  editor       = {Tom Kehler},
  title        = {A Representation for Collections of Temporal Intervals},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {367--371},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-061.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/LebanMF86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lebowitz86,
  author       = {Michael Lebowitz},
  editor       = {Tom Kehler},
  title        = {Not the Path to Perdition: The Utility of Similarity-Based Learning},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {533--537},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-090.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Lebowitz86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LeeR86,
  author       = {Won D. Lee and
                  Sylvian R. Ray},
  editor       = {Tom Kehler},
  title        = {Rule Refinement Using the Probabilistic Rule Generator},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {442--447},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-074.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/LeeR86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Leyton86,
  author       = {Michael Leyton},
  editor       = {Tom Kehler},
  title        = {Constraint-Theorems on the Prototypification of Shape},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {702--706},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-118.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Leyton86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lifschitz86,
  author       = {Vladimir Lifschitz},
  editor       = {Tom Kehler},
  title        = {Pointwise Circumscription: Preliminary Report},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {406--410},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-068.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Lifschitz86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Litman86,
  author       = {Diane J. Litman},
  editor       = {Tom Kehler},
  title        = {Understanding Plan Ellipsis},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {619--625},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-105.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Litman86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LittmanPS86,
  author       = {David C. Littman and
                  Jeannine Pinto and
                  Elliot Soloway},
  editor       = {Tom Kehler},
  title        = {An Analysis of Tutorial Reasoning about Programming Bugs},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {320--327},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-053.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/LittmanPS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Liu86,
  author       = {Gerald Liu},
  editor       = {Tom Kehler},
  title        = {Causal and Plausible Reasoning in Expert Systems},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {220--225},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-036.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Liu86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lozano-Perez86,
  author       = {Tom{\'{a}}s Lozano{-}P{\'{e}}rez},
  editor       = {Tom Kehler},
  title        = {A Simple Motion Planning Algorithm for General Robot Manipulators},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {626--631},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-106.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Lozano-Perez86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LuckhartI86,
  author       = {Carol Luckhart and
                  Keki B. Irani},
  editor       = {Tom Kehler},
  title        = {An Algorithmic Solution of N-Person Games},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {158--162},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-025.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/LuckhartI86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lytinen86,
  author       = {Steven L. Lytinen},
  editor       = {Tom Kehler},
  title        = {Dynamically Combining Syntax and Semantics in Natural Language Processing},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {574--587},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-097.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Lytinen86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MartinR86,
  author       = {Charles Martin and
                  Christopher Riesbeck},
  editor       = {Tom Kehler},
  title        = {Uniform Parsing and Inferencing for Learning},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {257--261},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-042.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MartinR86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MillerF86,
  author       = {Dale Miller and
                  Amy P. Felty},
  editor       = {Tom Kehler},
  title        = {An Integration of Resolution and Natural Deduction Theorem Proving},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {198--202},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-032.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MillerF86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MooneyB86,
  author       = {Raymond J. Mooney and
                  Scott W. Bennett},
  editor       = {Tom Kehler},
  title        = {A Domain Independent Explanation-Based Generalizer},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {551--555},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-093.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MooneyB86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MorrisN86,
  author       = {Paul Morris and
                  Robert Nado},
  editor       = {Tom Kehler},
  title        = {Representing Actions with an Assumption-Based Truth Maintenance System},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {13--20},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-003.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MorrisN86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Mutchler86,
  author       = {David Mutchler},
  editor       = {Tom Kehler},
  title        = {Optimal Allocation of Very Limited Search Resources},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {467--471},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-078.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Mutchler86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Nordhausen86,
  author       = {Bernhard Nordhausen},
  editor       = {Tom Kehler},
  title        = {Conceptual Clustering Using Relational Information},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {508--512},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-085.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Nordhausen86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/OrlikowskiD86,
  author       = {Wanda J. Orlikowski and
                  Vasant Dhar},
  editor       = {Tom Kehler},
  title        = {Imposing Structure on Linear Programming Problems: An Empirical Analysis
                  of Expert and Novice Models},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {308--312},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-051.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/OrlikowskiD86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Patel-Schneider86,
  author       = {Peter F. Patel{-}Schneider},
  editor       = {Tom Kehler},
  title        = {A Four-Valued Semantics for Frame-Based Description Languages},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {344--348},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-057.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Patel-Schneider86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PazzaniDF86,
  author       = {Michael J. Pazzani and
                  Michael G. Dyer and
                  Margot Flowers},
  editor       = {Tom Kehler},
  title        = {The Role of Prior Causal Theories in Generalization},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {545--550},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-092.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/PazzaniDF86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Pearl86,
  author       = {Judea Pearl},
  editor       = {Tom Kehler},
  title        = {On the Logic of Probabilistic Dependencies},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {339--343},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-056.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Pearl86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PengR86,
  author       = {Yun Peng and
                  James A. Reggia},
  editor       = {Tom Kehler},
  title        = {Plausibility of Diagnostic Hypotheses: The Nature of Simplicity},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {140--147},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-022.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/PengR86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Pentland86,
  author       = {Alex Pentland},
  editor       = {Tom Kehler},
  title        = {Parts: Structured Descriptions of Shape},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {695--701},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-117.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Pentland86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Perlis86,
  author       = {Donald Perlis},
  editor       = {Tom Kehler},
  title        = {Self-Reference, Knowledge, Belief, and Modality},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {416--420},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-070.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Perlis86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Przymusinski86,
  author       = {Teodor C. Przymusinski},
  editor       = {Tom Kehler},
  title        = {Query Answering in Circumscriptive and Closed-World Theories},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {186--190},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-030.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Przymusinski86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Raiman86,
  author       = {Olivier Raiman},
  editor       = {Tom Kehler},
  title        = {Order of Magnitude Reasoning},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {100--104},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-016.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Raiman86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RatnerP86,
  author       = {Daniel Ratner and
                  Ira Pohl},
  editor       = {Tom Kehler},
  title        = {Joint and LPA*: Combination of Approximation and Search},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {173--177},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-028.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/RatnerP86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RatnerW86,
  author       = {Daniel Ratner and
                  Manfred K. Warmuth},
  editor       = {Tom Kehler},
  title        = {Finding a Shortest Solution for the {N} {\texttimes} {N} Extension
                  of the 15-PUZZLE Is Intractable},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {168--172},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-027.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/RatnerW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RisslandA86,
  author       = {Edwina L. Rissland and
                  Kevin D. Ashley},
  editor       = {Tom Kehler},
  title        = {Hypotheticals as Heuristic Device},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {289--297},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-048.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/RisslandA86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Rit86,
  author       = {Jean{-}Fran{\c{c}}ois Rit},
  editor       = {Tom Kehler},
  title        = {Propagating Temporal Constraints for Scheduling},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {383--388},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-064.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Rit86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RoseL86,
  author       = {Donald Rose and
                  Pat Langley},
  editor       = {Tom Kehler},
  title        = {STAHLp: Belief Revision in Scientific Discovery},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {528--532},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-089.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/RoseL86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RosenbloomL86,
  author       = {Paul S. Rosenbloom and
                  John E. Laird},
  editor       = {Tom Kehler},
  title        = {Mapping Explanation-Based Generalization onto Soar},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {561--567},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-095.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/RosenbloomL86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Russell86,
  author       = {Stuart J. Russell},
  editor       = {Tom Kehler},
  title        = {Quantitative Analysis of Analogy},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {284--288},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-047.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Russell86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Russell86a,
  author       = {Stuart Russell},
  editor       = {Tom Kehler},
  title        = {Preliminary Steps Toward the Automation of Induction},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {477--484},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-080.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Russell86a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SandewallR86,
  author       = {Erik Sandewall and
                  Ralph R{\"{o}}nnquist},
  editor       = {Tom Kehler},
  title        = {A Representation of Action Structures},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {89--97},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-015.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SandewallR86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Saund86,
  author       = {Eric Saund},
  editor       = {Tom Kehler},
  title        = {Abstraction and Representation of Continuous Variables in Connectionist
                  Networks},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {638--644},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-108.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Saund86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchlimmerF86,
  author       = {Jeffrey C. Schlimmer and
                  Douglas H. Fisher},
  editor       = {Tom Kehler},
  title        = {A Case Study of Incremental Concept Induction},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {496--501},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-083.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SchlimmerF86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchlimmerG86,
  author       = {Jeffrey C. Schlimmer and
                  Richard H. Granger},
  editor       = {Tom Kehler},
  title        = {Beyond Incremental Processing: Tracking Concept Drift},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {502--507},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-084.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SchlimmerG86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Schmolze86,
  author       = {James G. Schmolze},
  editor       = {Tom Kehler},
  title        = {Physics for Robots},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {44--50},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-008.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Schmolze86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchorDLT86,
  author       = {Marshall I. Schor and
                  Timothy Daly and
                  Ho Soo Lee and
                  Beth Tibbitts},
  editor       = {Tom Kehler},
  title        = {Advances in Rete Pattern Matching},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {225--232},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-037.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SchorDLT86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Schubert86,
  author       = {Lenhart K. Schubert},
  editor       = {Tom Kehler},
  title        = {Are There Preference Trade-offs in Attachment Decisions?},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {601--605},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-102.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Schubert86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ShapiroR86,
  author       = {Stuart C. Shapiro and
                  William J. Rapaport},
  editor       = {Tom Kehler},
  title        = {SNePS Considered as a Fully Intensional Propositional Semantic Network},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {278--283},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-046.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ShapiroR86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SharkeySW86,
  author       = {Noel E. Sharkey and
                  Richard F. E. Sutcliffe and
                  Wayne Wobcke},
  editor       = {Tom Kehler},
  title        = {Mixing Binary and Continuous Connection Schemes for Knowledge Access},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {262--266},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-043.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SharkeySW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Shoham86,
  author       = {Yoav Shoham},
  editor       = {Tom Kehler},
  title        = {Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal
                  Theories},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {389--393},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-065.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Shoham86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Simmons86,
  author       = {Reid G. Simmons},
  editor       = {Tom Kehler},
  title        = {Commonsense Arithmetic Reasoning},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {118--124},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-019.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Simmons86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SkowronP86,
  author       = {Andrzej Skowron and
                  Alberto Pettorossi},
  editor       = {Tom Kehler},
  title        = {Factual Knowledge For Developing Concurrent Programs},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {26--31},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-005.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SkowronP86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Smith86,
  author       = {Grahame B. Smith},
  editor       = {Tom Kehler},
  title        = {A Stereo Integral Equation},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {689--694},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-116.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Smith86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Snow86,
  author       = {Paul Snow},
  editor       = {Tom Kehler},
  title        = {Bayesian Inference without Point Estimates},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {233--237},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-038.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Snow86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SondheimerN86,
  author       = {Norman K. Sondheimer and
                  Bernhard Nebel},
  editor       = {Tom Kehler},
  title        = {A Logical-Form and Knowledge-Base Design for Natural Language Generation},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {612--618},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-104.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SondheimerN86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SubramanianF86,
  author       = {Devika Subramanian and
                  Joan Feigenbaum},
  editor       = {Tom Kehler},
  title        = {Factorization in Experiment Generation},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {518--522},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-087.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SubramanianF86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Tenenberg86,
  author       = {Josh Tenenberg},
  editor       = {Tom Kehler},
  title        = {Planning with Abstraction},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {76--80},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-013.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Tenenberg86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/TreitelG86,
  author       = {Richard Treitel and
                  Michael R. Genesereth},
  editor       = {Tom Kehler},
  title        = {Choosing Directions for Rules},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {153--157},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-024.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/TreitelG86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Trivedi86,
  author       = {Harit P. Trivedi},
  editor       = {Tom Kehler},
  title        = {On the Reconstruction of a Scene from Two Unregistered Images},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {652--656},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-110.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Trivedi86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/VilainK86,
  author       = {Marc B. Vilain and
                  Henry A. Kautz},
  editor       = {Tom Kehler},
  title        = {Constraint Propagation Algorithms for Temporal Reasoning},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {377--382},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-063.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/VilainK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WhiteF86,
  author       = {Barbara Y. White and
                  John Frederiksen},
  editor       = {Tom Kehler},
  title        = {Intelligent Tutoring Systems Based Upon Qualitative Model Evolutions},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {313--319},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-052.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/WhiteF86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WilkinsB86,
  author       = {David C. Wilkins and
                  Bruce G. Buchanan},
  editor       = {Tom Kehler},
  title        = {On Debugging Rule Sets When Reasoning Under Uncertainty},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {448--454},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-075.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/WilkinsB86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Williams86,
  author       = {Brian C. Williams},
  editor       = {Tom Kehler},
  title        = {Doing Time: Putting Qualitative Reasoning on Firmer Ground},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {105--112},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-017.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Williams86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Winslett86,
  author       = {Marianne Winslett},
  editor       = {Tom Kehler},
  title        = {Is Belief Revision Harder Than You Thought?},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {421--427},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-071.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Winslett86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WitkinTK86,
  author       = {Andrew P. Witkin and
                  Demetri Terzopoulos and
                  Michael Kass},
  editor       = {Tom Kehler},
  title        = {Signal Matching Through Scale Space},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {714--719},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-120.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/WitkinTK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WohnW86,
  author       = {Kwangyoen Wohn and
                  Jian Wu},
  editor       = {Tom Kehler},
  title        = {3-D Motion Recovery From Time-Varying Optical Flows},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {670--675},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-113.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/WohnW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Yen86,
  author       = {John Yen},
  editor       = {Tom Kehler},
  title        = {A Reasoning Model Based on an Extended Dempster-Shafer Theory},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {125--131},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-020.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Yen86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZukermanP86,
  author       = {Ingrid Zukerman and
                  Judea Pearl},
  editor       = {Tom Kehler},
  title        = {Comprehension-Driven Generation of Meta-Technical Utterances in Math
                  Tutoring},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {606--611},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-103.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ZukermanP86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/1986-1,
  editor       = {Tom Kehler},
  title        = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Conferences/AAAI/aaai86.php},
  timestamp    = {Wed, 20 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/1986-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}