Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/ijcai/AdorniMSI87,
  author       = {Giovanni Adorni and
                  Lina Massone and
                  Giulio Sandini and
                  Maurizio Immovilli},
  editor       = {John P. McDermott},
  title        = {From Early Processing to Conceptual Reasoning: An Attempt to Fill
                  the Gap},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {775--778},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/040.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:17:29 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AdorniMSI87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Aikins87,
  author       = {Jan Aikins},
  editor       = {John P. McDermott},
  title        = {The Commercialization of {AI:} Part 3. The Technology Challenge (Panel)},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1164--1165},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/118.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Aikins87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AllemangTBJ87,
  author       = {Dean Allemang and
                  Michael C. Tanner and
                  Tom Bylander and
                  John R. Josephson},
  editor       = {John P. McDermott},
  title        = {Computational Complexity of Hypothesis Assembly},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1112--1119},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/106.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AllemangTBJ87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Aloimonos87,
  author       = {Yiannis Aloimonos},
  editor       = {John P. McDermott},
  title        = {Combining Sources of Information in Vision I. Computing Shape from
                  Shading and Motion},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {738--741},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/030.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Aloimonos87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AndreassenWFA87,
  author       = {Steen Andreassen and
                  Marianne Woldbye and
                  Bj{\"{o}}rn Falck and
                  Stig K. Andersen},
  editor       = {John P. McDermott},
  title        = {{MUNIN} - {A} Causal Probabilistic Network for Interpretation of Electromyographic
                  Findings},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {366--372},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/076.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AndreassenWFA87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AppeltK87,
  author       = {Douglas E. Appelt and
                  Amichai Kronfeld},
  editor       = {John P. McDermott},
  title        = {A Computational Model of Referring},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {640--647},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/009.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AppeltK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ArayaM87,
  author       = {Agustin A. Araya and
                  Sanjay Mittal},
  editor       = {John P. McDermott},
  title        = {Compiling Design Plans from Descriptions of Artifacts and Problem
                  Solving Heuristics},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {552--558},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/110.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ArayaM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Arbab87,
  author       = {Bijan Arbab},
  editor       = {John P. McDermott},
  title        = {Object Identification from Parallel Light Stripes},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1145--1148},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/112.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Arbab87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ArikiMS87,
  author       = {Yasuo Ariki and
                  Masashi Morimoto and
                  Toshiyuki Sakai},
  editor       = {John P. McDermott},
  title        = {Uncertainty Reduction Paradigm Using Structural Knowledge in Line-Drawing
                  Understanding},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {783--786},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/042.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ArikiMS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Asada87,
  author       = {Minoru Asada},
  editor       = {John P. McDermott},
  title        = {Determining Cylindrical Shape from Contour and Shading},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {797--800},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/046.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Asada87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AyacheF87,
  author       = {Nicholas Ayache and
                  Olivier D. Faugeras},
  editor       = {John P. McDermott},
  title        = {Building a Consistent 3D Representation of a Mobile Robot Environment
                  by Combining Multiple Stereo Views},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {808--810},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/049.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AyacheF87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AyacheL87,
  author       = {Nicholas Ayache and
                  Francis Lustman},
  editor       = {John P. McDermott},
  title        = {Trinocular Stereovision: Recent Results},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {826--828},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/054.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AyacheL87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BakerBC87,
  author       = {Michelle Baker and
                  Mark H. Burstein and
                  Allan M. Collins},
  editor       = {John P. McDermott},
  title        = {Implementing a Model of Human Plausible Reasoning},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {185--188},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/035.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BakerBC87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Banerji87,
  author       = {Ranan B. Banerji},
  editor       = {John P. McDermott},
  title        = {Learning in the Limit in a Growing Language},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {280--282},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/057.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Banerji87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BarbuceanuTM87,
  author       = {Mihai Barbuceanu and
                  Stefan Trausan{-}Matu and
                  B{\'{a}}lint Moln{\'{a}}r},
  editor       = {John P. McDermott},
  title        = {Integrating Declarative Knowledge Programming Styles and Tools in
                  a Structured Object {AI} Environment},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {563--568},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/112.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BarbuceanuTM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Barnard87,
  author       = {Stephen T. Barnard},
  editor       = {John P. McDermott},
  title        = {Stereo Matching by Hierarchical, Microcanonical Annealing},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {832--835},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/056.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Barnard87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BarronJT87,
  author       = {John L. Barron and
                  Allan D. Jepson and
                  John K. Tsotsos},
  editor       = {John P. McDermott},
  title        = {Determination of Egomotion and Environmental Layout from Noisy Time-Varying
                  Image Velocity in Binocular Image Sequences},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {822--825},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/053.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BarronJT87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BasuA87,
  author       = {Anup Basu and
                  Yiannis Aloimonos},
  editor       = {John P. McDermott},
  title        = {A Robust Algorithm for Determining the Translation of a Rigidly Moving
                  Surface without Correspondence, for Robotics Applications},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {815--818},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/051.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BasuA87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaykanF87,
  author       = {Can A. Baykan and
                  Mark S. Fox},
  editor       = {John P. McDermott},
  title        = {An Investigation of Opportunistic Constraint Satisfaction in Space
                  Planning},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1035--1038},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/095.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BaykanF87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BenaMS87,
  author       = {M. Cristina Bena and
                  Giorgio Montini and
                  Franco Sirovich},
  editor       = {John P. McDermott},
  title        = {Planning and Executing Office Procedures in Project {ASPERA}},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {576--583},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/114.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BenaMS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Benjamin87,
  author       = {D. Paul Benjamin},
  editor       = {John P. McDermott},
  title        = {Learning Strategies by Reasoning about Rules},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {256--259},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/051.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Benjamin87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bennett87,
  author       = {Scott W. Bennett},
  editor       = {John P. McDermott},
  title        = {Approximation in Mathematical Domains},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {239--241},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/048.pdf},
  timestamp    = {Mon, 31 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Bennett87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bibel87,
  author       = {Wolfgang Bibel},
  editor       = {John P. McDermott},
  title        = {Parallel Inference Machines (Panel)},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1162},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/116.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Bibel87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Biema87,
  author       = {Michael van Biema},
  editor       = {John P. McDermott},
  title        = {Parallelism in {LISP}},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {56--61},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/011.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Biema87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BinotJ87,
  author       = {Jean{-}Louis Binot and
                  Karen Jensen},
  editor       = {John P. McDermott},
  title        = {A Semantic Expert Using an Online Standard Dictionary},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {709--714},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/023.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BinotJ87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BlackM87,
  author       = {Damian Black and
                  John Manley},
  editor       = {John P. McDermott},
  title        = {A Logic-based Architecture for Knowledge Management},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {87--90},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/016.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BlackM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BlellochR87,
  author       = {Guy E. Blelloch and
                  Charles R. Rosenberg},
  editor       = {John P. McDermott},
  title        = {Network Learning on the Connection Machine},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {323--326},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/066.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BlellochR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Blicher87,
  author       = {A. Peter Blicher},
  editor       = {John P. McDermott},
  title        = {A Shape Representation Based on Geometric Topology: Bumps, Gaussian
                  Curvature, and the Topological Zodiac},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {767--770},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/038.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Blicher87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonissoneGD87,
  author       = {Piero P. Bonissone and
                  Steven S. Gans and
                  Keith Decker},
  editor       = {John P. McDermott},
  title        = {{RUM:} {A} Layered Architecture for Reasoning with Uncertainty},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {891--898},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/067.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BonissoneGD87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bonzon87,
  author       = {Pierre E. Bonzon},
  editor       = {John P. McDermott},
  title        = {An Environment Model for the Integration of Logic and Functional Programming},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {18--23},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/004.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Bonzon87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bookman87,
  author       = {Lawrence A. Bookman},
  editor       = {John P. McDermott},
  title        = {A Microfeature-based Scheme for Modelling Semantics},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {611--614},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/002.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Bookman87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BouissouV87,
  author       = {M. Bouissou and
                  N. Villatte},
  editor       = {John P. McDermott},
  title        = {Drastic Cut of Man's Work in Reliability Studies by Using an Expert
                  System},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {541--544},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/108.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BouissouV87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BreukerWS87,
  author       = {Joost Breuker and
                  Radboud Winkels and
                  Jacobijn Sandberg},
  editor       = {John P. McDermott},
  title        = {A Shell for Intelligent Help Systems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {167--173},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/032.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BreukerWS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Brewka87,
  author       = {Gerhard Brewka},
  editor       = {John P. McDermott},
  title        = {The Logic of Inheritance in Frame Systems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {483--488},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/095.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Brewka87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BriotC87,
  author       = {Jean{-}Pierre Briot and
                  Pierre Cointe},
  editor       = {John P. McDermott},
  title        = {A Uniform Model for Object-Oriented Languages Using the Class Abstraction},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {40--43},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/008.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BriotC87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BriscoeGBC87,
  author       = {Ted Briscoe and
                  Claire Grover and
                  Branimir Boguraev and
                  John A. Carroll},
  editor       = {John P. McDermott},
  title        = {A Formalism and Environment for the Development of a Large Grammar
                  of English},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {703--708},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/022.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BriscoeGBC87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BrownGB87,
  author       = {Allen L. Brown Jr. and
                  Dale E. Gaucas and
                  Dan Benanav},
  editor       = {John P. McDermott},
  title        = {An Algebraic Foundation for Truth Maintenance},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {973--980},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/082.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BrownGB87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BurgerB87,
  author       = {Wilhelm Burger and
                  Bir Bhanu},
  editor       = {John P. McDermott},
  title        = {Qualitative Motion Understanding},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {819--821},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/052.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BurgerB87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BurnsK87,
  author       = {J. Brian Burns and
                  Leslie J. Kitchen},
  editor       = {John P. McDermott},
  title        = {Recognition in 2D Images of 3D Objects from Large Model Bases Using
                  Prediction Hierarchies},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {763--766},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/037.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BurnsK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Caloud87,
  author       = {Philippe Caloud},
  editor       = {John P. McDermott},
  title        = {Towards Continuous Process Supervision},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1086--1089},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/102.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Caloud87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Chalfan87,
  author       = {Kathryn M. Chalfan},
  editor       = {John P. McDermott},
  title        = {An Integration Tool for Life-Cycle Engineering},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {592--595},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/117.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Chalfan87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Chandrasekaran87,
  author       = {B. Chandrasekaran},
  editor       = {John P. McDermott},
  title        = {Towards a Functional Architecture for Intelligence Based on Generic
                  Information Processing Tasks},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1183},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/123.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Chandrasekaran87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Chen87,
  author       = {Su{-}Shing Chen},
  editor       = {John P. McDermott},
  title        = {Image Reconstruction from Zero-Crossings},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {742--744},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/031.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Chen87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChouB87,
  author       = {Paul B. Chou and
                  Christopher M. Brown},
  editor       = {John P. McDermott},
  title        = {Probabilistic Information Fusion for Multi-Modal Image Segmentation},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {779--782},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/041.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ChouB87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChunBA87,
  author       = {Hon Wai Chun and
                  Lawrence A. Bookman and
                  Niki Afshartous},
  editor       = {John P. McDermott},
  title        = {Network Regions: Alternatives to the Winner-Take-All Structure},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {380--387},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/078.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ChunBA87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CollinotP87,
  author       = {Anne Collinot and
                  Claude Le Pape},
  editor       = {John P. McDermott},
  title        = {Controlling Constraint Propagation},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1032--1034},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/094.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/CollinotP87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Connell87,
  author       = {Jonathan Connell},
  editor       = {John P. McDermott},
  title        = {Creature Design with the Subsumption Architecture},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1124--1126},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/108.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Connell87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Crowley87,
  author       = {James L. Crowley},
  editor       = {John P. McDermott},
  title        = {Coordination of Action and Perception in a Surveillance Robot},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {793--796},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/045.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Crowley87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Cunningham87,
  author       = {Padraig Cunningham},
  editor       = {John P. McDermott},
  title        = {Qualitative Reasoning in Electronic Fault Diagnosis},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {443--445},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/087.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Cunningham87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Danyluk87,
  author       = {Andrea Pohoreckyj Danyluk},
  editor       = {John P. McDermott},
  title        = {The Use of Explanations for Similarity-based Learning},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {274--276},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/055.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Danyluk87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DaviesR87,
  author       = {Todd R. Davies and
                  Stuart J. Russell},
  editor       = {John P. McDermott},
  title        = {A Logical Approach to Reasoning by Analogy},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {264--270},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/053.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DaviesR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Dayantis87,
  author       = {George Dayantis},
  editor       = {John P. McDermott},
  title        = {Logic Program Derivation for a Class of First Order Logic Relations},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {9--14},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/002.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Dayantis87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Dean87,
  author       = {Thomas Dean},
  editor       = {John P. McDermott},
  title        = {Large-Scale Temporal Data Bases for Planning in Complex Domains},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {860--866},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/063.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Dean87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Delgrande87,
  author       = {James P. Delgrande},
  editor       = {John P. McDermott},
  title        = {A Formal Approach to Learning From Examples},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {315--322},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/065.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Delgrande87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Delgrande87a,
  author       = {James P. Delgrande},
  editor       = {John P. McDermott},
  title        = {A Logic for Representing Default and Prototypical Properties},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {423--429},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/084.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Delgrande87a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Diederich87,
  author       = {Joachim Diederich},
  editor       = {John P. McDermott},
  title        = {Knowledge-based Knowledge Elicitation},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {201--204},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/039.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Diederich87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Dreschler-FischerG87,
  author       = {Leonie S. Dreschler{-}Fischer and
                  Frank Gnutzmann},
  editor       = {John P. McDermott},
  title        = {Feature Selection in Colour Images for Token Matching},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {749--751},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/033.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Dreschler-FischerG87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Driankov87,
  author       = {Dimiter Driankov},
  editor       = {John P. McDermott},
  title        = {Reasoning with Consistent Probabilities},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {899--901},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/068.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Driankov87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DuboisLP87,
  author       = {Didier Dubois and
                  J{\'{e}}r{\^{o}}me Lang and
                  Henri Prade},
  editor       = {John P. McDermott},
  title        = {Theorem Proving Under Uncertainty - {A} Possibility Theory-based Approach},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {984--986},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/084.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DuboisLP87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DurfeeL87,
  author       = {Edmund H. Durfee and
                  Victor R. Lesser},
  editor       = {John P. McDermott},
  title        = {Using Partial Global Plans to Coordinate Distributed Problem Solvers},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {875--883},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/065.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DurfeeL87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DyerFH87,
  author       = {Michael G. Dyer and
                  Margot Flowers and
                  Jack Hodges},
  editor       = {John P. McDermott},
  title        = {Naive Mechanics Comprehension and Invention in {EDISON}},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {696--699},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/020.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DyerFH87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EisenstadtB87,
  author       = {Marc Eisenstadt and
                  Mike Brayshaw},
  editor       = {John P. McDermott},
  title        = {Graphical Debugging with the Transparent {PROLOG} Machine {(TPM)}},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {83--86},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/015.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/EisenstadtB87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Emde87,
  author       = {Werner Emde},
  editor       = {John P. McDermott},
  title        = {Non-Cumulative Learning in {METAXA.3}},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {208--210},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/041.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Emde87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Epstein87,
  author       = {Susan L. Epstein},
  editor       = {John P. McDermott},
  title        = {On the Discovery of Mathematical Theorems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {194--197},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/037.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Epstein87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Etherington87,
  author       = {David W. Etherington},
  editor       = {John P. McDermott},
  title        = {Relating Default Logic and Circumscription},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {489--494},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/096.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Etherington87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Etherington87a,
  author       = {David W. Etherington},
  editor       = {John P. McDermott},
  title        = {A Semantics for Default Logic},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {495--498},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/097.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Etherington87a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EugenioL87,
  author       = {Barbara Di Eugenio and
                  Leonardo Lesmo},
  editor       = {John P. McDermott},
  title        = {Representation and Interpretation of Determiners in Natural Language},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {648--654},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/010.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/EugenioL87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Falkenhainer87,
  author       = {Brian Falkenhainer},
  editor       = {John P. McDermott},
  title        = {An Examination of the Third Stage in the Analogy Process: Verification-based
                  Analogical Learning},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {260--263},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/052.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Falkenhainer87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Faltings87,
  author       = {Boi Faltings},
  editor       = {John P. McDermott},
  title        = {Qualitative Kinematics in Mechanisms},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {436--442},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/086.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Faltings87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Farrell87,
  author       = {Robert G. Farrell},
  editor       = {John P. McDermott},
  title        = {Intelligent Case Selection and Presentation},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {174--176},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/033.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Farrell87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Faugeras87,
  author       = {Olivier D. Faugeras},
  editor       = {John P. McDermott},
  title        = {Artificial 3D Vision},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1169--1171},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/120.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Faugeras87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FaverjonT87,
  author       = {Bernard Faverjon and
                  Pierre Tournassoud},
  editor       = {John P. McDermott},
  title        = {The Mixed Approach for Motion Planning: Learning Global Strategies
                  from a Local Planner},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1131--1137},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/110.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FaverjonT87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Fischer87,
  author       = {Gerhard Fischer},
  editor       = {John P. McDermott},
  title        = {A Critic for {LISP}},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {177--184},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/034.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Fischer87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Fisher87,
  author       = {Robert B. Fisher},
  editor       = {John P. McDermott},
  title        = {Model Invocation for Three Dimensional Scene Understanding},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {805--807},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/048.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Fisher87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Fleck87,
  author       = {Margaret M. Fleck},
  editor       = {John P. McDermott},
  title        = {Representing Space for Practical Reasoning},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {728--730},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/027.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Fleck87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Forbus87,
  author       = {Kenneth D. Forbus},
  editor       = {John P. McDermott},
  title        = {The Logic of Occurrence},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {409--415},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/082.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Forbus87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ForbusNF87,
  author       = {Kenneth D. Forbus and
                  Paul Nielson and
                  Boi Faltings},
  editor       = {John P. McDermott},
  title        = {Qualitative Kinematics: {A} Framework},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {430--435},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/085.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ForbusNF87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Frisch87,
  author       = {Alan M. Frisch},
  editor       = {John P. McDermott},
  title        = {Inference without Chaining},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {515--519},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/102.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Frisch87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Fronhofer87,
  author       = {Bertram Fronh{\"{o}}fer},
  editor       = {John P. McDermott},
  title        = {{PLANLOG:} {A} Language Framework for the Integration of Procedural
                  and Logical Programming},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {15--17},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/003.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Fronhofer87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ganascia87,
  author       = {Jean{-}Gabriel Ganascia},
  editor       = {John P. McDermott},
  title        = {{CHARADE:} {A} Rule System Learning System},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {345--347},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/071.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Ganascia87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Gazdar87,
  author       = {Gerald Gazdar},
  editor       = {John P. McDermott},
  title        = {The New Grammar Formalisms - {A} Tutorial Survey (Abstract)},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1172},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/121.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Gazdar87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GeffnerP87,
  author       = {Hector Geffner and
                  Judea Pearl},
  editor       = {John P. McDermott},
  title        = {An Improved Constraint-Propagation Algorithm for Diagnosis},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1105--1111},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/105.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GeffnerP87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GeigerP87,
  author       = {Davi Geiger and
                  Tomaso A. Poggio},
  editor       = {John P. McDermott},
  title        = {An Optimal Scale for Edge Detection},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {745--748},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/032.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GeigerP87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GellerS87,
  author       = {James Geller and
                  Stuart C. Shapiro},
  editor       = {John P. McDermott},
  title        = {Graphical Deep Knowledge for Intelligent Machine Drafting},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {545--551},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/109.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GellerS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GergelyS87,
  author       = {Tam{\'{a}}s Gergely and
                  Zolt{\'{a}}n Szab{\'{o}}},
  editor       = {John P. McDermott},
  title        = {Inductive Inference on the Base of Fixed Point Theory},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {932--938},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/074.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GergelyS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GershonJT87,
  author       = {Ron Gershon and
                  Allan D. Jepson and
                  John K. Tsotsos},
  editor       = {John P. McDermott},
  title        = {The Use of Color in Highlight Identification},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {752--754},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/034.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GershonJT87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GershonJT87a,
  author       = {Ron Gershon and
                  Allan D. Jepson and
                  John K. Tsotsos},
  editor       = {John P. McDermott},
  title        = {From [R, G, {B]} to Surface Reflectance: Computing Color Constant
                  Descriptors in Images},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {755--758},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/035.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GershonJT87a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GhislanzoniST87,
  author       = {Robert Ghislanzoni and
                  Luca Spampinato and
                  Giorgio Tornielli},
  editor       = {John P. McDermott},
  title        = {Reflection as a Tool for Integration: An Exercise in Procedural Introspection},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {44--47},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/009.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GhislanzoniST87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GoldingRL87,
  author       = {Andrew R. Golding and
                  Paul S. Rosenbloom and
                  John E. Laird},
  editor       = {John P. McDermott},
  title        = {Learning General Search Control from Outside Guidance},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {334--337},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/069.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GoldingRL87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GranackiPA87,
  author       = {John J. Granacki Jr. and
                  Alice C. Parker and
                  Yigal Arens},
  editor       = {John P. McDermott},
  title        = {Understanding System Specifications Written in Natural Language},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {688--691},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/018.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GranackiPA87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GruberC87,
  author       = {Thomas R. Gruber and
                  Paul R. Cohen},
  editor       = {John P. McDermott},
  title        = {Knowledge Engineering Tools at the Architecture Level},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {100--105},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/019.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GruberC87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GuesgenJV87,
  author       = {Hans W. Guesgen and
                  Ulrich Junker and
                  Angi Vo{\ss}},
  editor       = {John P. McDermott},
  title        = {Constraints in a Hybrid Knowledge Representation System},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {30--33},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/006.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GuesgenJV87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GuggenheimerF87,
  author       = {H. Guggenheimer and
                  R. S. Freedman},
  editor       = {John P. McDermott},
  title        = {Foundations of Probabilistic Logic},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {939--941},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/075.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GuggenheimerF87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Guo87,
  author       = {Cheng{-}ming Guo},
  editor       = {John P. McDermott},
  title        = {Interactive Vocabulary Acquisition in {XTRA}},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {715--717},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/024.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Guo87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Gupta87,
  author       = {Ajay Gupta},
  editor       = {John P. McDermott},
  title        = {Hardware Diagnosis as Program Debugging},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {524--526},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/104.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Gupta87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Haas87,
  author       = {Andrew R. Haas},
  editor       = {John P. McDermott},
  title        = {Parallel Parsing for Unification Grammars},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {615--618},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/003.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Haas87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Haddock87,
  author       = {Nicholas J. Haddock},
  editor       = {John P. McDermott},
  title        = {Incremental Interpretation and Combinatory Categorial Grammar},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {661--663},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/012.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Haddock87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hammond87,
  author       = {Kristian J. Hammond},
  editor       = {John P. McDermott},
  title        = {Explaining and Repairing Plans that Fail},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {109--114},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/021.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Hammond87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HartmanT87,
  author       = {Leo B. Hartman and
                  Josh D. Tenenberg},
  editor       = {John P. McDermott},
  title        = {Performance in Practical Problem Solving},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {535--540},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/107.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HartmanT87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HasidaI87,
  author       = {K{\^{o}}iti Hasida and
                  Syun Isizaki},
  editor       = {John P. McDermott},
  title        = {Dependency Propagation: {A} Unified Theory of Sentence Comprehension
                  and Generation},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {664--670},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/013.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HasidaI87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hass87,
  author       = {L. J. de Hass},
  editor       = {John P. McDermott},
  title        = {Automatic Programming of Machine Vision Systems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {790--792},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/044.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Hass87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Haugh87,
  author       = {Brian A. Haugh},
  editor       = {John P. McDermott},
  title        = {Non-Standard Semantics for the Method of Temporal Arguments},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {449--455},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/089.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Haugh87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HayesA87,
  author       = {Patrick J. Hayes and
                  James F. Allen},
  editor       = {John P. McDermott},
  title        = {Short Time Periods},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {981--983},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/083.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HayesA87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HealeyB87,
  author       = {Glenn Healey and
                  Thomas O. Binford},
  editor       = {John P. McDermott},
  title        = {Color Algorithms for a General Vision System},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {759--762},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/036.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HealeyB87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HeinKT87,
  author       = {Hans{-}Werner Hein and
                  Gert M. Kellerman and
                  Christoph G. Thomas},
  editor       = {John P. McDermott},
  title        = {X-AiD: {A} Shell for Building Highly Interactive and Adaptive User
                  Interfaces},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {97--99},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/018.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HeinKT87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hendler87,
  author       = {James A. Hendler},
  editor       = {John P. McDermott},
  title        = {Marker-Passing and Microfeatures},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {151--154},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/029.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Hendler87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hentenryck87,
  author       = {Pascal Van Hentenryck},
  editor       = {John P. McDermott},
  title        = {A Theoretical Framework for Consistency Techniques in Logic Programming},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {2--8},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/001.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Hentenryck87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hill87,
  author       = {Walter L. Hill},
  editor       = {John P. McDermott},
  title        = {Machine Learning for Software Reuse},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {338--344},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/070.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Hill87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HirschbergLPW87,
  author       = {Julia Hirschberg and
                  Diane J. Litman and
                  Janet B. Pierrehumbert and
                  G. Ward},
  editor       = {John P. McDermott},
  title        = {Intonation and the Intentional Structure of Discourse},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {636--639},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/008.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HirschbergLPW87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hirsh87,
  author       = {Haym Hirsh},
  editor       = {John P. McDermott},
  title        = {Explanation-based Generalization in a Logic-Programming Environment},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {221--227},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/045.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Hirsh87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HobbsM87,
  author       = {Jerry R. Hobbs and
                  Paul A. Martin},
  editor       = {John P. McDermott},
  title        = {Local Pragmatics},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {520--523},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/103.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HobbsM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hoenkamp87,
  author       = {Edward Hoenkamp},
  editor       = {John P. McDermott},
  title        = {An Analysis of Psychological Experiments on Non-Monotonic Reasoning},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {115--117},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/022.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Hoenkamp87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HsiangRS87,
  author       = {Jieh Hsiang and
                  Micha{\"{e}}l Rusinowitch and
                  K{\^{o}} Sakai},
  editor       = {John P. McDermott},
  title        = {Complete Inference Rules for the Cancellation Laws},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {990--992},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/086.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HsiangRS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HsuWW87,
  author       = {Ching{-}Chi Hsu and
                  Shao{-}Ming Wu and
                  Jan{-}Jan Wu},
  editor       = {John P. McDermott},
  title        = {A Distributed Approach for Inferring Production Systems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {62--67},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/012.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HsuWW87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HullS87,
  author       = {Jonathan J. Hull and
                  Sargur N. Srihari},
  editor       = {John P. McDermott},
  title        = {Knowledge Utilization in Handwritten Zip Code Recognition},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {848--850},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/060.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HullS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HummelM87,
  author       = {Robert A. Hummel and
                  Larry M. Manevitz},
  editor       = {John P. McDermott},
  title        = {Combining Bodies of Dependent Information},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1015--1017},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/091.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HummelM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Iberall87,
  author       = {Thea Iberall},
  editor       = {John P. McDermott},
  title        = {Grasp Planning from Human Prehension},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1153--1156},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/114.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Iberall87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/IlineK87,
  author       = {Herman Iline and
                  Henry Kanoui},
  editor       = {John P. McDermott},
  title        = {Extending Logic Programming to Object Programming: The System Lap},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {34--39},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/007.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/IlineK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Imielinski87,
  author       = {Tomasz Imielinski},
  editor       = {John P. McDermott},
  title        = {Domain Abstraction and Limited Reasoning},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {997--1003},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/088.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Imielinski87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/IraniC87,
  author       = {Keki B. Irani and
                  Jie Cheng},
  editor       = {John P. McDermott},
  title        = {Subgoal Ordering and Goal Augmentation for Heuristic Problem Solving},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1018--1024},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/092.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/IraniC87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JacksonR87,
  author       = {Peter Jackson and
                  Han Reichgelt},
  editor       = {John P. McDermott},
  title        = {A General Proof Method for First-Order Modal Logic},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {942--944},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/076.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/JacksonR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Jacobs87,
  author       = {Paul S. Jacobs},
  editor       = {John P. McDermott},
  title        = {A Knowledge Framework for Natural Language Analysis},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {675--678},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/015.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Jacobs87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Johnson87,
  author       = {Bruce B. Johnson},
  editor       = {John P. McDermott},
  title        = {The Commercialization of {AI:} Part 1. The User Viewpoint (Panel)},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1164--1165},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/118.pdf},
  timestamp    = {Tue, 18 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Johnson87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Jones87,
  author       = {Mark A. Jones},
  editor       = {John P. McDermott},
  title        = {Feedback as a Coindexing Mechanism in Connectionist Architectures},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {602--610},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/001.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Jones87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kahn87,
  author       = {Gary S. Kahn},
  editor       = {John P. McDermott},
  title        = {From Application Shell to Knowledge Acquisition System},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {355--358},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/073.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Kahn87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KawaguchiMYK87,
  author       = {Atsuo Kawaguchi and
                  Riichiro Mizoguchi and
                  Takahira Yamaguchi and
                  Osamu Kakusho},
  editor       = {John P. McDermott},
  title        = {{SIS:} {A} Shell for Interview Systems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {359--361},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/074.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KawaguchiMYK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kempen87,
  author       = {Gerard Kempen},
  editor       = {John P. McDermott},
  title        = {A Framework for Incremental Syntactic Tree Formation},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {655--660},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/011.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Kempen87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KenderF87,
  author       = {John R. Kender and
                  David G. Freudenstein},
  editor       = {John P. McDermott},
  title        = {What is a 'Degenerate' View?},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {801--804},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/047.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KenderF87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KleinF87,
  author       = {David Klein and
                  Timothy W. Finin},
  editor       = {John P. McDermott},
  title        = {What's in a Deep Model? {A} Characterization of Knowledge Depth in
                  Intelligent Safety Systems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {559--562},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/111.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KleinF87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KodratoffT87,
  author       = {Yves Kodratoff and
                  Gheorghe Tecuci},
  editor       = {John P. McDermott},
  title        = {{DISCIPLE-1:} Interactive Apprentice System in Weak Theory Fields},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {271--273},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/054.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KodratoffT87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KohlHR87,
  author       = {Charles A. Kohl and
                  Allen R. Hanson and
                  Edward M. Riseman},
  editor       = {John P. McDermott},
  title        = {A Goal-Directed Intermediate Level Executive for Image Interpretation},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {811--814},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/050.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KohlHR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Konolige87,
  author       = {Kurt Konolige},
  editor       = {John P. McDermott},
  title        = {On the Relation Between Default Theories and Autoepistemic Logic},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {394--400},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/080.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Konolige87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Koseki87,
  author       = {Yoshiyuki Koseki},
  editor       = {John P. McDermott},
  title        = {Amalgamating Multiple Programming Paradigms in {PROLOG}},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {76--82},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/014.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Koseki87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KsiezykGS87,
  author       = {Tomasz Ksiezyk and
                  Ralph Grishman and
                  John Sterling},
  editor       = {John P. McDermott},
  title        = {An Equipment Model and its Role in the Interpretation of Noun Phrases},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {692--695},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/019.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KsiezykGS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KuipersC87,
  author       = {Benjamin Kuipers and
                  Charles Chiu},
  editor       = {John P. McDermott},
  title        = {Taming Intractible Branching in Qualitative Simulation},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1079--1085},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/101A.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KuipersC87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KumarM87,
  author       = {Krishna Kumar and
                  Amitabha Mukerjee},
  editor       = {John P. McDermott},
  title        = {Temporal Event Conceptualization},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {472--475},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/093.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KumarM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kyburg87,
  author       = {Henry E. Kyburg Jr.},
  editor       = {John P. McDermott},
  title        = {Objective Probabilities},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {902--904},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/069.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Kyburg87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ladkin87,
  author       = {Peter B. Ladkin},
  editor       = {John P. McDermott},
  title        = {The Completeness of a Natural System for Reasoning with Time Intervals},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {462--465},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/091.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Ladkin87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lakemeyer87,
  author       = {Gerhard Lakemeyer},
  editor       = {John P. McDermott},
  title        = {Tractable Meta-Reasoning in Propositional Logics of Belief},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {401--408},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/081.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Lakemeyer87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Laumond87,
  author       = {Jean{-}Paul Laumond},
  editor       = {John P. McDermott},
  title        = {Finding Collision-Free Smooth Trajectories for a Non-Holonomic Mobile
                  Robot},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1120--1123},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/107.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Laumond87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeeTCH87,
  author       = {Lin{-}Shan Lee and
                  Chiu{-}yu Tseng and
                  Keh{-}Jiann Chen and
                  James Huang},
  editor       = {John P. McDermott},
  title        = {The Preliminary Results of a Mandarin Dictation Machine Based Upon
                  Chinese Natural Language Analysis},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {619--621},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/004.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LeeTCH87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LenatF87,
  author       = {Douglas B. Lenat and
                  Edward A. Feigenbaum},
  editor       = {John P. McDermott},
  title        = {On the Thresholds of Knowledge},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1173--1182},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/122.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LenatF87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Letovsky87,
  author       = {Stanley Letovsky},
  editor       = {John P. McDermott},
  title        = {Program Understanding with the Lambda Calculus},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {512--514},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/101.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Letovsky87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Leyton87,
  author       = {Michael Leyton},
  editor       = {John P. McDermott},
  title        = {Process Recovery},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {771--774},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/039.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Leyton87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lifschitz87,
  author       = {Vladimir Lifschitz},
  editor       = {John P. McDermott},
  title        = {Formal Theories of Action (Preliminary Report)},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {966--972},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/081.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Lifschitz87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LindenG87,
  author       = {Theodore A. Linden and
                  Jay Glicksman},
  editor       = {John P. McDermott},
  title        = {Contingency Planning for an Autonomous Land Vehicle},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1047--1054},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/097.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LindenG87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lowry87,
  author       = {Michael R. Lowry},
  editor       = {John P. McDermott},
  title        = {The Abstraction/Implementation Model of Problem Reformulation},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1004--1010},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/089.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Lowry87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Luria87,
  author       = {Marc Luria},
  editor       = {John P. McDermott},
  title        = {Goal Conflict Concerns},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1025--1031},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/093.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Luria87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Malik87,
  author       = {Jitendra Malik},
  editor       = {John P. McDermott},
  title        = {Recovering Three Dimensional Shape from a Single Image of Curved Objects},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {734--737},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/029.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Malik87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ManagoK87,
  author       = {Michel Manago and
                  Yves Kodratoff},
  editor       = {John P. McDermott},
  title        = {Noise and Knowledge Acquisition},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {348--354},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/072.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ManagoK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Margolis87,
  author       = {Nancy Gardner Margolis},
  editor       = {John P. McDermott},
  title        = {Development of an Expert System for Diagnosing Problems on a Paper
                  Machine},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {362--365},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/075.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Margolis87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Martin87,
  author       = {James H. Martin},
  editor       = {John P. McDermott},
  title        = {Understanding New Metaphors},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {137--139},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/026.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Martin87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Martino87,
  author       = {Joseph di Martino},
  editor       = {John P. McDermott},
  title        = {On Multi-Level Machines for Continuous Speech Recognition},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {836--839},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/057.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Martino87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MathonetCV87,
  author       = {Robert Mathonet and
                  Herwig Van Cotthem and
                  Leon Vanryckeghem},
  editor       = {John P. McDermott},
  title        = {{DANTES:} An Expert System for Real-Time Network Troubleshooting},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {527--530},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/105.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MathonetCV87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MatsumotoS87,
  author       = {Yuji Matsumoto and
                  Ry{\^{o}}ichi Sugimura},
  editor       = {John P. McDermott},
  title        = {A Parsing System Based on Logic Programming},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {671--674},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/014.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MatsumotoS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McCluskey87,
  author       = {Thomas Leo McCluskey},
  editor       = {John P. McDermott},
  title        = {Combining Weak Learning Heuristics in General Problem Solvers},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {331--333},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/068.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/McCluskey87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McDowellD87,
  author       = {Joyce P. McDowell and
                  Kathleen Dahlgren},
  editor       = {John P. McDermott},
  title        = {Commonsense Reasoning with Verbs},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {446--448},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/088.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/McDowellD87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McKevittW87,
  author       = {Paul McKevitt and
                  Yorick Wilks},
  editor       = {John P. McDermott},
  title        = {Transfer Semantics in an Operating System Consultant: The Formalization
                  of Actions Involving Object Transfer},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {569--575},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/113.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/McKevittW87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MillerP87,
  author       = {Michael J. Miller and
                  Donald Perlis},
  editor       = {John P. McDermott},
  title        = {Proving Facts about "{\(\vert\)}"},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {499--501},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/098.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MillerP87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MintonC87,
  author       = {Steven Minton and
                  Jaime G. Carbonell},
  editor       = {John P. McDermott},
  title        = {Strategies for Learning Search Control Rules: An Explanation-based
                  Approach},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {228--235},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/046.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MintonC87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MoerdlerME87,
  author       = {Galina Datskovsky Moerdler and
                  Kathleen R. McKeown and
                  J. Robert Ensor},
  editor       = {John P. McDermott},
  title        = {Building Natural Language Interfaces for Rule-based Expert Systems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {682--687},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/017.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MoerdlerME87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Montini87,
  author       = {Giorgio Montini},
  editor       = {John P. McDermott},
  title        = {Efficiency Considerations on Built-in Taxonomic Reasoning in {PROLOG}},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {68--75},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/013.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Montini87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Morgenstern87,
  author       = {Leora Morgenstern},
  editor       = {John P. McDermott},
  title        = {Knowledge Preconditions for Actions and Plans},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {867--874},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/064.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Morgenstern87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MoriMPR87,
  author       = {Renato de Mori and
                  Ettore Merlo and
                  Mathew J. Palakal and
                  Jean Rouat},
  editor       = {John P. McDermott},
  title        = {Use of Procedural Knowledge for Automatic Speech Recognition},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {840--843},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/058.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MoriMPR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MostowB87,
  author       = {Jack Mostow and
                  Neeraj Bhatnagar},
  editor       = {John P. McDermott},
  title        = {Failsafe - {A} Floor Planner that Uses {EBG} to Learn from Its Failures},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {249--255},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/050.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MostowB87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MostowV87,
  author       = {Jack Mostow and
                  K. Voigt},
  editor       = {John P. McDermott},
  title        = {Explicit Integration of Goals in Heuristic Algorithm Design},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1090--1096},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/103.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MostowV87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Muggleton87,
  author       = {Stephen H. Muggleton},
  editor       = {John P. McDermott},
  title        = {Duce, An Oracle-based Approach to Constructive Induction},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {287--292},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/059.pdf},
  timestamp    = {Sat, 30 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Muggleton87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Mulder87,
  author       = {Jan A. Mulder},
  editor       = {John P. McDermott},
  title        = {An Algorithm which Automatically Constructs Discrimination Graphs
                  in a Visual Knowledge Base},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {855--859},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/062.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Mulder87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Murray87,
  author       = {K. S. Murray},
  editor       = {John P. McDermott},
  title        = {Multiple Convergence: An Approach to Disjunctive Concept Acquisition},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {297--300},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/061.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Murray87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MuscettolaS87,
  author       = {Nicola Muscettola and
                  Stephen F. Smith},
  editor       = {John P. McDermott},
  title        = {A Probabilistic Framework for Resource-Constrained Multi-Agent Planning},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1063--1066},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/099.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MuscettolaS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Natarajan87,
  author       = {K. S. Natarajan},
  editor       = {John P. McDermott},
  title        = {Optimizing Backtrack Search for all Solutions to Conjunctive Problems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {955--958},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/079.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Natarajan87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Nguyen87,
  author       = {Van{-}Duc Nguyen},
  editor       = {John P. McDermott},
  title        = {Exploiting 2D Topology in Labeling Polyhedral Images},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {787--789},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/043.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Nguyen87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NordhausenL87,
  author       = {Bernd Nordhausen and
                  Pat Langley},
  editor       = {John P. McDermott},
  title        = {Towards an Integrated Discovery System},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {198--200},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/038.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/NordhausenL87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Nutter87,
  author       = {Jane Terry Nutter},
  editor       = {John P. McDermott},
  title        = {Uncertainty and Probability},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {373--379},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/077.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Nutter87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OrtonyP87,
  author       = {Andrew Ortony and
                  Derek Partridge},
  editor       = {John P. McDermott},
  title        = {Surprisingness and Expectation Failure: What's the Difference?},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {106--108},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/020.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/OrtonyP87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Paris87,
  author       = {C{\'{e}}cile Paris},
  editor       = {John P. McDermott},
  title        = {Combining Discourse Strategies to Generate Descriptions to Users Along
                  a Naive/Expert Spectrum},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {626--632},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/006.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Paris87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PazzaniD87,
  author       = {Michael J. Pazzani and
                  Michael G. Dyer},
  editor       = {John P. McDermott},
  title        = {A Comparison of Concept Identification in Human Learning and Network
                  Learning with the Generalized Delta Rule},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {147--150},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/028.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/PazzaniD87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PazzaniDF87,
  author       = {Michael J. Pazzani and
                  Michael G. Dyer and
                  Margot Flowers},
  editor       = {John P. McDermott},
  title        = {Using Prior Learning to Facilitate the Learning of New Causal Theories},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {277--279},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/056.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/PazzaniDF87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PepperK87,
  author       = {Jeff Pepper and
                  Gary S. Kahn},
  editor       = {John P. McDermott},
  title        = {Repair Strategies in a Diagnostic Expert System},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {531--534},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/106.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/PepperK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Perlis87,
  author       = {Donald Perlis},
  editor       = {John P. McDermott},
  title        = {How Can a Program Mean?},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {163--166},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/031.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Perlis87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PetersS87,
  author       = {Sandra L. Peters and
                  Stuart C. Shapiro},
  editor       = {John P. McDermott},
  title        = {A Representation for Natural Category Systems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {140--146},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/027.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/PetersS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Pinson87,
  author       = {Suzanne Pinson},
  editor       = {John P. McDermott},
  title        = {A Multi-Attribute Approach to Knowledge Representation for Loan Granting},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {588--591},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/116.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Pinson87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PoesioR87,
  author       = {Massimo Poesio and
                  Claudio Rullent},
  editor       = {John P. McDermott},
  title        = {Modified Caseframe Parsing for Speech Understanding Systems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {622--625},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/005.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/PoesioR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Poole87,
  author       = {David Poole},
  editor       = {John P. McDermott},
  title        = {Variables in Hypotheses},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {905--908},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/070.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Poole87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PorrillPPBMF87,
  author       = {John Porrill and
                  Stephen Pollard and
                  Tony P. Pridmore and
                  Jonathan B. Bowen and
                  John E. W. Mayhew and
                  John P. Frisby},
  editor       = {John P. McDermott},
  title        = {{TINA:} The Sheffeild {AIVRU} Vision System},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1138--1144},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/111.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/PorrillPPBMF87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Quinlan87,
  author       = {J. Ross Quinlan},
  editor       = {John P. McDermott},
  title        = {Generating Production Rules from Decision Trees},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {304--307},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/063.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Quinlan87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RajamoneyD87,
  author       = {Shankar A. Rajamoney and
                  Gerald DeJong},
  editor       = {John P. McDermott},
  title        = {The Classification, Detection and Handling of Imperfect Theory Problems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {205--207},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/040.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/RajamoneyD87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RatcliffeS87,
  author       = {Michael Ratcliffe and
                  Jean{-}Claude Syre},
  editor       = {John P. McDermott},
  title        = {A Parallel Logic Programming Language for PEPSys},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {48--55},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/010.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/RatcliffeS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Rau87,
  author       = {Lisa F. Rau},
  editor       = {John P. McDermott},
  title        = {Spontaneous Retrieval in a Conceptual Information System},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {155--162},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/030.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Rau87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Raulefs87,
  author       = {Peter Raulefs},
  editor       = {John P. McDermott},
  title        = {A Representation Framework for Continuous Dynamic Systems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {466--471},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/092.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Raulefs87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ReinefeldM87,
  author       = {Alexander Reinefeld and
                  T. Anthony Marsland},
  editor       = {John P. McDermott},
  title        = {A Quantitative Analysis of Minimal Window Search},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {951--954},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/078.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ReinefeldM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Reinstein87,
  author       = {Harry C. Reinstein},
  editor       = {John P. McDermott},
  title        = {The Commercialization of {AI:} Part 2. The Vendor Viewpoint (Panel)},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1164--1165},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/118.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Reinstein87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RendellST87,
  author       = {Larry A. Rendell and
                  Raj Sheshu and
                  David K. Tcheng},
  editor       = {John P. McDermott},
  title        = {Layered Concept-Learning and Dynamically Variable Bias Management},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {308--314},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/064.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/RendellST87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Rougemont87,
  author       = {Michel de Rougemont},
  editor       = {John P. McDermott},
  title        = {Constructive Second-Order Proofs in Logical Databases},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {993--996},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/087.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Rougemont87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ruspini87,
  author       = {Enrique H. Ruspini},
  editor       = {John P. McDermott},
  title        = {Epistemic Logics, Probability, and the Calculus of Evidence},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {924--931},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/073.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Ruspini87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Sandewall87,
  author       = {Erik Sandewall},
  editor       = {John P. McDermott},
  title        = {The Pipelining Transformation on Plans for Manufacturing Cells with
                  Robots},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1055--1062},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/098.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Sandewall87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Schaefer87,
  author       = {Philip Schaefer},
  editor       = {John P. McDermott},
  title        = {Belief Functions for Real-Time Script Processing},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {502--508},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/099.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Schaefer87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Schefe87,
  author       = {Peter Schefe},
  editor       = {John P. McDermott},
  title        = {On Definitional Processes in Knowledge Reconstruction Systems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {509--511},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/100.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Schefe87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Schoppers87,
  author       = {Marcel Schoppers},
  editor       = {John P. McDermott},
  title        = {Universal Plans for Reactive Robots in Unpredictable Environments},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1039--1046},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/096.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Schoppers87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Segre87,
  author       = {Alberto Maria Segre},
  editor       = {John P. McDermott},
  title        = {On the Operationality/Generality Trade-off in Explanation-based Learning},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {242--248},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/049.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Segre87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Shanahan87,
  author       = {Murray Shanahan},
  editor       = {John P. McDermott},
  title        = {An Incremental Theorem Prover},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {987--989},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/085.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Shanahan87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ShavlikD87,
  author       = {Jude W. Shavlik and
                  Gerald DeJong},
  editor       = {John P. McDermott},
  title        = {An Explanation-based Approach to Generalizing Number},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {236--238},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/047.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ShavlikD87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ShekarMK87,
  author       = {B. Shekar and
                  M. Narasimha Murty and
                  G. Krishna},
  editor       = {John P. McDermott},
  title        = {Pattern Clustering: An Artificial Intelligence Approach},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {214--216},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/043.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ShekarMK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Shoham87,
  author       = {Yoav Shoham},
  editor       = {John P. McDermott},
  title        = {Nonmonotonic Logics: Meaning and Utility},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {388--393},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/079.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Shoham87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SilvermanTL87,
  author       = {Gary Silverman and
                  Roger Y. Tsai and
                  Mark Lavin},
  editor       = {John P. McDermott},
  title        = {Locating Polyhedral Objects from Edge Point Data},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1149--1152},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/113.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SilvermanTL87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SimmonsD87,
  author       = {Reid G. Simmons and
                  Randall Davis},
  editor       = {John P. McDermott},
  title        = {Generate, Test and Debug: Combining Associational Rules and Causal
                  Models},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1071--1078},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/101.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SimmonsD87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Singer87,
  author       = {Mark H. Singer},
  editor       = {John P. McDermott},
  title        = {Significant Feature Detection and Matching in Image Pairs},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {829--831},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/055.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Singer87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SlackM87,
  author       = {Marc G. Slack and
                  David P. Miller},
  editor       = {John P. McDermott},
  title        = {Path Planning Through Time and Space in Dynamic Domains},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1067--1070},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/100.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SlackM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Sleeman87,
  author       = {Derek H. Sleeman},
  editor       = {John P. McDermott},
  title        = {Some Challenges for Intelligent Tutoring Systems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1166--1168},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/119.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Sleeman87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SrihariB87,
  author       = {Sargur N. Srihari and
                  Radmilo M. Bozinovic},
  editor       = {John P. McDermott},
  title        = {A Multi-Level Perception Approach to Reading Cursive Script},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {844--847},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/059.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SrihariB87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/StantonM87,
  author       = {Robin S. Stanton and
                  Hugh G. Mackenzie},
  editor       = {John P. McDermott},
  title        = {Deduction-based Region-Use Planning},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {584--587},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/115.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/StantonM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Steier87,
  author       = {David M. Steier},
  editor       = {John P. McDermott},
  title        = {CYPRESS-Soar: {A} Case Study in Search and Learning in Algorithm Design},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {327--330},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/067.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Steier87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Stepp87,
  author       = {Robert E. Stepp},
  editor       = {John P. McDermott},
  title        = {Concepts in Conceptual Clustering},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {211--213},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/042.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Stepp87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Strat87,
  author       = {Thomas M. Strat},
  editor       = {John P. McDermott},
  title        = {The Generation of Explanations within Evidential Reasoning Systems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1097--1104},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/104.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Strat87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SubramanianG87,
  author       = {Devika Subramanian and
                  Michael R. Genesereth},
  editor       = {John P. McDermott},
  title        = {The Relevance of Irrelevance},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {416--422},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/083.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SubramanianG87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TaoZR87,
  author       = {Tao Yang and
                  Zhijun He and
                  Ruizhao Yu},
  editor       = {John P. McDermott},
  title        = {Performance Evaluation of the Inference Structure in Expert System},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {945--950},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/077.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TaoZR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Tenenberg87,
  author       = {Josh D. Tenenberg},
  editor       = {John P. McDermott},
  title        = {Preserving Consistency Across Abstraction Mappings},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1011--1014},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/090.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Tenenberg87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Thornton87,
  author       = {Chris Thornton},
  editor       = {John P. McDermott},
  title        = {Hypercuboid-Formation Behaviour of Two Learning Algorithms},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {301--303},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/062.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Thornton87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Tomabechi87,
  author       = {Hideto Tomabechi},
  editor       = {John P. McDermott},
  title        = {Direct Memory Access Translation},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {722--727},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/026.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Tomabechi87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TomitaC87,
  author       = {Masaru Tomita and
                  Jaime G. Carbonell},
  editor       = {John P. McDermott},
  title        = {The Universal Parser Architecture for Knowledge-based Machine Translation},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {718--721},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/025.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TomitaC87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TongHY87,
  author       = {Xuejun Tong and
                  Zhijun He and
                  Ruizao Yu},
  editor       = {John P. McDermott},
  title        = {A Tool for Building Second Generation Expert Systems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {91--96},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/017.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TongHY87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TouretzkyHT87,
  author       = {David S. Touretzky and
                  John F. Horty and
                  Richmond H. Thomason},
  editor       = {John P. McDermott},
  title        = {A Clash of Intuitions: The Current State of Nonmonotonic Multiple
                  Inheritance Systems},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {476--482},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/094.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TouretzkyHT87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Tsang87,
  author       = {Edward P. K. Tsang},
  editor       = {John P. McDermott},
  title        = {Time Structures for {AI}},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {456--461},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/090.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Tsang87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TsujiZ87,
  author       = {Saburo Tsuji and
                  Jiang Yu Zheng},
  editor       = {John P. McDermott},
  title        = {Visual Path Planning by a Mobile Robot},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1127--1130},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/109.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TsujiZ87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ValkonenJL87,
  author       = {K. Valkonen and
                  Harri J{\"{a}}ppinen and
                  Aarno Lehtola},
  editor       = {John P. McDermott},
  title        = {Blackboard-based Dependency Parsing},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {700--702},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/021.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ValkonenJL87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/VelthuijsenLV87,
  author       = {Hugo Velthuijsen and
                  Ben J. Lippolt and
                  Jeanette C. Vonk},
  editor       = {John P. McDermott},
  title        = {A Parallel Blackboard System for Robot Control},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1157--1161},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/115.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/VelthuijsenLV87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Veronis87,
  author       = {Jean V{\'{e}}ronis},
  editor       = {John P. McDermott},
  title        = {Discourse Consistency and Many-Sorted Logic},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {633--635},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/007.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Veronis87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wahlster87,
  author       = {Wolfgang Wahlster},
  editor       = {John P. McDermott},
  title        = {Pointing, Language and the Visual World: Towards Multimodal Input
                  and Output for Natural Language Dialog Systems (Panel)},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {1163},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/117.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Wahlster87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wallen87,
  author       = {Lincoln A. Wallen},
  editor       = {John P. McDermott},
  title        = {Matrix Proof Methods for Modal Logics},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {917--923},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/072.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Wallen87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WatanabeE87,
  author       = {Larry Watanabe and
                  Renee Elio},
  editor       = {John P. McDermott},
  title        = {Guiding Constructive Induction for Incremental Learning from Examples},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {293--296},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/060.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/WatanabeE87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WatrousS87,
  author       = {Raymond L. Watrous and
                  Lokendra Shastri},
  editor       = {John P. McDermott},
  title        = {Learning Phonetic Features Using Connectionist Networks},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {851--854},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/061.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/WatrousS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Weld87,
  author       = {Daniel S. Weld},
  editor       = {John P. McDermott},
  title        = {Comparative Analysis},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {959--965},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/080.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Weld87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wellman87,
  author       = {Michael P. Wellman},
  editor       = {John P. McDermott},
  title        = {Dominance and Subsumption in Constraint-Posting Planning},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {884--890},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/066.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Wellman87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WilksB87,
  author       = {Yorick Wilks and
                  Afzal Ballim},
  editor       = {John P. McDermott},
  title        = {Multiple Agents and the Heuristic Ascription of Belief},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {118--124},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/023.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/WilksB87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wilson87,
  author       = {Stewart W. Wilson},
  editor       = {John P. McDermott},
  title        = {Hierarchical Credit Allocation in a Classifier System},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {217--220},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/044.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Wilson87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WolstenholmeO87,
  author       = {David E. Wolstenholme and
                  Carl M. O'Brien},
  editor       = {John P. McDermott},
  title        = {{GLIMPSE} - {A} Statistical Adventure},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {596--601},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/118.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/WolstenholmeO87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WoolfM87,
  author       = {Beverly P. Woolf and
                  Thomas J. Murray},
  editor       = {John P. McDermott},
  title        = {A Framework for Representing Tutorial Discourse},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {189--193},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/036.pdf},
  timestamp    = {Thu, 02 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/WoolfM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/XuT87,
  author       = {Gang Xu and
                  Saburo Tsuji},
  editor       = {John P. McDermott},
  title        = {Recovering Surface Shape from Boundary},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {731--733},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/028.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/XuT87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Yamasaki87,
  author       = {Susumu Yamasaki},
  editor       = {John P. McDermott},
  title        = {A Network of Communicating Logic Programs and Its Semantics},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {24--29},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/005.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Yamasaki87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Yang87,
  author       = {Yiming Yang},
  editor       = {John P. McDermott},
  title        = {Combining Prediction, Syntactic Analysis and Semantic Analysis in
                  Chinese Sentence Analysis},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {679--681},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/016.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Yang87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Yokomori87,
  author       = {Takashi Yokomori},
  editor       = {John P. McDermott},
  title        = {Inductive Inference of Context-free Languages - Context-free Expression
                  Method},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {283--286},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/058.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Yokomori87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Zadrozny87,
  author       = {Wlodek Zadrozny},
  editor       = {John P. McDermott},
  title        = {Intended Models, Circumscription and Commonsense Reasoning},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {909--916},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-2/Papers/071.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Zadrozny87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Zernick87,
  author       = {Uri Zernik},
  editor       = {John P. McDermott},
  title        = {Language Acquisition: Learning a Hierarchy of Phrases},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {125--132},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/024.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Zernick87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Zernick87a,
  author       = {Uri Zernik},
  editor       = {John P. McDermott},
  title        = {Learning Idioms - With and Without Explanation},
  booktitle    = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  pages        = {133--136},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/Proceedings/87-1/Papers/025.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Zernick87a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1987,
  editor       = {John P. McDermott},
  title        = {Proceedings of the 10th International Joint Conference on Artificial
                  Intelligence. Milan, Italy, August 23-28, 1987},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://ijcai.org/proceedings/1987-1},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/1987.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics