Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/ijcai/ijcai73.bht:"
@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} }
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.