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/aaai/aaai80.bht:"
download as .bib file
@inproceedings{DBLP:conf/aaai/AhujaCYB80,
author = {Narendra Ahuja and
Robert T. Chien and
R. Yen and
N. Bridwell},
editor = {Robert Balzer},
title = {Interference Detection and Collision Avoidance Among Three Dimensional
Objects},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {44--48},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-013.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AhujaCYB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Aiello80,
author = {Luigia Carlucci Aiello},
editor = {Robert Balzer},
title = {Automatic Generation of Semantic Attachments in {FOL}},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {90--92},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-026.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Aiello80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Aikins80,
author = {Janice S. Aikins},
editor = {Robert Balzer},
title = {Representation of Control Knowledge in Expert Systems},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {121--123},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-035.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Aikins80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Appelt80,
author = {Douglas E. Appelt},
editor = {Robert Balzer},
title = {A Planner for Reasoning about Knowledge and Action},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {131--133},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-038.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Appelt80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BadlerOPM80,
author = {Norman I. Badler and
Joseph O'Rourke and
Stephen Platt and
Mary A. Morris},
editor = {Robert Balzer},
title = {Human Movement Understanding: {A} Variety of Perspectives},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {53--55},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-015.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BadlerOPM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BallH80,
author = {Eugene Ball and
Philip J. Hayes},
editor = {Robert Balzer},
title = {Representation of Task-Specific Knowledge in a Gracefully Interacting
User Interface},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {116--120},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-034.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BallH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BalzerELW80,
author = {Robert Balzer and
Lee D. Erman and
Philip London and
Chuck Williams},
editor = {Robert Balzer},
title = {{HEARSAY-II:} {A} Domain-Independent Framework for Expert Systems},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {108--110},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-032.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BalzerELW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Barber80,
author = {Gerald R. Barber},
editor = {Robert Balzer},
title = {Reasoning about Change in Knowledgeable Office Systems},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {199--201},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-056.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Barber80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Barnard80,
author = {Stephen T. Barnard},
editor = {Robert Balzer},
title = {Automated Inspection Using Gray-Scale Statistics},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {49--52},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-014.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Barnard80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BarrowT80,
author = {Harry G. Barrow and
Jay M. Tenenbaum},
editor = {Robert Balzer},
title = {Interpreting Line Drawings as Three-Dimensional Surfaces},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {11--14},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-004.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BarrowT80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Barstow80,
author = {David R. Barstow},
editor = {Robert Balzer},
title = {Exploiting a Domain Model in an Expert Spectral Analysis Program},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {276--279},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-078.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Barstow80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Berliner80,
author = {Hans J. Berliner},
editor = {Robert Balzer},
title = {Making Judgments},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {134--137},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-039.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Berliner80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BirnbaumFM80,
author = {Lawrence Birnbaum and
Margot Flowers and
Rod McGuire},
editor = {Robert Balzer},
title = {Towards an {AI} Model of Argumentation},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {313--315},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-089.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BirnbaumFM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BobrowW80,
author = {Robert J. Bobrow and
Bonnie L. Webber},
editor = {Robert Balzer},
title = {Knowledge Representation for Syntactic/Semantic Processing},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {316--323},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-090.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BobrowW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Bolles80,
author = {Robert C. Bolles},
editor = {Robert Balzer},
title = {Locating Partially Visible Objects: The Local Feature Focus Method},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {41--43},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-012.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Bolles80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BradyGL80,
author = {Mike Brady and
W. Eric L. Grimson and
D. J. Langridge},
editor = {Robert Balzer},
title = {Shape Encoding and Subjective Contours},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {15--17},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-005.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BradyGL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BrooksB80,
author = {Rodney A. Brooks and
Thomas O. Binford},
editor = {Robert Balzer},
title = {Interpretive Vision and Restriction Graphs},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {21--27},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-007.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BrooksB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Carbonell80,
author = {Jaime G. Carbonell},
editor = {Robert Balzer},
title = {{DELTA-MIN:} {A} Search-Control Method for Information-Gathering Problems},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {124--127},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-036.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Carbonell80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Chester80,
author = {Daniel L. Chester},
editor = {Robert Balzer},
title = {{HCPRVR:} An Interpreter for Logic Programs},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {93--95},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-027.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Chester80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Chiu80,
author = {Wellington Yu Chiu},
editor = {Robert Balzer},
title = {Structure Comparison and Semantic Interpretation of Differences},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {259--262},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-073.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Chiu80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ColbyCGP80,
author = {Kenneth Mark Colby and
Daniel Christinaz and
Santiago Graham and
Roger C. Parkison},
editor = {Robert Balzer},
title = {A Word-Finding Algorithm with a Dynamic Lexical-Semantic Memory for
Patients with Anomia Using a Speech Prosthesis},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {289--291},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-082.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ColbyCGP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Dietterich80,
author = {Thomas G. Dietterich},
editor = {Robert Balzer},
title = {Applying General Induction Methods to the Card Game Eleusis},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {218--220},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-061.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Dietterich80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Digricoli80,
author = {Vincent J. Digricoli},
editor = {Robert Balzer},
title = {First Experiments with Rue Automated Deduction},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {96--98},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-028.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Digricoli80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EngelmanSB80,
author = {Carl Engelman and
Ethan A. Scarl and
Charles H. Berg},
editor = {Robert Balzer},
title = {Interactive Frame Instantiation},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {184--186},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-052.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EngelmanSB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Fahlman80,
author = {Scott E. Fahlman},
editor = {Robert Balzer},
title = {Design Sketch for a Million-Element {NETL} Machine},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {249--252},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-070.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Fahlman80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Farley80,
author = {Arthur M. Farley},
editor = {Robert Balzer},
title = {On Waiting},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {128--130},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-037.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Farley80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Faugeras80,
author = {Olivier D. Faugeras},
editor = {Robert Balzer},
title = {An Optimisation Approach for Using Contextual Information in Conputer
Vision},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {56--60},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-016.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Faugeras80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Fickas80,
author = {Stephen Fickas},
editor = {Robert Balzer},
title = {Automatic Goal-Directed Program Transformation},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {68--70},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-019.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Fickas80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FikesH80,
author = {Richard Fikes and
D. Austin Henderson Jr.},
editor = {Robert Balzer},
title = {On Supporting the Use of Procedures in Office Work},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {202--207},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-057.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FikesH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Finin80,
author = {Timothy W. Finin},
editor = {Robert Balzer},
title = {The Semantic Interpretation of Nominal Compounds},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {310--312},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-088.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Finin80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Forbus80,
author = {Kenneth D. Forbus},
editor = {Robert Balzer},
title = {Spatial and Qualitative Aspects of Reasoning about Motion},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {170--173},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-048.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Forbus80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Freuder80,
author = {Eugene C. Freuder},
editor = {Robert Balzer},
title = {Information Needed to Label a Scene},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {18--20},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-006.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Freuder80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Friedman80,
author = {Leonard Friedman},
editor = {Robert Balzer},
title = {Trouble-Shooting by Plausible Inference},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {292--294},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-083.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Friedman80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GarveyF80,
author = {Thomas D. Garvey and
Martin A. Fischler},
editor = {Robert Balzer},
title = {Perceptual Reasoning in a Hostile Environment},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {253--255},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-071.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GarveyF80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Gaschnig80,
author = {John Gaschnig},
editor = {Robert Balzer},
title = {An Application of the Prospector System to DOE's National Uranium
Resource Evaluation},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {295--297},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-084.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Gaschnig80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Genesereth80,
author = {Michael R. Genesereth},
editor = {Robert Balzer},
title = {Metaphors and Models},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {208--211},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-058.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Genesereth80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GoldsteinB80,
author = {Ira P. Goldstein and
Daniel G. Bobrow},
editor = {Robert Balzer},
title = {Descriptions for a Programming Environment},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {187--189},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-053.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GoldsteinB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Goodson80,
author = {John L. Goodson},
editor = {Robert Balzer},
title = {A Process for Evaluating Tree-Consistency},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {195--198},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-055.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Goodson80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Granger80,
author = {Richard H. Granger},
editor = {Robert Balzer},
title = {When Expectation Fails: Towards a Self-Correcting Inference System},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {301--305},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-086.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Granger80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GreinerL80,
author = {Russell Greiner and
Douglas B. Lenat},
editor = {Robert Balzer},
title = {A Representation Language Language},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {165--169},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-047.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GreinerL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Grinberg80,
author = {Milton R. Grinberg},
editor = {Robert Balzer},
title = {A Knowledge Based Design System for Digital Electronics},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {283--285},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-080.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Grinberg80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HaasH80,
author = {Norman Haas and
Gary G. Hendrix},
editor = {Robert Balzer},
title = {An Approach to Acquiring and Applying Knowledge},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {235--239},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-066.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HaasH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Hannah80,
author = {Marsha Jo Hannah},
editor = {Robert Balzer},
title = {Bootstrap Stereo},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {38--40},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-011.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Hannah80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Herman80,
author = {Martin Herman},
editor = {Robert Balzer},
title = {Computer Interpretation of Human Stick Figures},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {174--177},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-049.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Herman80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HewittAS80,
author = {Carl Hewitt and
Giuseppe Attardi and
Maria Simi},
editor = {Robert Balzer},
title = {Knowledge Embedding in the Description System Omega},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {157--164},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-046.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HewittAS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Israel80,
author = {David J. Israel},
editor = {Robert Balzer},
title = {What's Wrong with Non-Monotonic Logic?},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {99--101},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-029.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Israel80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KenderK80,
author = {John R. Kender and
Takeo Kanade},
editor = {Robert Balzer},
title = {Mapping Image Properties into Shape Constraints: Skewed Symmetry and
Affine-Tramsfornable Patterns, and the Shape-from-Texture Paradigm},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {4--6},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-002.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KenderK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/King80,
author = {Jonathan J. King},
editor = {Robert Balzer},
title = {Intelligent Retrieval Planning},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {243--245},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-068.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/King80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KlahrF80,
author = {Philip Klahr and
William S. Faught},
editor = {Robert Balzer},
title = {Knowledge-Based Simulation},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {181--183},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-051.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KlahrF80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Kolodner80,
author = {Janet L. Kolodner},
editor = {Robert Balzer},
title = {Organizing Memory and Keeping it Organized},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {331--333},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-093.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Kolodner80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KonoligeN80,
author = {Kurt Konolige and
Nils J. Nilsson},
editor = {Robert Balzer},
title = {Multiple-Agent Planning Systems},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {138--142},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-040.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KonoligeN80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lawton80,
author = {Daryl T. Lawton},
editor = {Robert Balzer},
title = {Constraint-Based Inference from Image Motion},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {31--34},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-009.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lawton80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lebowitz80,
author = {Michael Lebowitz},
editor = {Robert Balzer},
title = {Language and Memory: Generalization as a Part of Understanding},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {324--326},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-091.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lebowitz80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lehnert80,
author = {Wendy G. Lehnert},
editor = {Robert Balzer},
title = {Narrative Text Summarization},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {337--339},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-095.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lehnert80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LesserRP80,
author = {Victor R. Lesser and
S. Reed and
Jasmina Pavlin},
editor = {Robert Balzer},
title = {Quantifyimg and Simulating the Behavior of Knowledge-Based Interpretation
Systems},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {111--115},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-033.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LesserRP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Leszczylowski80,
author = {Jacek Leszczylowski},
editor = {Robert Balzer},
title = {On Proving Laws of the Algebra of FP-Systems in Edinburgh {LCF}},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {84--86},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-024.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Leszczylowski80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Mark80,
author = {William Mark},
editor = {Robert Balzer},
title = {Rule-Based Inference in Large Knowledge Bases},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {190--194},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-054.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Mark80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Mays80,
author = {Eric Mays},
editor = {Robert Balzer},
title = {Failures in Natural Language Systems: Applications to Data Base Query
Systems},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {327--330},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-092.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Mays80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/McCarty80,
author = {L. Thorne McCarty},
editor = {Robert Balzer},
title = {Some Requirements for a Computer-Based Legal Consultant},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {298--300},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-085.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/McCarty80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/McCune80,
author = {Brian P. McCune},
editor = {Robert Balzer},
title = {Incremental, Informal Program Acquisition},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {71--73},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-020.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/McCune80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/McDermott80,
author = {Drew V. McDermott},
editor = {Robert Balzer},
title = {A Theory of Metric Spatial Inference},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {246--248},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-069.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/McDermott80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/McDermott80a,
author = {John P. McDermott},
editor = {Robert Balzer},
title = {{RI:} an Expert in the Computer Systems Domain},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {269--271},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-076.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/McDermott80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/McKeown80,
author = {Kathleen R. McKeown},
editor = {Robert Balzer},
title = {Generating Relevant Explanations: Natural Language Responses to Questions
about Database Structure},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {306--309},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-087.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/McKeown80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Meehan80,
author = {James R. Meehan},
editor = {Robert Balzer},
title = {Everything You Always Wanted to Know About Authority Structures But
Were Unable to Represent},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {212--214},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-059.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Meehan80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Miller80,
author = {Lance A. Miller},
editor = {Robert Balzer},
title = {Project {EPISTLE:} {A} System for the Automatic Analysis of Business
Correspondence},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {280--282},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-079.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Miller80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/NaqviH80,
author = {Shamim A. Naqvi and
Lawrence J. Henschen},
editor = {Robert Balzer},
title = {Performing Inferences over Recursive Data Bases},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {263--265},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-074.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/NaqviH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Nau80,
author = {Dana S. Nau},
editor = {Robert Balzer},
title = {Pathology on Game Trees: {A} Summary of Results},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {102--104},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-030.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Nau80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/NgW80,
author = {S. W. Ng and
Adrian Walker},
editor = {Robert Balzer},
title = {Max-Mim Chaining of Weighted Causal Assertions is Loop Free},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {105--107},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-031.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/NgW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/NovakA80,
author = {Gordon S. Novak and
Agustin A. Araya},
editor = {Robert Balzer},
title = {Research on Expert Problem Solving in Physics},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {178--180},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-050.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/NovakA80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Pearl80,
author = {Judea Pearl},
editor = {Robert Balzer},
title = {{SCOUT:} {A} Simple Game-Searching Algorithm with Proven Optimal Properties},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {143--145},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-041.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Pearl80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Peterson80,
author = {Gerald E. Peterson},
editor = {Robert Balzer},
title = {A Technique for Establishing Completeness Results in Theorem Proving
with Equality},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {87--89},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-025.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Peterson80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Plaisted80,
author = {David A. Plaisted},
editor = {Robert Balzer},
title = {An Efficient Relevance Criterion for Mechanical Theorem Proving},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {79--83},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-023.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Plaisted80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Reboh80,
author = {Ren{\'{e}} Reboh},
editor = {Robert Balzer},
title = {Using a Matcher to Make an Expert Consultation System Behave Intelligently},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {231--234},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-065.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Reboh80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Reinstein80,
author = {Harry C. Reinstein},
editor = {Robert Balzer},
title = {Problem Solving in Frame-Structured Systems Using Interactive Dialog},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {146--147},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-042.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Reinstein80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RiegerS80,
author = {Chuck Rieger and
Craig Stanfill},
editor = {Robert Balzer},
title = {Real Time Causal Monitors for Complex Physical Sites},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {215--217},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-060.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RiegerS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RisslandS80,
author = {Edwina L. Rissland and
Elliot Soloway},
editor = {Robert Balzer},
title = {Overview of an Example Generation System},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {256--258},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-072.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RisslandS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RobinsonW80,
author = {Ann E. Robinson and
David E. Wilkins},
editor = {Robert Balzer},
title = {Representing Knowledge in an Interactive Planner},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {148--150},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-043.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RobinsonW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Rosenberg80,
author = {Jarrett Rosenberg},
editor = {Robert Balzer},
title = {Piaget and Artificial Intelligence},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {266--268},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-075.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Rosenberg80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Rychener80,
author = {Michael D. Rychener},
editor = {Robert Balzer},
title = {Approaches to Knowledge Acquisition: The Instructable Production System
Project},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {228--230},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-064.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Rychener80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Selfridge80,
author = {Mallory Selfridge},
editor = {Robert Balzer},
title = {A Computer Model of Child Language Learning},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {224--227},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-063.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Selfridge80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ShapiroM80,
author = {Stuart C. Shapiro and
Donald P. McKay},
editor = {Robert Balzer},
title = {Inference with Recursive Rules},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {151--153},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-044.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ShapiroM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ShapiroMMH80,
author = {Linda G. Shapiro and
John D. Moriarty and
Prasanna G. Mulgaonkar and
Robert M. Haralick},
editor = {Robert Balzer},
title = {Sticks, Plates, and Blobs: {A} Three-Dimensional Object Representation
for Scene Analysis},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {28--30},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-008.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ShapiroMMH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Smith80,
author = {Robert Smith},
editor = {Robert Balzer},
title = {Modelling Student Acquisition of Problem-Solving Skills},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {221--223},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-062.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Smith80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SmithC80,
author = {David E. Smith and
Jan E. Clayton},
editor = {Robert Balzer},
title = {A Frame-Based Production System Architecture},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {154--156},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-045.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SmithC80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Steinberg80,
author = {Louis I. Steinberg},
editor = {Robert Balzer},
title = {Question Ordering in a Mixed Intiative Program Specification Dialogue},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {61--63},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-017.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Steinberg80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Subrahmanyam80,
author = {P. A. Subrahmanyam},
editor = {Robert Balzer},
title = {A Basis for a Theory of Program Synthesis},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {74--76},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-021.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Subrahmanyam80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Tappel80,
author = {Steve Tappel},
editor = {Robert Balzer},
title = {Some Algorithm Design Methods},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {64--67},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-018.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Tappel80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ThompsonY80,
author = {William B. Thompson and
Albert Yonas},
editor = {Robert Balzer},
title = {What Should be Computed in Low Level Vision Systems},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {7--10},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-003.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ThompsonY80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WagnerV80,
author = {Christian C. Wagner and
John F. Vinsonhaler},
editor = {Robert Balzer},
title = {Theory Directed Reading Diagnosis Research Using Computer Simulation},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {286--288},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-081.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WagnerV80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WatermanP80,
author = {Donald A. Waterman and
Mark Peterson},
editor = {Robert Balzer},
title = {Rule-Based Models of Legal Expertise},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {272--275},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-077.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WatermanP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Webb80,
author = {Jon A. Webb},
editor = {Robert Balzer},
title = {Static Analysis of Moving Jointed Objects},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {35--37},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-010.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Webb80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Whitehill80,
author = {Stephen B. Whitehill},
editor = {Robert Balzer},
title = {Self-Correcting Generalization},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {240--242},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-067.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Whitehill80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Wilensky80,
author = {Robert Wilensky},
editor = {Robert Balzer},
title = {Meta-Planning},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {334--336},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-094.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Wilensky80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Witkin80,
author = {Andrew P. Witkin},
editor = {Robert Balzer},
title = {A Statistical Technique for Recovering Surface Orientation from Texture
in Natural Imagery},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {1--3},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-001.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Witkin80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Wood80,
author = {Richard J. Wood},
editor = {Robert Balzer},
title = {A Program Model and Knowledge Base for Computer Aided Program Synthesis},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {77--78},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-022.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Wood80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/1980,
editor = {Robert Balzer},
title = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Conferences/AAAI/aaai80.php},
isbn = {0-262-51050-2},
timestamp = {Mon, 18 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/1980.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-07 06:30 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:
