Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ijcai/ijcai83.bht:"
download as .bib file
@inproceedings{DBLP:conf/ijcai/AbeIT83,
author = {Norihiro Abe and
Fumihide Itho and
Saburo Tsuji},
editor = {Alan Bundy},
title = {Toward Generation of 3-Dimensional Models of Objects Using 2-Dimensional
Figures and Explanations in Language},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1113--1115},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 20 Aug 2019 16:18:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AbeIT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AdorniMG83,
author = {Giovanni Adorni and
Mauro Di Manzo and
Fausto Giunchiglia},
editor = {Alan Bundy},
title = {Some Basic Mechanisms for Common Sense Reasoning About Stories Environments},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {72--74},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/015.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AdorniMG83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AirentiBC83,
author = {Gabriella Airenti and
Bruno G. Bara and
Marco Colombetti},
editor = {Alan Bundy},
title = {Planning Perlocutionary Acts},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {78--80},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/017.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AirentiBC83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AllenK83,
author = {James F. Allen and
Johannes A. G. M. Koomen},
editor = {Alan Bundy},
title = {Planning Using a Temporal World Model},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {741--747},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/036.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AllenK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AllenW83,
author = {Bradley P. Allen and
J. Mark Wright},
editor = {Alan Bundy},
title = {Integrating Logic Programs and Schemata},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {340--342},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/075.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AllenW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Anderson83,
author = {John R. Anderson},
editor = {Alan Bundy},
title = {Learning to Program},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {57--62},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/011.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Anderson83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AntoniouO83,
author = {Grigoris Antoniou and
Hans J{\"{u}}rgen Ohlbach},
editor = {Alan Bundy},
title = {{TERMINATOR}},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {916--919},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/071.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AntoniouO83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Appelt83,
author = {Douglas E. Appelt},
editor = {Alan Bundy},
title = {{TELEGRAM:} {A} Grammar Formalism for Language Planning},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {595--599},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/134.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Appelt83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Araya83,
author = {Agustin A. Araya},
editor = {Alan Bundy},
title = {Learning by Controlled Transference of Knowledge Between Domains},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {439--443},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/105.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Araya83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AsadaT83,
author = {Minoru Asada and
Saburo Tsuji},
editor = {Alan Bundy},
title = {Inferring Motion of Cylindrical Object From Shape Information},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1032--1034},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/094.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AsadaT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BarnardP83,
author = {Stephen T. Barnard and
Alex Pentland},
editor = {Alan Bundy},
title = {Three-Dimensional Shape From Line Drawings},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1062--1064},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BarnardP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Barnden83,
author = {John A. Barnden},
editor = {Alan Bundy},
title = {Intensions as Such: An Outline},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {280--286},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/064.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Barnden83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Barnett83,
author = {Jeffrey A. Barnett},
editor = {Alan Bundy},
title = {Optimal Searches From {AND} and {OR} Nodes},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {786--788},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/047.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Barnett83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BarnettC83,
author = {Jeffrey A. Barnett and
Don Cohen},
editor = {Alan Bundy},
title = {A Wrinkle on Satisficing Search Problems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {774--776},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/043.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BarnettC83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Barstow83,
author = {David R. Barstow},
editor = {Alan Bundy},
title = {A Perspective on Automatic Programming},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1170--1179},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Barstow83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bear83,
author = {John Bear},
editor = {Alan Bundy},
title = {A Breadth-First Parsing Model},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {696--698},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/024.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bear83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bell83,
author = {Wynne Bell},
editor = {Alan Bundy},
title = {Artificial Intelligence in the Classroom},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {87--89},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/019a.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bell83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Berthod83,
author = {Marc Berthod},
editor = {Alan Bundy},
title = {Global Optimization of a Consistent Labeling},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1065--1067},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Berthod83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Berwick83,
author = {Robert C. Berwick},
editor = {Alan Bundy},
title = {Learning Word Meanings From Examples},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {459--461},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/110.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Berwick83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Berwick83a,
author = {Robert C. Berwick},
editor = {Alan Bundy},
title = {A Deterministic Parser With Broad Coverage},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {710--712},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/028.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Berwick83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bhanu83,
author = {Bir Bhanu},
editor = {Alan Bundy},
title = {Recognition of Occluded Objects},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1136--1138},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bhanu83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BibelEF83,
author = {Wolfgang Bibel and
Elmar Eder and
Bertram Fronh{\"{o}}fer},
editor = {Alan Bundy},
title = {Towards an Advanced Implementation of the Connection Method},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {920--922},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/072.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BibelEF83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bien83,
author = {Janusz S. Bien},
editor = {Alan Bundy},
title = {Articles and Resource Control},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {675--677},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/018.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bien83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Blasius83,
author = {Karl{-}Hans Bl{\"{a}}sius},
editor = {Alan Bundy},
title = {Equality Reasoning in Clause Graphics},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {936--939},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/077.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Blasius83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bledsoe83,
author = {W. W. Bledsoe},
editor = {Alan Bundy},
title = {Using Examples to Generate Instantiations of Set Variables},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {892--901},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/068.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bledsoe83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Blicher83,
author = {A. Peter Blicher},
editor = {Alan Bundy},
title = {The Stereo Matching Problem From the Topological Viewpoint},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1046--1049},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Blicher83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Blum83,
author = {Robert L. Blum},
editor = {Alan Bundy},
title = {Representation of Empirically Derived Causal Relationships},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {268--271},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/062.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Blum83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BolesHH83,
author = {Robert C. Bolles and
Radu Patrice Horaud and
Marsja Jo Hannah},
editor = {Alan Bundy},
title = {3DPO: {A} Three-Dimensional Part Orientation System},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1116--1120},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BolesHH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonnetD83,
author = {Alain Bonnet and
Claude Dahan},
editor = {Alan Bundy},
title = {Oil-Well Data Interpretation Using Expert System and Pattern Recognition
Technique},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {185--189},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/040.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BonnetD83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BradyY83,
author = {Michael Brady and
Alan L. Yuille},
editor = {Alan Bundy},
title = {An Extremum Principle for Shape From Contour},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {969--972},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/083.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BradyY83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BrooksGS83,
author = {Rodney A. Brooks and
Richard P. Gabriel and
Guy L. Steele Jr.},
editor = {Alan Bundy},
title = {Lisp-in-Lisp: High Performance and Portability},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {845--849},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/060.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BrooksGS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BrooksL83,
author = {Rodney A. Brooks and
Tom{\'{a}}s Lozano{-}P{\'{e}}rez},
editor = {Alan Bundy},
title = {A Subdivision Algorithm Configuration Space for Findpath With Rotation},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {799--806},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/050.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BrooksL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BrownCS83,
author = {Christopher M. Brown and
Matthew B. Curtiss and
David B. Sher},
editor = {Alan Bundy},
title = {Advanced Hough Transform Implementations},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1081--1085},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BrownCS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BrownK83,
author = {John Seely Brown and
Johan de Kleer},
editor = {Alan Bundy},
title = {The Origin, Form, and Logic of Qualitative Physical Laws},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1158--1169},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BrownK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bruss83,
author = {Anni R. Bruss},
editor = {Alan Bundy},
title = {Is What You See What You Get?},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1053--1056},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bruss83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BylanderMC83,
author = {Tom Bylander and
Sanjay Mittal and
B. Chandrasekaran},
editor = {Alan Bundy},
title = {{CSRL:} {A} Language for Expert Systems for Diagnosis},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {218--221},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/048.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BylanderMC83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Byrd83,
author = {Roy J. Byrd},
editor = {Alan Bundy},
title = {Word Formation in Natural Language Processing Systems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {704--706},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/026.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Byrd83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CammarataMS83,
author = {Stephanie J. Cammarata and
David McArthur and
Randall Steeb},
editor = {Alan Bundy},
title = {Strategies of Cooperation in Distributed Problem Solving},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {767--770},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/041.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CammarataMS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CantonePLM83,
author = {Richard R. Cantone and
Frank J. Pipitone and
W. Brent Lander and
Michael P. Marrone},
editor = {Alan Bundy},
title = {Model-Based Probabilistic Reasoning for Electronics Troubleshooting},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {207--211},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/045.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CantonePLM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CappelliMV83,
author = {Amedeo Cappelli and
Lorenzo Moretti and
Carlo Vinchesi},
editor = {Alan Bundy},
title = {KL-Conc: {A} Language for Interacting With SI-Nets},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {333--336},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/073.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CappelliMV83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CarbonellBMA83,
author = {Jaime G. Carbonell and
W. Mark Boggs and
Michael L. Mauldin and
Peter G. Anick},
editor = {Alan Bundy},
title = {The {XCALIBUR} Project: {A} Natural Language Interface to Expert Systems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {653--656},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/012.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CarbonellBMA83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Cernuschi-FriasBC83,
author = {Bruno Cernuschi{-}Fr{\'{\i}}as and
Ruud M. Bolle and
David B. Cooper},
editor = {Alan Bundy},
title = {A New Conceptually Attractive and Computationally Effective Approach
to Shape From Shading},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {966--968},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/082.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Cernuschi-FriasBC83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Cerro83,
author = {Luis Fari{\~{n}}as del Cerro},
editor = {Alan Bundy},
title = {Temporal Reasoning and Termination of Programs},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {926--929},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/074.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Cerro83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Cheeseman83,
author = {Peter C. Cheeseman},
editor = {Alan Bundy},
title = {A Method of Computing Generalized Bayesian Probability Values for
Expert Systems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {198--202},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/043.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Cheeseman83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Chin83,
author = {David N. Chin},
editor = {Alan Bundy},
title = {A Case Study of Knowledge Representation in {UC}},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {388--390},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/092.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Chin83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Church83,
author = {Kenneth Ward Church},
editor = {Alan Bundy},
title = {Allophonic and Phonotactic Constraints Are Useful},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {636--638},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/007.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Church83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ClippingerM83,
author = {John H. Clippinger Jr. and
David D. McDonald},
editor = {Alan Bundy},
title = {Why Good Writing Is Easier to Understand},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {730--732},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/034.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ClippingerM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CloarecC83,
author = {Jean{-}Fran{\c{c}}ois Cloarec and
Jean{-}Fran{\c{c}}ois Cudelou},
editor = {Alan Bundy},
title = {An Experiment in Representing the Knowledge Involved in the Specification
and Design of Switching Systems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {385--387},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/091.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CloarecC83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Cohen83,
author = {Donald Cohen},
editor = {Alan Bundy},
title = {Symbolic Execution of the Gist Specification Language},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {17--20},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/003.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Cohen83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CohenG83,
author = {Paul R. Cohen and
Milton R. Grinberg},
editor = {Alan Bundy},
title = {A Framework for Heuristic Reasoning About Uncertainty},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {355--357},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/084.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CohenG83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CohenL83,
author = {Paul R. Cohen and
Mark D. Lieberman},
editor = {Alan Bundy},
title = {A Report on {FOLIO:} An Expert Assistant for Portfolio Managers},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {212--214},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/046.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CohenL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Colmerauer83,
author = {Alain Colmerauer},
editor = {Alan Bundy},
title = {Prolog in Ten Figures},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {487--499},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/117a.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Colmerauer83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CominoGGRSS83,
author = {R. Comino and
Roberto Gemello and
Giovanni Guida and
Claudio Rullent and
L. Sisto and
Marco Somalvico},
editor = {Alan Bundy},
title = {Understanding Natural Language Through Parallel Processing of Syntactic
and Semantic Knowledge: An Application to Data Base Query},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {663--667},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/015.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CominoGGRSS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ConeryK83,
author = {John S. Conery and
Dennis F. Kibler},
editor = {Alan Bundy},
title = {{AND} Parallelism in Logic Programs},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {539--543},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/125.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ConeryK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CorkillL83,
author = {Daniel D. Corkill and
Victor R. Lesser},
editor = {Alan Bundy},
title = {The Use of Meta-Level Control for Coordination in a Distributed Problem
Solving Network},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {748--756},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/037.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CorkillL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CornerAP83,
author = {D. F. Corner and
A. Patricia Ambler and
Robin J. Popplestone},
editor = {Alan Bundy},
title = {Reasoning About the Spatial Relationships Derived From a {RAPT} Program
for Describing Assembly by a Robot},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {842--844},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/059.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CornerAP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Cowie83,
author = {R. I. D. Cowie},
editor = {Alan Bundy},
title = {The Viewer's Place in Theories of Vision},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {952--958},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/080.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Cowie83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Cuena83,
author = {Jos{\'{e}} Cuena},
editor = {Alan Bundy},
title = {The Use of Simulation Models and Human Advice to Build an Expert System
for the Defense and Control of River Floods},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {246--249},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/056.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Cuena83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Danlos83,
author = {Laurence Danlos},
editor = {Alan Bundy},
title = {Some Issues in Generation From a Semantic Representation},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {606--609},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/137.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Danlos83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Davis83,
author = {Ernest Davis},
editor = {Alan Bundy},
title = {The Mercator Representation of Spatial Knowledge},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {295--301},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/066.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Davis83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DeJong83,
author = {Gerald DeJong},
editor = {Alan Bundy},
title = {Acquiring Schemata Through Understanding and Generalizing Plans},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {462--464},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/111.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DeJong83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DershowitzHJP83,
author = {Nachum Dershowitz and
Jieh Hsiang and
N. Alan Josephson and
David A. Plaisted},
editor = {Alan Bundy},
title = {Associative-Commutative Rewriting},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {940--944},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/078.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DershowitzHJP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DiamondNG83,
author = {M. D. Diamond and
N. Narasimhamurthi and
S. Ganapathy},
editor = {Alan Bundy},
title = {Optimization Approaches to the Problem of Edge Linking With a Focus
on Parallel Processing},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1003--1009},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/088.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DiamondNG83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DilgerW83,
author = {Werner Dilger and
Wolfgang Womann},
editor = {Alan Bundy},
title = {Semantic Networks as Abstract Data Types},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {321--324},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/070.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DilgerW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DodsonR83,
author = {D. C. Dodson and
Alan L. Rector},
editor = {Alan Bundy},
title = {"Logal": Algorithmic Control Structures for Prolog},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {536--538},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/124.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DodsonR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Doyle83,
author = {Jon Doyle},
editor = {Alan Bundy},
title = {A Society of Mind-Multiple Perspectives, Reasoned Assumptions, and
Virtual Copies},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {309--314},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/068.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Doyle83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Doyle83a,
author = {Jon Doyle},
editor = {Alan Bundy},
title = {The Ins and Outs of Reason Maintenance},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {349--351},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/082.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Doyle83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Dyer83,
author = {Michael G. Dyer},
editor = {Alan Bundy},
title = {Understanding Stories Through Morals and Remindings},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {75--77},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/016.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Dyer83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EdmanT83,
author = {Anneli Edman and
Sten{-}{\AA}ke T{\"{a}}rnlund},
editor = {Alan Bundy},
title = {Mechanization of an Oracle in a Debugging System},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {553--555},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/129.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EdmanT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Eilman83,
author = {Jeremy Eilman},
editor = {Alan Bundy},
title = {An Indirect Approach to Types of Speech Acts},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {600--602},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/135.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Eilman83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ElfesT83,
author = {Alberto Elfes and
Sarosh Talukdar},
editor = {Alan Bundy},
title = {A Distributed Control System for the {CMU} Rover},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {830--833},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/056.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ElfesT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EmdeHR83,
author = {Werner Emde and
Christopher Habel and
Claus{-}Rainer Rollinger},
editor = {Alan Bundy},
title = {The Discovery of the Equator or Concept Driven Learning},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {455--458},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/109.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EmdeHR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FangH83,
author = {Jia{-}Qi Fang and
Thomas S. Huang},
editor = {Alan Bundy},
title = {Estimating 3-0 Movement of a Rigid Object: Experimental Results},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1035--1037},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FangH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FaugerasH83,
author = {Olivier D. Faugeras and
Martial Hebert},
editor = {Alan Bundy},
title = {A 3-D Recognition and Positioning Algorithm Using Geometrical Matching
Between Primitive Surfaces},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {996--1002},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/087.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FaugerasH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FaugerasP83,
author = {Olivier D. Faugeras and
Jean Ponce},
editor = {Alan Bundy},
title = {Prism Trees: {A} Hierarchical Representation for 3-D Objects},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {982--988},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/085.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FaugerasP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Feuer83,
author = {Alan R. Feuer},
editor = {Alan Bundy},
title = {Building Libraries in Prolog},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {550--552},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/128.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Feuer83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FilmanLM83,
author = {Robert E. Filman and
John Lamping and
Fanya S. Montalvo},
editor = {Alan Bundy},
title = {Meta-Knowledge and Meta-Reasoning},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {365--369},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/087.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FilmanLM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Finin83,
author = {Timothy W. Finin},
editor = {Alan Bundy},
title = {Providing Help and Advice in Task Oriented Systems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {176--178},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/037.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Finin83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FischlerB83,
author = {Martin A. Fischler and
Robert C. Bolles},
editor = {Alan Bundy},
title = {Perceptual Organization and the Curve Partitioning Problem},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1014--1018},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/090.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FischlerB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FischlerW83,
author = {Martin A. Fischler and
Helen C. Wolf},
editor = {Alan Bundy},
title = {Machine Perception of Linear Structure},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1010--1013},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/089.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FischlerW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Fisher83,
author = {Robert B. Fisher},
editor = {Alan Bundy},
title = {Using Surfaces and Object Models to Recognize Partially Obscured Objects},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {989--995},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/086.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Fisher83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Forbus83,
author = {Kenneth D. Forbus},
editor = {Alan Bundy},
title = {Measurement Interpretation in Qualitative Process Theory},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {315--320},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/069.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Forbus83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FoxLK83,
author = {Mark S. Fox and
Simon Lowenfeld and
Pamela Kleinosky},
editor = {Alan Bundy},
title = {Techniques for Sensor-Based Diagnosis},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {158--163},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/032.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FoxLK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FreyRR83,
author = {Werner Frey and
Uwe Reyle and
Christian Rohrer},
editor = {Alan Bundy},
title = {Automatic Construction of a Knowledge Base by Analysing Texts in Natural
Language},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {727--729},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/033.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FreyRR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Fribourg83,
author = {Laurent Fribourg},
editor = {Alan Bundy},
title = {A Superposition Oriented Theorem Prover},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {923--925},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/073.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Fribourg83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FusaokaST83,
author = {Akira Fusaoka and
Hirohisa Seki and
Kazuko Takahashi},
editor = {Alan Bundy},
title = {A Description and Reasoning of Plant Controllers in Temporal Logic},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {405--408},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/096.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FusaokaST83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Gazdar83,
author = {Gerald Gazdar},
editor = {Alan Bundy},
title = {Phrase Structure Grammars and Natural Languages},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {556--565},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/130.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Gazdar83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Gehrke83,
author = {Manfred Gehrke},
editor = {Alan Bundy},
title = {Syntax, Semantics, and Pragmatics in Concert: An Incremental, Multilevel
Approach in Reconstructing Task-Oriented Dialogues},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {721--723},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/031.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Gehrke83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GeorgeffB83,
author = {Michael P. Georgeff and
Umberto Bonollo},
editor = {Alan Bundy},
title = {Procedural Expert Systems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {151--157},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/031.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GeorgeffB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GergelyV83,
author = {Tam{\'{a}}s Gergely and
Konstantin Vershinin},
editor = {Alan Bundy},
title = {Negative Hyper-Resolution for Proving Statements Containing Transitive
Relations},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {877--881},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/066.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GergelyV83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GhallabA83,
author = {Malik Ghallab and
Dennis G. Allard},
editor = {Alan Bundy},
title = {A\({}_{\mbox{epsilon}}\) - An Efficient Near Admissible Heuristic
Search Algorithm},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {789--791},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/048.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GhallabA83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiniG83,
author = {Maria L. Gini and
Giuseppina C. Gini},
editor = {Alan Bundy},
title = {Towards Automatic Error Recovery in Robot Programs},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {821--823},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/053.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GiniG83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Glicksman83,
author = {Jay Glicksman},
editor = {Alan Bundy},
title = {Using Multiple Information Sources in a Computational Vision System},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1078--1080},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Glicksman83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrayM83,
author = {Peter M. D. Gray and
David S. Moffat},
editor = {Alan Bundy},
title = {Manipulating Descriptions of Programs for Database Access},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {21--24},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/003A.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GrayM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrechanovskyP83,
author = {Eugene Grechanovsky and
Ilia Pinsker},
editor = {Alan Bundy},
title = {An Algorithm for Moving a Computer-Controlled Manipulator While Avoiding
Obstacles},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {807--813},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/051.pdf},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/GrechanovskyP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GreinerG83,
author = {Russell Greiner and
Michael R. Genesereth},
editor = {Alan Bundy},
title = {What's New? {A} Semantic Definition of Novelty},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {450--454},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/108.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GreinerG83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Gresse83,
author = {Christian Gresse},
editor = {Alan Bundy},
title = {Automatic Programming From Data Types Decomposition Patterns},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {37--39},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/006.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Gresse83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Grover83,
author = {Mark D. Grover},
editor = {Alan Bundy},
title = {A Pragmatic Knowledge Acquisition Methodology},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {436--438},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/104.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Grover83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Guiho83,
author = {G{\'{e}}rard D. Guiho},
editor = {Alan Bundy},
title = {Automatic Programming Using Abstract Data Types},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1--9},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/001.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Guiho83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HagertH83,
author = {G{\"{o}}ran Hagert and
{\AA}ke Hansson},
editor = {Alan Bundy},
title = {Logic Modelling of Cognitive Reasoning},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {81--83},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/018.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HagertH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hallam83,
author = {John Hallam},
editor = {Alan Bundy},
title = {Resolving Observer Motion by Object Tracking},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {792--798},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/049.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Hallam83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HayesC83,
author = {Philip J. Hayes and
Jaime G. Carbonell},
editor = {Alan Bundy},
title = {A Framework for Processing Corrections in Task-Oriented Dialogues},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {668--670},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/016.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HayesC83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hearne83,
author = {James W. Hearne},
editor = {Alan Bundy},
title = {Simulating Non-Deductive Reasoning},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {362--364},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/086.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Hearne83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Herik83,
author = {H. Jaap van den Herik},
editor = {Alan Bundy},
title = {Representation of Experts' Knowledge in a Subdomain of Chess Intelligence},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {252--255},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/058.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Herik83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HermanABKLUW83,
author = {Gabor T. Herman and
Leon Axel and
Ruzena Bajcsy and
Harold L. Kundel and
R. LeVeen and
Jayaram K. Udupa and
G. Wolf},
editor = {Alan Bundy},
title = {Model Driven Visualization of Coronary Arteries},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1128--1131},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/HermanABKLUW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HermanKK83,
author = {Martin Herman and
Takeo Kanade and
Shigeru Kuroe},
editor = {Alan Bundy},
title = {The 3D {MOSAIC} Scene Understanding System},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1108--1112},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HermanKK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HoeppnerCMMNOW83,
author = {Wolfgang Hoeppner and
Thomas Christaller and
Heinz Marburger and
Katharina Morik and
Bernhard Nebel and
Mike O'Leary and
Wolfgang Wahlster},
editor = {Alan Bundy},
title = {Beyond Domain-Independence: Experience With the Development of a German
Language Access System to Highly Diverse Background Systems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {588--594},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/133.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HoeppnerCMMNOW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HuertasN83,
author = {Andres Huertas and
Ramakant Nevatia},
editor = {Alan Bundy},
title = {Detection of Buildings in Aerial Images Using Shape and Shadows},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1099--1103},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HuertasN83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hunt83,
author = {G. M. K. Hunt},
editor = {Alan Bundy},
title = {Admissible Hypotheses and Enhanced Learning},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {444--446},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/106.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Hunt83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hyvonen83,
author = {Eero Hyv{\"{o}}nen},
editor = {Alan Bundy},
title = {Graph Grammar Approach to Natural Language Parsing and Understanding},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {671--674},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/017.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Hyvonen83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ishizaki83,
author = {Shun Ishizaki},
editor = {Alan Bundy},
title = {Generation of Japanese Sentences From Conceptual Representation},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {613--615},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/139.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Ishizaki83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Jacobs83,
author = {Paul S. Jacobs},
editor = {Alan Bundy},
title = {Generation in a Natural Language Interface},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {610--612},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/138.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Jacobs83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JaffarLL83,
author = {Joxan Jaffar and
Jean{-}Louis Lassez and
John W. Lloyd},
editor = {Alan Bundy},
title = {Completeness of the Negation as Failure Rule},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {500--506},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/118.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/JaffarLL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Jameson83,
author = {Anthony Jameson},
editor = {Alan Bundy},
title = {Impression Monitoring in Evaluation-Oriented Dialog - The Role of
the Listener's Assumed Expectations and Values in the Generation of
Informative Statements},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {616--620},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/001.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Jameson83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Jones83,
author = {Karen Sparck Jones},
editor = {Alan Bundy},
title = {Shifting Meaning Representations},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {621--623},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/002.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Jones83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Jones83a,
author = {Mark A. Jones},
editor = {Alan Bundy},
title = {Activation-Based Parsing},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {678--682},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/019.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Jones83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JouannaudKR83,
author = {Jean{-}Pierre Jouannaud and
H{\'{e}}l{\`{e}}ne Kirchner and
Jean{-}Luc R{\'{e}}my},
editor = {Alan Bundy},
title = {Church-Rosser Properties of Weakly Terminating Term Rewriting Systems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {909--915},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/070.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/JouannaudKR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kaindl83,
author = {Hermann Kaindl},
editor = {Alan Bundy},
title = {Searching to Variable Depth in Computer Chess},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {760--762},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/039.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Kaindl83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KalmanP83,
author = {John A. Kalman and
J. G. Peterson},
editor = {Alan Bundy},
title = {Computer-Aided Studies of All Possible Shortest Single Axioms for
the Equivalential Calculus},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {933--935},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/076.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KalmanP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kanayama83,
author = {Yutaka Kanayama},
editor = {Alan Bundy},
title = {Concurrent Programming of Intelligent Robots},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {834--838},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/057.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Kanayama83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kandrashina83,
author = {E. Yu Kandrashina},
editor = {Alan Bundy},
title = {Representation of Temporal Knowledge},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {346--348},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/081.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Kandrashina83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KasifKM83,
author = {Simon Kasif and
Madhur Kohli and
Jack Minker},
editor = {Alan Bundy},
title = {{PRISM:} {A} Parallel Inference System for Problem Solving},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {544--546},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/126.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KasifKM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kass83,
author = {Michael Kass},
editor = {Alan Bundy},
title = {A Computational Framework for the Visual Correspondence Problem},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1043--1045},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Kass83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KehlerFPRR83,
author = {Thomas P. Kehler and
Peter Friedland and
Harry E. Pople and
Ren{\'{e}} Reboh and
Steve Rosenberg},
editor = {Alan Bundy},
title = {Industrial Strength Knowledge Bases: Issues and Experiences - Knowledge
Base Stability, Memory: Unitorm or Structured, Integrity, Knowledge
Acquisition and the User Interface, Joint Knowledge Base Development,
Intertaces to Databases (Panel)},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {108--109},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/024.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KehlerFPRR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kellogg83,
author = {Charles Kellogg},
editor = {Alan Bundy},
title = {Intelligent Assistants for Knowledge and Information Resources Management},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {170--172},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/035.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Kellogg83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kender83,
author = {John R. Kender},
editor = {Alan Bundy},
title = {Environmental Labelings in Low-Level Image Understanding},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1104--1107},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Kender83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KiblerP83,
author = {Dennis F. Kibler and
Bruce W. Porter},
editor = {Alan Bundy},
title = {Perturbation: {A} Means for Guiding Generalization},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {415--418},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/098.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KiblerP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KimP83,
author = {Jin H. Kim and
Judea Pearl},
editor = {Alan Bundy},
title = {A Computational Model for Causal and Diagnostic Reasoning in Inference
Systems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {190--193},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/041.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KimP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KittredgeM83,
author = {Richard I. Kittredge and
Igor Mel'cuk},
editor = {Alan Bundy},
title = {Towards a Computable Model of Meaning-Text Relations Within a Natural
Sublanguage},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {657--659},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/013.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KittredgeM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KodratoffC83,
author = {Yves Kodratoff and
Jacqueline Castaing},
editor = {Alan Bundy},
title = {Trivializing the Proof of Trivial Theorems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {930--932},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/075.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KodratoffC83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Konolige83,
author = {Kurt Konolige},
editor = {Alan Bundy},
title = {A Deductive Model of Belief},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {377--381},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/090.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Konolige83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KonstWEJ83,
author = {L. Konst and
Bob J. Wielinga and
Jan J. Elshout and
Wouter N. H. Jansweijer},
editor = {Alan Bundy},
title = {Semi-Automated Analysis of Protocols From Novices and Experts Solving
Physics Problems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {97--99},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/022.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KonstWEJ83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kornfeld83,
author = {William A. Kornfeld},
editor = {Alan Bundy},
title = {Equality for Prolog},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {514--519},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/120.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Kornfeld83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Koskenniemi83,
author = {Kimmo Koskenniemi},
editor = {Alan Bundy},
title = {Two-Level Model for Morphological Analysis},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {683--685},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/020.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Koskenniemi83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KowalskiGYD83,
author = {Robert A. Kowalski and
Herv{\'{e}} Gallaire and
Toshio Yokoi and
Robert B. K. Dewar},
editor = {Alan Bundy},
title = {Panel on the Fifth Generation Project},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1192--1194},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KowalskiGYD83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KuipersK83,
author = {Benjamin Kuipers and
Jerome P. Kassirer},
editor = {Alan Bundy},
title = {How to Discover a Knowledge Representation for Causal Reasoning by
Studying an Expert Physician},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {49--56},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/010.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KuipersK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LairdN83,
author = {John E. Laird and
Allen Newell},
editor = {Alan Bundy},
title = {A Universal Weak Method: Summary of Results},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {771--773},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/042.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LairdN83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Langley83,
author = {Pat Langley},
editor = {Alan Bundy},
title = {Learning Effective Search Heuristics},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {419--421},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/099.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Langley83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LangleyZBS83,
author = {Pat Langley and
Jan M. Zytkow and
Gary L. Bradshaw and
Herbert A. Simon},
editor = {Alan Bundy},
title = {Three Facets of Scientific Discovery},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {465--468},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/112.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LangleyZBS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Laumond83,
author = {Jean{-}Paul Laumond},
editor = {Alan Bundy},
title = {Model Structuring and Concept Recognition: Two Aspects of Learning
for a Mobile Robot},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {839--841},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/058.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Laumond83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lebowitz83,
author = {Michael Lebowitz},
editor = {Alan Bundy},
title = {Creating a Story-Telling Universe},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {63--65},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/012.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Lebowitz83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeeBH83,
author = {Mark H. Lee and
David P. Barnes and
Nigel W. Hardy},
editor = {Alan Bundy},
title = {Knowledge Based Error Recovery in Industrial Robots},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {824--826},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/054.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LeeBH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lehnert83,
author = {Wendy G. Lehnert},
editor = {Alan Bundy},
title = {Narrative Complexity Based on Summarization Algorithms},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {713--716},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/029.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Lehnert83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LenatBMTW83,
author = {Douglas B. Lenat and
Alan Borning and
David W. McDonald and
Craig Taylor and
Steven Weyer},
editor = {Alan Bundy},
title = {Knoesphere: Building Expert Systems With Encyclopedic Knowledge},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {167--169},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/034.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LenatBMTW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LenatCK83,
author = {Douglas B. Lenat and
Albert Clarkson and
Garo Kiremidjian},
editor = {Alan Bundy},
title = {An Expert System for Indications and Warning Analysis},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {259--262},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/060.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LenatCK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LongR83,
author = {William J. Long and
Thomas A. Russ},
editor = {Alan Bundy},
title = {A Control Structure for Time Dependent Reasoning},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {230--232},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/051.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LongR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LouW83,
author = {C. M. Lou and
J. Wang},
editor = {Alan Bundy},
title = {Structure Based Control Strategy},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {222--224},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/049.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LouW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LovelandV83,
author = {Donald W. Loveland and
Marco Valtorta},
editor = {Alan Bundy},
title = {Detecting Ambiguity: An Example in Knowledge Evaluation},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {182--184},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/039.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LovelandV83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lukaszewicz83,
author = {Witold Lukaszewicz},
editor = {Alan Bundy},
title = {General Approach to Nonmonotonic Logics},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {352--354},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/083.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Lukaszewicz83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LuxS83,
author = {Augustin Lux and
Viviane Souvignier},
editor = {Alan Bundy},
title = {{PVV:} {A} Goal-Oriented System for Industrial Vision},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1121--1124},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LuxS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Mackworth83,
author = {Alan K. Mackworth},
editor = {Alan Bundy},
title = {On Seeing Things, Again},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1187--1191},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Mackworth83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Maida83,
author = {Anthony S. Maida},
editor = {Alan Bundy},
title = {Knowing Intensional Individuals, and Reasoning About Knowing Intensional
Individuals},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {382--384},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/090a.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Maida83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MalikB83,
author = {Jitendra Malik and
Thomas O. Binford},
editor = {Alan Bundy},
title = {Reasoning in Time and Space},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {343--345},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/080.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MalikB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Markus83,
author = {Andr{\'{a}}s M{\'{a}}rkus},
editor = {Alan Bundy},
title = {Shifting the Focus of Attention: The Way Agatha Christie Leads You
On},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {66--68},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/013.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Markus83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Marsland83,
author = {T. Anthony Marsland},
editor = {Alan Bundy},
title = {Relative Efficiency of Alpha-Beta Implementations},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {763--766},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/040.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Marsland83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MartinAP83,
author = {Paul A. Martin and
Douglas E. Appelt and
Fernando C. N. Pereira},
editor = {Alan Bundy},
title = {Transportability and Generality in a Natural-Language Interface System},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {573--581},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/131.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MartinAP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MartinsS83,
author = {Jo{\~{a}}o P. Martins and
Stuart C. Shapiro},
editor = {Alan Bundy},
title = {Reasoning in Multiple Belief Spaces},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {370--373},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/088.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MartinsS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MasuiMS83,
author = {Shoichi Masui and
John P. McDermott and
Alan Sobel},
editor = {Alan Bundy},
title = {Decision-Making in Time-Critical Situations},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {233--235},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/052.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MasuiMS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McCarty83,
author = {L. Thorne McCarty},
editor = {Alan Bundy},
title = {Permissions and Obligations},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {287--294},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/065.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/McCarty83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McCuneH83,
author = {William McCune and
Lawrence J. Henschen},
editor = {Alan Bundy},
title = {Semantic Paramodulation for Horn Sets},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {902--908},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/069.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/McCuneH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McDermott83,
author = {John P. McDermott},
editor = {Alan Bundy},
title = {Extracting Knowledge From Expert Systems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {100--107},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/023.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/McDermott83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McDermott83a,
author = {Drew V. McDermott},
editor = {Alan Bundy},
title = {Generalizing Problem Reduction: {A} Logical Analysis},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {302--308},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/067.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/McDermott83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McKeown83,
author = {Kathleen R. McKeown},
editor = {Alan Bundy},
title = {Focus Constraints on Language Generation},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {582--587},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/132.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/McKeown83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MeersmanA83,
author = {Robert Meersman and
Frans Van Assche},
editor = {Alan Bundy},
title = {Modelling and Manipulating Production Data Bases in Terms of Semantic
Nets},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {325--329},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/071.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MeersmanA83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MellishH83,
author = {Chris Mellish and
Steve Hardy},
editor = {Alan Bundy},
title = {Integrating Prolog Into the Poplog Environment},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {533--535},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/123.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MellishH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MichalskiB83,
author = {Ryszard S. Michalski and
Arthur B. Baskin},
editor = {Alan Bundy},
title = {Integrating Multiple Knowledge Representations and Learning Capabilities
in an Expert System: The {ADVISE} System},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {256--258},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/059.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MichalskiB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Miller83,
author = {Perry L. Miller},
editor = {Alan Bundy},
title = {Medical Plan-Analysis: The Attending System},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {239--241},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/054.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Miller83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Mitchell83,
author = {Tom M. Mitchell},
editor = {Alan Bundy},
title = {Learning and Problem Solving},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1139--1151},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Mitchell83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MizoguchiIK83,
author = {Riichiro Mizoguchi and
Yukuo Isomoto and
Osamu Kakusho},
editor = {Alan Bundy},
title = {Expert System as an Intelligent Assistant for Computer Users},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {173--175},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/036.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MizoguchiIK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Moore83,
author = {Robert C. Moore},
editor = {Alan Bundy},
title = {Semantical Considerations on Nonmonotonic Logic},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {272--279},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/063.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Moore83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Morik83,
author = {Katharina Morik},
editor = {Alan Bundy},
title = {Demand and Requirements for Natural Language Systems - Results of
an Inquiry},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {647--649},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/010.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Morik83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Mostow83,
author = {Jack Mostow},
editor = {Alan Bundy},
title = {Program Transtormations for {VLSI}},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {40--43},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Mostow83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Mudler83,
author = {Joachim Mudler},
editor = {Alan Bundy},
title = {A System for Improving the Recognition of Fluently Spoken German Speech},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {633--635},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/006.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Mudler83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Mueckstein83,
author = {Eva{-}Maria M. Mueckstein},
editor = {Alan Bundy},
title = {{Q-TRANS:} Query Translation Into English},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {660--662},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/014.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Mueckstein83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Mukai83,
author = {Kuniaki Mukai},
editor = {Alan Bundy},
title = {A Unification Algorithm for Infinite Trees},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {547--549},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/127.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Mukai83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NadathurJ83,
author = {Gopalan Nadathur and
Aravind K. Joshi},
editor = {Alan Bundy},
title = {Mutual Beliefs in Conversational Systems: Their Role in Referring
Expressions},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {603--605},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/136.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NadathurJ83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Nagel83,
author = {Hans{-}Hellmut Nagel},
editor = {Alan Bundy},
title = {Constraints for the Estimation of Displacement Vector Fields From
Image Sequences},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {945--951},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/079.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Nagel83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Nakagawa83,
author = {Sei{-}ichi Nakagawa},
editor = {Alan Bundy},
title = {A Recognition Method of Connected Spoken Words With Syntactical Constraints
by Augmented Continuous {DP} Algorithm},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {639--642},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/008.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Nakagawa83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NaorP83,
author = {Joseph Naor and
Shmuel Peleg},
editor = {Alan Bundy},
title = {Image Compression and Filtering Using Pyramid Data Structures},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1086--1088},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NaorP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NaqviH83,
author = {Shamim A. Naqvi and
Lawrence J. Henschen},
editor = {Alan Bundy},
title = {Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative
Programs},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {25--28},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/004.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NaqviH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NarainMK83,
author = {Sanjai Narain and
David McArthur and
Philip Klahr},
editor = {Alan Bundy},
title = {Large-Scale System Development in Several Lisp Environments},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {859--861},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/063.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NarainMK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NeumannN83,
author = {Bernd Neumann and
Hans{-}Joachim Novak},
editor = {Alan Bundy},
title = {Event Models for Recognition and Natural Language Description of Events
in Real-World Image Sequences},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {724--726},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/032.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NeumannN83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Nilsson83,
author = {Martin Nilsson},
editor = {Alan Bundy},
title = {A Logical Model of Knowledge},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {374--376},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/089.pdf},
timestamp = {Mon, 14 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Nilsson83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NilssonCKDBC83,
author = {Nils J. Nilsson and
Sandra B. Cook and
Alan C. Kay and
Faye Duchin and
Margaret A. Boden and
Dennis Chamot},
editor = {Alan Bundy},
title = {Artificial Intelligence: Its Impact on Human Occupations and Distribution
of Income},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1195--1198},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NilssonCKDBC83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NishidaKD83,
author = {Toyoaki Nishida and
Akira Kosaka and
Shuji Doshita},
editor = {Alan Bundy},
title = {Towards Knowledge Acquisition From Natural Language Documents - Automatic
Model Construction From Hardware Manual},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {482--486},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/117.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NishidaKD83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Norvig83,
author = {Peter Norvig},
editor = {Alan Bundy},
title = {Frame Activated Inferences in a Story Understanding Program},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {624--626},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/003.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Norvig83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OKane83,
author = {Mary O'Kane},
editor = {Alan Bundy},
title = {The {FOPHO} Speech Recognition Project},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {630--632},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/005.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/OKane83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OKeefe83,
author = {Richard A. O'Keefe},
editor = {Alan Bundy},
title = {Concept Formation From Very Large Training Sets},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {479--481},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/116.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/OKeefe83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ohlsson83,
author = {Stellan Ohlsson},
editor = {Alan Bundy},
title = {A Constrained Mechanism for Procedural Learning},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {426--428},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/101.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Ohlsson83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ohsuga83,
author = {Setsuo Ohsuga},
editor = {Alan Bundy},
title = {Predicate Logic Involving Data Structure as a Knowledge Representation
Language},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {391--394},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/093.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Ohsuga83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OshersonSW83,
author = {Daniel N. Osherson and
Michael Stob and
Scott Weinstein},
editor = {Alan Bundy},
title = {Formal Theories of Language Acquisition: Practical and Theoretical
Perspectives},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {566--572},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/130a.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/OshersonSW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PaciniT83,
author = {Giuliano Pacini and
Franco Turini},
editor = {Alan Bundy},
title = {Demonizing Production Systems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {862--866},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/064.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/PaciniT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Pentland83,
author = {Alex Pentland},
editor = {Alan Bundy},
title = {Fractal-Based Description},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {973--981},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/084.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Pentland83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Phillips83,
author = {Brian Phillips},
editor = {Alan Bundy},
title = {An Object-Oriented Parser for Text Understanding},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {690--692},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/022.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Phillips83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Potmesil83,
author = {Michael Potmesil},
editor = {Alan Bundy},
title = {Generating Models of Solid Objects by Matching 3D Surface Segments},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1089--1093},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Potmesil83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Prade83,
author = {Henri Prade},
editor = {Alan Bundy},
title = {A Synthetic View of Approximate Reasoning Techniques},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {130--136},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/028.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Prade83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Prazdny83,
author = {K. Prazdny},
editor = {Alan Bundy},
title = {Computing Convergence Angle From Random Dot Stereograms},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1050--1052},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Prazdny83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Quinlan83,
author = {J. Ross Quinlan},
editor = {Alan Bundy},
title = {Consistency and Plausible Reasoning},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {137--144},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/029.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Quinlan83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/QuinquetonS83,
author = {Jo{\"{e}}l Quinqueton and
Jean Sallantin},
editor = {Alan Bundy},
title = {Algorithms for Learning Logical Formulas},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {476--478},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/115.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/QuinquetonS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Rada83,
author = {Roy Rada},
editor = {Alan Bundy},
title = {Characterizing Search Spaces},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {780--782},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/045.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Rada83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Reboh83,
author = {Ren{\'{e}} Reboh},
editor = {Alan Bundy},
title = {Extracting Useful Advice From Conflicting Expertise},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {145--150},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/030.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Reboh83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ReddyJ83,
author = {Uday S. Reddy and
Bharat Jayaraman},
editor = {Alan Bundy},
title = {Theory of Linear Equations Applied to Program Transformation},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {10--16},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/002.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ReddyJ83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ReimerH83,
author = {Ulrich Reimer and
Udo Hahn},
editor = {Alan Bundy},
title = {A Formal Approach to the Semantics of a Frame Data Model},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {337--339},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/074.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ReimerH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ReiterGKMW83,
author = {Raymond Reiter and
Herv{\'{e}} Gallaire and
Jonathan J. King and
John Mylopoulos and
Bonnie L. Webber},
editor = {Alan Bundy},
title = {A Panel on {AI} and Databases},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1199},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ReiterGKMW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Rendell83,
author = {Larry A. Rendell},
editor = {Alan Bundy},
title = {A Learning System Which Accommodates Feature Interactions},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {469--472},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/113.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Rendell83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ReyleF83,
author = {Uwe Reyle and
Werner Frey},
editor = {Alan Bundy},
title = {A {PROLOG} Implementation of Lexical Functional Grammar},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {693--695},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/023.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ReyleF83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RiegerL83,
author = {Joachim H. Rieger and
Daryl T. Lawton},
editor = {Alan Bundy},
title = {Sensor Motion and Relative Depth From Difference Fields of Optic Flows},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1027--1031},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/093.pdf},
timestamp = {Thu, 17 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/RiegerL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Rissland83,
author = {Edwina L. Rissland},
editor = {Alan Bundy},
title = {Examples in Legal Reasoning: Legal Hypotheticals},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {90--93},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/020.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Rissland83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Rollinger83,
author = {Claus{-}Rainer Rollinger},
editor = {Alan Bundy},
title = {How to Represent Evidence - Aspects of Uncertain Reasoning},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {358--361},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/085.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Rollinger83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Roos83,
author = {Jean{-}Luis Roos},
editor = {Alan Bundy},
title = {Artificial Intelligence and Macro-Economy, An Application},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {250--251},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/057.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Roos83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Rosenberg83,
author = {Steven Rosenberg},
editor = {Alan Bundy},
title = {{HPRL:} {A} Language for Building Expert Systems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {215--217},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/047.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Rosenberg83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Rosenschein83,
author = {Stanley J. Rosenschein},
editor = {Alan Bundy},
title = {Natural-Language Processing: Crucible for Computational Theories of
Cognition},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1180--1186},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Rosenschein83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SabahR83,
author = {G{\'{e}}rard Sabah and
Mohamed Rady},
editor = {Alan Bundy},
title = {A Deterministic Syntactic-Semantic Parser},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {707--709},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/027.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SabahR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SageL83,
author = {Stephanie Sage and
Pat Langley},
editor = {Alan Bundy},
title = {Modeling Cognitive Development on the Balance Scale Task},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {94--96},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/021.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SageL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Samuel83,
author = {Arthur L. Samuel},
editor = {Alan Bundy},
title = {AI, Where It Has Been and Where It Is Going},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1152--1157},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Samuel83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SatoS83,
author = {Masahiko Sato and
Takafumi Sakurai},
editor = {Alan Bundy},
title = {Qute: {A} Prolog/Lisp Type Language for Logic Programming},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {507--513},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/119.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SatoS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SauersW83,
author = {Ron Sauers and
Rick Walsh},
editor = {Alan Bundy},
title = {On the Requirements of Future Expert Systems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {110--115},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/025.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SauersW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchmolzeL83,
author = {James G. Schmolze and
Thomas A. Lipkis},
editor = {Alan Bundy},
title = {Classification in the {KL-ONE} Knowledge Representation System},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {330--332},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/072.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SchmolzeL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Schoppers83,
author = {Marcel Schoppers},
editor = {Alan Bundy},
title = {On A* as a Special Case of Ordered Search},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {783--785},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/046.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Schoppers83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ScottV83,
author = {Paul D. Scott and
Robert C. Vogt},
editor = {Alan Bundy},
title = {Knowledge Oriented Learning},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {432--435},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/103.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ScottV83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SedlmeyerTJ83,
author = {Robert L. Sedlmeyer and
William B. Thompson and
Paul E. Johnson},
editor = {Alan Bundy},
title = {Diagnostic Reasoning in Software Fault Localization},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {29--31},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/004A.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SedlmeyerTJ83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Shapiro83,
author = {Ehud Y. Shapiro},
editor = {Alan Bundy},
title = {Logic Programs With Uncertainties: {A} Tool for Implementing Rule-Based
Systems},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {529--532},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/122.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Shapiro83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Shepherd83,
author = {B. A. Shepherd},
editor = {Alan Bundy},
title = {An Appraisal of a Decision Tree Approach to Image Classification},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {473--475},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/114.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Shepherd83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ShibaharaTMC83,
author = {Tetsutaro Shibahara and
John K. Tsotsos and
John Mylopoulos and
H. Dominic Covvey},
editor = {Alan Bundy},
title = {{CAA:} {A} Knowledge Based System Using Causal Knowledge to Diagnose
Cardiac Rhythm Disorders},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {242--245},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/055.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ShibaharaTMC83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Shieber83,
author = {Stuart M. Shieber},
editor = {Alan Bundy},
title = {Sentence Disambiguation by a Shift-Reduce Parsing Technique},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {699--703},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/025.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Shieber83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ShimazuNN83,
author = {Akira Shimazu and
Shozo Naito and
Hirosato Nomura},
editor = {Alan Bundy},
title = {Japanese Language Semantic Analyzer Based on an Extended Case Frame
Model},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {717--720},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/030.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ShimazuNN83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Silver83,
author = {Bernard Silver},
editor = {Alan Bundy},
title = {Learning Equation Solving Methods From Examples},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {429--431},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/102.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Silver83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SlomanMWSH83,
author = {Aaron Sloman and
Drew V. McDermott and
William A. Woods and
Brian Cantwell Smith and
Patrick J. Hayes},
editor = {Alan Bundy},
title = {Under What Conditions Can a Machine Attribute Meanings to Symbols},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {44--48},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/008.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SlomanMWSH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Smith83,
author = {Douglas R. Smith},
editor = {Alan Bundy},
title = {A Problem Reduction Approach to Program Synthesis},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {32--36},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/005.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Smith83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Smith83a,
author = {Stephen F. Smith},
editor = {Alan Bundy},
title = {Flexible Learning of Problem Solving Heuristics Through Adaptive Search},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {422--425},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/100.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Smith83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Smith83b,
author = {Reid G. Smith},
editor = {Alan Bundy},
title = {{STROBE:} Support for Structured Object Knowledge Representation},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {855--858},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/062.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Smith83b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SmithB83,
author = {Reid G. Smith and
James D. Baker},
editor = {Alan Bundy},
title = {The Dipmeter Advisor System - {A} Case Study in Commercial Expert
System Development},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {122--129},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/027.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SmithB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Steels83,
author = {Luc Steels},
editor = {Alan Bundy},
title = {Descriptions as Constraints in Object-Oriented Representation},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {395--397},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/093a.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Steels83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SteinackerT83,
author = {Ingeborg Steinacker and
Harald Trost},
editor = {Alan Bundy},
title = {Structural Relations - {A} Case Against Case},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {627--629},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/004.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SteinackerT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Stevens83,
author = {Kemt A. Stevens},
editor = {Alan Bundy},
title = {The Line of Curvature Constraint and the Interpretation of 3-D Shape
From Parallel Surface Contours},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1057--1061},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Stevens83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/StolfoMS83,
author = {Salvatore J. Stolfo and
Daniel P. Miranker and
David Elliot Shaw},
editor = {Alan Bundy},
title = {Architecture and Applications of {DADO:} {A} Large-Scale Parallel
Computer for Artificial Intelligence},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {850--854},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/061.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/StolfoMS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/StuthBB83,
author = {Bernhard H. Stuth and
Dana H. Ballard and
Christopher M. Brown},
editor = {Alan Bundy},
title = {Boundary Conditions in Multiple Intrinsic Images},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1068--1072},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/StuthBB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Tanaka83,
author = {Takushi Tanaka},
editor = {Alan Bundy},
title = {Representation and Analysis of Electrical Circuits in a Deductive
System},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {263--267},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/061.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Tanaka83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Terzopoulos83,
author = {Demetri Terzopoulos},
editor = {Alan Bundy},
title = {The Role of Constraints and Discontinuities in Visible-Surface Reconstruction},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1073--1077},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Terzopoulos83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ThompsonJM83,
author = {William B. Thompson and
Paul E. Johnson and
James B. Moen},
editor = {Alan Bundy},
title = {Recognition-Based Diagnostic Reasoning},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {236--238},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/053.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ThompsonJM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ThorpeS83,
author = {Charles E. Thorpe and
Steven A. Shafer},
editor = {Alan Bundy},
title = {Correspondence in Line Drawings of Multiple Views of Objects},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {959--965},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/081.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ThorpeS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Tomita83,
author = {Fumiaki Tomita},
editor = {Alan Bundy},
title = {A Learning Vision System for 2D Object Recognition},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1132--1135},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Tomita83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TongSDM83,
author = {Richard M. Tong and
Daniel G. Shapiro and
Jeffrey S. Dean and
Brian P. McCune},
editor = {Alan Bundy},
title = {A Comparison of Uncertainty Calculi in an Expert System for Information
Retrieval},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {194--197},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/042.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/TongSDM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TropfW83,
author = {Hermann Tropf and
I. Walter},
editor = {Alan Bundy},
title = {An {ATN} Model for 3-D Recognition of Solids in Single Images},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1094--1098},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Thu, 03 Nov 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/TropfW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Tsai83,
author = {Roger Y. Tsai},
editor = {Alan Bundy},
title = {3-D Inference From the Motion Parallax of a Conic Arc and a Point
in Two Perspective Views},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1038--1042},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Tsai83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Utgoff83,
author = {Paul E. Utgoff},
editor = {Alan Bundy},
title = {Adjusting Bias in Concept Learning},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {447--449},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/107.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Utgoff83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Valtorta83,
author = {Marco Valtorta},
editor = {Alan Bundy},
title = {A Result on the Computational Complexity of Heuristic Estimates for
the A* Algorithm},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {777--779},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/044.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Valtorta83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/VesonderSZMC83,
author = {Gregg T. Vesonder and
Salvatore J. Stolfo and
John E. Zielinski and
Frederick D. Miller and
David H. Copp},
editor = {Alan Bundy},
title = {{ACE:} An Expert System for Telephone Cable Maintenance},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {116--121},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/026.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/VesonderSZMC83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WahlsterMJB83,
author = {Wolfgang Wahlster and
Heinz Marburger and
Anthony Jameson and
Stephan Busemann},
editor = {Alan Bundy},
title = {Over-Answering Yes-No Questions: Extended Responses in a {NL} Interface
to a Vision System},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {643--646},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/009.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WahlsterMJB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Walker83,
author = {Adrian Walker},
editor = {Alan Bundy},
title = {Prolog/Ex 1, An Inference Engine Which Explains Both Yes and No Answers},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {526--528},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/121.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Walker83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wallace83,
author = {J. G. (Iain) Wallace},
editor = {Alan Bundy},
title = {Motives and Emotions in a General Learning System},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {84--86},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/019.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Wallace83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Walther83,
author = {Christoph Walther},
editor = {Alan Bundy},
title = {A Many-Sorted Calculus Based on Resolution and Paramodulation},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {882--891},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/067.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Walther83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WebberM83,
author = {Bonnie L. Webber and
Eric Mays},
editor = {Alan Bundy},
title = {Varieties of User Misconceptions: Detection and Correction},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {650--652},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/011.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WebberM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wehrli83,
author = {Eric Wehrli},
editor = {Alan Bundy},
title = {A Modular Parser for French},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {686--689},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/021.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Wehrli83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wesley83,
author = {Leonard P. Wesley},
editor = {Alan Bundy},
title = {Reasoning About Control: The Investigation of an Evidential Approach},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {203--206},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/044.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Wesley83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wilensky83,
author = {Robert Wilensky},
editor = {Alan Bundy},
title = {Memory and Inference},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {402--404},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/095.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Wilensky83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wilkins83,
author = {David E. Wilkins},
editor = {Alan Bundy},
title = {Representation in a Domain-Independent Planner},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {733--740},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/035.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Wilkins83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WilliamsOS83,
author = {Thomas L. Williams and
Paul J. Orgren and
Carl L. Smith},
editor = {Alan Bundy},
title = {Diagnosis of Multiple Faults in a Nationwide Communications Network},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {179--181},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/038.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WilliamsOS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WilsonJ83,
author = {Walter G. Wilson and
Chester C. John},
editor = {Alan Bundy},
title = {Semantic Code Analysis},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {520--525},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WilsonJ83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Witkin83,
author = {Andrew P. Witkin},
editor = {Alan Bundy},
title = {Scale-Space Filtering},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1019--1022},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/091.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Witkin83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WitkinT83,
author = {Andrew P. Witkin and
Jay M. Tenenbaum},
editor = {Alan Bundy},
title = {What Is Perceptual Organization For?},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1023--1026},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/092.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WitkinT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Witkowski83,
author = {C. M. Witkowski},
editor = {Alan Bundy},
title = {A Parallel Processor Algorithm for Robot Route Planning},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {827--829},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/055.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Witkowski83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wood83,
author = {Sharon Wood},
editor = {Alan Bundy},
title = {Dynamic World Simulation for Planning With Multiple Agents},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {69--71},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/014.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Wood83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wos83,
author = {Larry Wos},
editor = {Alan Bundy},
title = {Automated Reasoning: Real Uses and Potential Uses},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {867--876},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/065.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Wos83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wysotzki83,
author = {Fritz Wysotzki},
editor = {Alan Bundy},
title = {Representation and Induction of Infinite Concepts and Recursive Action
Sequences},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {409--414},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/097.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Wysotzki83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/XinsongGY83,
author = {Jiang Xinsong and
Song Guoning and
Chen Yu},
editor = {Alan Bundy},
title = {{AI} Research in China: {A} Review},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {164--166},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/033.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/XinsongGY83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/XiwenW83,
author = {Xiwen Ma and
Weide Guo},
editor = {Alan Bundy},
title = {{W-JS:} {A} Modal Logic of Knowledge},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {398--401},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/094.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/XiwenW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/YachidaIT83,
author = {Masahiko Yachida and
T. Ichinose and
Saburo Tsuji},
editor = {Alan Bundy},
title = {Model-Guided Monitoring of a Building Environment by a Mobile Robot},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1125--1127},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/YachidaIT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/YamadaM83,
author = {Naoyuki Yamada and
Hiroshi Motoda},
editor = {Alan Bundy},
title = {A Diagnosis Method of Dynamic System Using the Knowledge on System
Description},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {225--229},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/050.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/YamadaM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Yin83,
author = {Boalin Yin},
editor = {Alan Bundy},
title = {A Framework for Handling Vision Data in an Object Level Robot Language
- {RAPT}},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {814--820},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/052.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Yin83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhangZ83,
author = {Ling Zhang and
Bo Zhang},
editor = {Alan Bundy},
title = {The Statistical Inference Method in Heuristic Search Techniques},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {757--759},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/038.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ZhangZ83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1983,
editor = {Alan Bundy},
title = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/proceedings/1983-1},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/1983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-01 00:36 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
