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/ijcai73.bht:"
download as .bib file
@inproceedings{DBLP:conf/ijcai/AginB73,
author = {Gerald J. Agin and
Thomas O. Binford},
editor = {Nils J. Nilsson},
title = {Computer Description of Curved Objects},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {629--640},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/068.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:01 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AginB73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AmblerBBBP73,
author = {A. Patricia Ambler and
Harry G. Barrow and
Christopher M. Brown and
Rod M. Burstall and
Robin J. Popplestone},
editor = {Nils J. Nilsson},
title = {A Versatile Computer-Controlled Assembly System},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {298--307},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/033.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AmblerBBBP73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bajcsy73,
author = {Ruzena Bajcsy},
editor = {Nils J. Nilsson},
title = {Computer Description of Textured Surfaces},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {572--579},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/061.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bajcsy73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Balzer73,
author = {Robert Balzer},
editor = {Nils J. Nilsson},
title = {A Gobal View of Automatic Programming},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {494--499},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/054.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Balzer73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Balzer73a,
author = {Robert Balzer},
editor = {Nils J. Nilsson},
title = {{CASAP:} {A} Testbed for Program Flexibility},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {601--605},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/064.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Balzer73a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Berliner73,
author = {Hans J. Berliner},
editor = {Nils J. Nilsson},
title = {Some Necessary Conditions for a Master Chess Program},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {77--85},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/010.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Berliner73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BissCSW73,
author = {Kenneth Biss and
Robert T. Chien and
Fred A. Stahl and
Steven J. Weissman},
editor = {Nils J. Nilsson},
title = {Semantic Modeling for Deductive Question-Answering},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {356--363},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/038.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BissCSW73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BledsoeB73,
author = {W. W. Bledsoe and
Peter Bruell},
editor = {Nils J. Nilsson},
title = {A Man-Machine Theorem-Proving System},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {56--66},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/008a.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BledsoeB73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bobrow73,
author = {Daniel G. Bobrow},
editor = {Nils J. Nilsson},
title = {A Model for Control Structures for Artificial Intelligence Programming
Languages},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {246--254},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/027C.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bobrow73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Boffey73,
author = {T. Brian Boffey},
editor = {Nils J. Nilsson},
title = {Some Theoretical Results Concerning Automated Game-Playing},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {18--22},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/003.pdf},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Boffey73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BoyerM73,
author = {Robert S. Boyer and
J Strother Moore},
editor = {Nils J. Nilsson},
title = {Proving Theorems about {LISP} Functions},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {486--493},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/053.pdf},
timestamp = {Mon, 19 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BoyerM73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Brown73,
author = {John Seely Brown},
editor = {Nils J. Nilsson},
title = {Steps Toward Automatic Theory Formation},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {121--129},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/014.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Brown73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bruce73,
author = {Bertram C. Bruce},
editor = {Nils J. Nilsson},
title = {Case Structure Systems},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {364--371},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/039.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bruce73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BuchananS73,
author = {Bruce G. Buchanan and
N. S. Sridharan},
editor = {Nils J. Nilsson},
title = {Analysis of Behavior of Chemical Molecules: Rule Formation on Non-Homogeneous
Classes of Objects},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {67--76},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/009.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BuchananS73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bundy73,
author = {Alan Bundy},
editor = {Nils J. Nilsson},
title = {Doing Arithmetic with Diagrams},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {130--138},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/015.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bundy73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CarbonellC73,
author = {James R. Carbonell and
Allan M. Collins},
editor = {Nils J. Nilsson},
title = {Natural Semantics in Artificial Intelligence},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {344--351},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/036.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CarbonellC73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Charniak73,
author = {Eugene Charniak},
editor = {Nils J. Nilsson},
title = {Jack and Janet in Search of a Theory of Knowledge},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {337--343},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/035.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Charniak73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Darlington73,
author = {Jared L. Darlington},
editor = {Nils J. Nilsson},
title = {Automatic Program Synthesis in Second-Order Logic},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {537--542},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/055C.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Darlington73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DarlingtonB73,
author = {John Darlington and
Rod M. Burstall},
editor = {Nils J. Nilsson},
title = {A System which Automatically Improves Programs},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {479--485},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/052.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DarlingtonB73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Deutsch73,
author = {L. Peter Deutsch},
editor = {Nils J. Nilsson},
title = {A {LISP} Machine with Very Compact Programs},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {697},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/076.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Deutsch73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Didday73,
author = {Richard L. Didday},
editor = {Nils J. Nilsson},
title = {Thoughts About a Visually Guided Grasp Reflex},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {658--664},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/071.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Didday73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DobrotinS73,
author = {Boris M. Dobrotin and
Victor Scheinman},
editor = {Nils J. Nilsson},
title = {Design of a Computer Controlled Manipulator for Robot Research},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {291--297},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/032.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DobrotinS73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EisenstadtK73,
author = {Marc Eisenstadt and
Yaakov Kareev},
editor = {Nils J. Nilsson},
title = {Toward a Model of Human Game Playing},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {458--464},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/049.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EisenstadtK73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EneaC73,
author = {Horace J. Enea and
Kenneth Mark Colby},
editor = {Nils J. Nilsson},
title = {Idiolectic Language-Analysis for Understanding Doctor-Patient Dialogues},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {278--284},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/031.pdf},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EneaC73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ErmanFLR73,
author = {Lee D. Erman and
R. D. Fenneli and
Victor R. Lesser and
Dabbala Rajagopal Reddy},
editor = {Nils J. Nilsson},
title = {System Organizations for Speech Understanding: Implications of Network
and Multiprocessor Computer Architecture for {AI}},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {194--199},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/023.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ErmanFLR73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ernst73,
author = {George W. Ernst},
editor = {Nils J. Nilsson},
title = {A Definition-Driven Theorem Prover},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {51--55},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/008.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Ernst73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FirscheinFCT73,
author = {Oscar Firschein and
Martin A. Fischler and
L. Stephen Coles and
Jay M. Tenenbaum},
editor = {Nils J. Nilsson},
title = {Forecasting and Assessing the Impact of Artificial Intelligence on
Society},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {105--120},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/013.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FirscheinFCT73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Gelperin73,
author = {David Gelperin},
editor = {Nils J. Nilsson},
title = {Deletion-Directed Search in Resolution-Based Proof Procedures},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {47--50},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/007.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Gelperin73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Gibbons73,
author = {Gregory Dean Gibbons},
editor = {Nils J. Nilsson},
title = {{POPS:} An Application of Heuristic Search Methods to the Processing
of a Nondeterministic Programming Language},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {589--600},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/063.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Gibbons73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Harris73,
author = {Larry R. Harris},
editor = {Nils J. Nilsson},
title = {The Bandwidth Heuristic Search},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {23--30},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/004.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Harris73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HendrixTS73,
author = {Gary G. Hendrix and
Craig W. Thompson and
Jonathan Slocum},
editor = {Nils J. Nilsson},
title = {Language Processing Via Canonical Verbs and Semantic Models},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {262--269},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/029.pdf},
timestamp = {Tue, 21 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HendrixTS73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HewittBS73,
author = {Carl Hewitt and
Peter Boehler Bishop and
Richard Steiger},
editor = {Nils J. Nilsson},
title = {A Universal Modular {ACTOR} Formalism for Artificial Intelligence},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {235--245},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/027B.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HewittBS73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Huet73,
author = {G{\'{e}}rard P. Huet},
editor = {Nils J. Nilsson},
title = {A Mechanization of Type Theory},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {139--146},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/016.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Huet73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JacobsK73,
author = {Walter Jacobs and
Maxine Kiefer},
editor = {Nils J. Nilsson},
title = {Robot Decisions Based on Maximizing Utility},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {402--411},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/044.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/JacobsK73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JoshiW73,
author = {Aravind K. Joshi and
Ralph M. Weischedel},
editor = {Nils J. Nilsson},
title = {Some Frills for the Modal Tic-Tac-Toe of Davies and Isard: Semantics
of Predicate Complement Constructions},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {352--355},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/037.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/JoshiW73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KatzM73,
author = {Shmuel Katz and
Zohar Manna},
editor = {Nils J. Nilsson},
title = {A Heuristic Approach to Program Verification},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {500--512},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/055.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KatzM73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KinoshitaAM73,
author = {Gen{-}ichiro Kinoshita and
Shuhei Aida and
Masahiro Mori},
editor = {Nils J. Nilsson},
title = {Pattern Classification of the Grasped Object by the Artificial Hand},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {665--670},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/072.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KinoshitaAM73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kiss73,
author = {George R. Kiss},
editor = {Nils J. Nilsson},
title = {Outlines of a Computer Model of Motivation},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {446--449},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/048.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Kiss73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KoffmanB73,
author = {Elliot B. Koffman and
Sumner E. Blount},
editor = {Nils J. Nilsson},
title = {Artificial Intelligence and Automatic Programming in {CAI}},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {86--94},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/011.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KoffmanB73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LewisB73,
author = {Richard A. Lewis and
Antal K. Bejczy},
editor = {Nils J. Nilsson},
title = {Planning Considerations for a Roving Robot with Arm},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {308--316},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/033A.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LewisB73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LovelandS73,
author = {Donald W. Loveland and
Mark E. Stickel},
editor = {Nils J. Nilsson},
title = {A Hole in Goal Trees: Some Guidance from Resolution Theory},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {153--161},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/018.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LovelandS73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Mackworth73,
author = {Alan K. Mackworth},
editor = {Nils J. Nilsson},
title = {Interpreting Pictures of Polyhedral Scenes},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {556--563},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/059.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Mackworth73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MartelliM73,
author = {Alberto Martelli and
Ugo Montanari},
editor = {Nils J. Nilsson},
title = {Additive {AND/OR} Graphs},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {1--11},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/001.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MartelliM73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Michalski73,
author = {Ryszard S. Michalski},
editor = {Nils J. Nilsson},
title = {Discovering Classification Rules Using variable-Valued Logic System
VL\({}_{\mbox{1}}\)},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {162--172},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/019.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Michalski73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MinkerFM73,
author = {Jack Minker and
Daniel H. Fishman and
James R. McSkimin},
editor = {Nils J. Nilsson},
title = {The Q* Algorithm - {A} Search Strategy for a Deductive Question-Answering
System},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {31--40},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/005.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MinkerFM73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Moore73,
author = {Robert C. Moore},
editor = {Nils J. Nilsson},
title = {D-SCRlPT: {A} Computational Theory of Descriptions},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {223--229},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/027.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Moore73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Moran73,
author = {Thomas P. Moran},
editor = {Nils J. Nilsson},
title = {The Symbolic Nature of Visual Imagery},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {472--478},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/051.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Moran73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MylopoulosBMR73,
author = {John Mylopoulos and
Norman I. Badler and
L. Melli and
Nick Roussopoulos},
editor = {Nils J. Nilsson},
title = {l.Pak: {A} SNOBOL-Based Programming Language for Artificial Intelligence
Applications},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {691--696},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/077.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MylopoulosBMR73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NagaoT73,
author = {Makoto Nagao and
Jun'ichi Tsujii},
editor = {Nils J. Nilsson},
title = {Mechanism of Deduction in a Question-Answering System with Natural
Language Input},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {285--290},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/031A.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NagaoT73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NagataYT73,
author = {Tadashi Nagata and
Masato Yamazaki and
Michiharu Tsukamoto},
editor = {Nils J. Nilsson},
title = {Robot Planning System Based on Problem Solvers},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {388--395},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/042.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NagataYT73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NevatiaB73,
author = {Ramakant Nevatia and
Thomas O. Binford},
editor = {Nils J. Nilsson},
title = {Structured Descriptions of Complex Objects},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {641--647},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/069.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NevatiaB73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OGormanC73,
author = {Frank O'Gorman and
M. B. Clowes},
editor = {Nils J. Nilsson},
title = {Finding Picture Edges through Collinearity of Feature Points},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {543--555},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/058.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/OGormanC73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OkhotsimskiP73,
author = {D. E. Okhotsimsky and
Alexander K. Platonov},
editor = {Nils J. Nilsson},
title = {Control Algorithm of the Walker Climbing Over Obstacles},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {317--323},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/033B.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/OkhotsimskiP73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PaxtonR73,
author = {William H. Paxton and
Ann E. Robinson},
editor = {Nils J. Nilsson},
title = {A Parser for a Speech Understanding System},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {216--222},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/026.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/PaxtonR73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Pohl73,
author = {Ira Pohl},
editor = {Nils J. Nilsson},
title = {The Avoidance of (Relative) Catastrophe, Heuristic Competence, Genuine
Dynamic Weighting and Computational Issues in Heuristic Problem Solving},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {12--17},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/002.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Pohl73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Pople73,
author = {Harry E. Pople},
editor = {Nils J. Nilsson},
title = {On the Mechanization of Abductive Logic},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {147--152},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/017.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Pople73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Pratt73,
author = {Vaughan R. Pratt},
editor = {Nils J. Nilsson},
title = {A Linguistics Oriented Programming Language},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {372--382},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/040.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Pratt73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ReddyEFN73,
author = {Dabbala Rajagopal Reddy and
Lee D. Erman and
R. D. Fenneli and
Richard B. Neely},
editor = {Nils J. Nilsson},
title = {The Hearsay Speech Understanding System: An Example of the Recognition
Process},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {185--193},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/021.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ReddyEFN73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Reiter73,
author = {Raymond Reiter},
editor = {Nils J. Nilsson},
title = {A Semantically Guided Deductive System for Automatic Theorem-Proving},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {41--46},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/006.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Reiter73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RumelhartN73,
author = {David E. Rumelhart and
Donald A. Norman},
editor = {Nils J. Nilsson},
title = {Active Semantic Networks as a Model of Human Memory},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {450--457},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/048A.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/RumelhartN73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Sacerdoti73,
author = {Earl D. Sacerdoti},
editor = {Nils J. Nilsson},
title = {Planning in a Hierarchy of Abstraction Spaces},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {412--422},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/045.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Sacerdoti73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Sandewall73,
author = {Erik Sandewall},
editor = {Nils J. Nilsson},
title = {Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic
Programs, to Corresponding Deterministic Programs},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {230--234},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/027A.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Sandewall73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchankGRR73,
author = {Roger C. Schank and
Neil M. Goldman and
Charles J. Rieger III and
Christopher Riesbeck},
editor = {Nils J. Nilsson},
title = {{MARGIE:} Memory Analysis Response Generation, and Inference on English},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {255--261},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/028.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SchankGRR73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchmidtD73,
author = {Charles F. Schmidt and
John D'Addamio},
editor = {Nils J. Nilsson},
title = {A Model of the Common-Sense Theory of Intention and Personal Causation},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {465--471},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/050.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SchmidtD73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Schubert73,
author = {Lenhart K. Schubert},
editor = {Nils J. Nilsson},
title = {Iterated Limiting Recursion and the Program Minimization Problem},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {513--523},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/055A.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Schubert73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ShenJ73,
author = {Stewart N. T. Shen and
Edward R. Jones},
editor = {Nils J. Nilsson},
title = {A Number Theory Approach to Problem Representation and Solution},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {606--611},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/065.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ShenJ73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SiklossyD73,
author = {Laurent Sikl{\'{o}}ssy and
J. Dreussi},
editor = {Nils J. Nilsson},
title = {An Efficient Robot Planner which Generates Its Own Procedures},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {423--430},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/046.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SiklossyD73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SiklossyR73,
author = {Laurent Sikl{\'{o}}ssy and
John W. Roach},
editor = {Nils J. Nilsson},
title = {Proving the Impossible is Impossible is Possible: Disproofs Based
on Hereditary Partitions},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {383--387},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/041.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SiklossyR73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SmithC73,
author = {Michael H. Smith and
L. Stephen Coles},
editor = {Nils J. Nilsson},
title = {Design of a Low Cost, General Purpose Robot},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {324--336},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/034.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SmithC73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SmithE73,
author = {David Canfield Smith and
Horace J. Enea},
editor = {Nils J. Nilsson},
title = {Backtracking in {MLISP2:} an efficient backtracking method for {LISP}},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {677--685},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/074.pdf},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SmithE73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Sobel73,
author = {Irwin Sobel},
editor = {Nils J. Nilsson},
title = {On Calibrating Computer Controlled Cameras for Perceiving 3-D Scenes},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {648--657},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/070.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Sobel73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Sridharan73,
author = {N. S. Sridharan},
editor = {Nils J. Nilsson},
title = {Search Strategies for the Task of Organic Chemical Synthesis},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {95--104},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/012.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Sridharan73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Srinivasan73,
author = {Chitoor V. Srinivasan},
editor = {Nils J. Nilsson},
title = {The Architecture of Coherent Information System: {A} General Problem
Solving System},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {618--628},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/067.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Srinivasan73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Stefanuk73,
author = {Vadim L. Stefanuk},
editor = {Nils J. Nilsson},
title = {On a Local Approach to Representation in Problem Solving},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {612--617},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/066.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Stefanuk73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TappertD73,
author = {Charles C. Tappert and
N. R. Dixon},
editor = {Nils J. Nilsson},
title = {A Procedure for Adaptive Control of the Interaction Between Acoustic
Classification and Linguistic Decoding in Automatic Recognition of
Continuous Speech},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {173--184},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/020.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/TappertD73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Teitelman73,
author = {Warren Teitelman},
editor = {Nils J. Nilsson},
title = {{CLISP} - Conversational {LISP}},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {686--690},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/075.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Teitelman73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TeslerES73,
author = {Lawrence G. Tesler and
Horace J. Enea and
David Canfield Smith},
editor = {Nils J. Nilsson},
title = {The {LISP7O} Pattern Matching System},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {671--676},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/073.pdf},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/TeslerES73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TomitaYT73,
author = {Fumiaki Tomita and
Masahiko Yachida and
Saburo Tsuji},
editor = {Nils J. Nilsson},
title = {Detection of Homogeneous Regions by Structural Analysis},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {564--571},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/060.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/TomitaYT73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Uhr73,
author = {Leonard Uhr},
editor = {Nils J. Nilsson},
title = {DECIDER-l: {A} System that Chooses Among Different Types of Acts},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {396--401},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/043.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Uhr73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Walker73,
author = {Donald E. Walker},
editor = {Nils J. Nilsson},
title = {Speech Understanding Through Syntactic and Semantic Analysis},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {208--215},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/025.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Walker73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WatermanN73,
author = {Donald A. Waterman and
Allen Newell},
editor = {Nils J. Nilsson},
title = {{PAS-II:} An Interactive Task-Free Version of an Automatic Protocol
Analysis System},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {431--445},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/047.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WatermanN73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wegbreit73,
author = {Ben Wegbreit},
editor = {Nils J. Nilsson},
title = {Heuristic Methods for Mechanically Deriving Inductive Assertions},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {524--536},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/055B.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Wegbreit73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wilks73,
author = {Yorick Wilks},
editor = {Nils J. Nilsson},
title = {Understanding Without Proofs},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {270--277},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/030.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Wilks73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WoodsM73,
author = {William A. Woods and
John Makhoul},
editor = {Nils J. Nilsson},
title = {Mechanical Inference Problems in Continuous Speech Understanding},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {200--207},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/024.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WoodsM73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/YakimovskyF73,
author = {Yoram Yakimovsky and
Jerome A. Feldman},
editor = {Nils J. Nilsson},
title = {A Semantics-Based Decision Theory Region Analyser},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {580--588},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/062.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/YakimovskyF73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1973,
editor = {Nils J. Nilsson},
title = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/proceedings/1973},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/1973.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-13 15:48 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:
