default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/aaai/aaai87.bht:"
download as .bib file
@inproceedings{DBLP:conf/aaai/AbramsonK87,
author = {Bruce Abramson and
Richard E. Korf},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {A Model of Two-Player Evaluation Functions},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {90--94},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-016.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AbramsonK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AgreC87,
author = {Philip E. Agre and
David Chapman},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Pengi: An Implementation of a Theory of Activity},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {268--272},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-048.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AgreC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AllardK87,
author = {James R. Allard and
William Kaemmerer},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {The Goal/Subgoal Knowledge Representation for Real-Time Process Monitoring},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {394--398},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-070.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AllardK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AllenSS87,
author = {Donald C. Allen and
Seth A. Steinberg and
Lawrence A. Stabile},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Recent Developments in Butterfly{\texttrademark} Lisp},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {2--6},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-001.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AllenSS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AltmanB87,
author = {Russ B. Altman and
Bruce G. Buchanan},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Partial Compilation of Strategic Knowledge},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {399--404},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-071.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AltmanB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AshleyR87,
author = {Kevin D. Ashley and
Edwina L. Rissland},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Compare and Contrast: {A} Test of Expertise},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {273--278},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-049.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AshleyR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Ballard87,
author = {Dana H. Ballard},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Modular Learning in Neural Networks},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {279--284},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-050.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Ballard87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BarronJT87,
author = {John L. Barron and
Allan D. Jepson and
John K. Tsotsos},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {The Sensitivity of Motion and Structure Computations},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {700--705},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-125.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BarronJT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BeckerG87,
author = {Jeffrey M. Becker and
Fred L. Garrett},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {An Architecture for Intelligent Task Automation},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {672--676},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-120.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BeckerG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BillstromBT87,
author = {David Billstrom and
Joseph Brandenburg and
John Teeter},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {CCLISP{\texttrademark} on the iPSC{\texttrademark} Concurrent Computer},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {7--12},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-002.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BillstromBT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Borchardt87,
author = {Gary C. Borchardt},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Incremental Inference: Getting Multiple Agents to Agree on What to
Do Next},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {334--339},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-060.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Borchardt87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BrovermanC87,
author = {Carol A. Broverman and
W. Bruce Croft},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Reasoning about Exceptions during Plan Execution Monitoring},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {190--195},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-034.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BrovermanC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChandrasekaranP87,
author = {B. Chandrasekaran and
William F. Punch III},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Data Validation during Diagnosis: {A} Step beyond Traditional Sensor
Validation},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {778--782},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-139.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ChandrasekaranP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChenD87,
author = {Hsinchun Chen and
Vasant Dhar},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Reducing Indeterminism in Consultation: {A} Cognitive Model of User/Librarian
Interactions},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {285--289},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-051.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ChenD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChengY87,
author = {P. Daniel Cheng and
J. Y. Yuang},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {A Parallel Resolution Procedure Based on Connection Graph},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {13--17},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-003.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ChengY87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChiN87,
author = {Ping{-}Ching Chi and
Dana S. Nau},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Comparing Minimax and Product in a Variety of Games},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {100--104},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-018.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ChiN87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Chow87,
author = {Ey{-}Chih Chow},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Representing Databases in Frames},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {405--409},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-072.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Chow87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Cohen87,
author = {Robin Cohen},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Interpreting Clues in Conjunction with Processing Restrictions in
Arguments and Discourse},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {528--533},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-094.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Cohen87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CohenGD87,
author = {Paul R. Cohen and
Michael Greenberg and
Jefferson DeLisio},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {{MU:} {A} Development Environment for Prospective Reasoning Systems},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {783--788},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-140.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CohenGD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CohenL87,
author = {Philip R. Cohen and
Hector J. Levesque},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Intention = Choice + Commitment},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {410--415},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-073.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CohenL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CollinsF87,
author = {John W. Collins and
Kenneth D. Forbus},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Reasoning about Fluids via Molecular Collections},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {590--594},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-105.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CollinsF87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ConnellU87,
author = {Margaret E. Connell and
Paul E. Utgoff},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Learning to Control a Dynamic Physical System},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {456--460},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-081.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ConnellU87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CorkillGJ87,
author = {Daniel D. Corkill and
Kevin Q. Gallagher and
Philip M. Johnson},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Achieving Flexibility, Efficiency, and Generality in Blackboard Architectures},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {18--23},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-004.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CorkillGJ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DAmbrosio87,
author = {Bruce D'Ambrosio},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Extending the Mathematics in Qualitative Process Theory},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {595--599},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-106.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DAmbrosio87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DagueRD87,
author = {Philippe Dague and
Olivier Raiman and
Philippe Deves},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Troubleshooting: When Modeling Is the Trouble},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {600--605},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-107.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DagueRD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DeanB87,
author = {Thomas L. Dean and
Mark S. Boddy},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Incremental Causal Reasoning},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {196--201},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-035.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DeanB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DechterD87,
author = {Avi Dechter and
Rina Dechter},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Removing Redundancies in Constraint Networks},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {105--109},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-019.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DechterD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Delgrande87,
author = {James P. Delgrande},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {An Approach to Default Reasoning Based on a First-Order Conditional
Logic},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {340--345},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-061.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Delgrande87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Derthick87,
author = {Mark Derthick},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Counterfactual Reasoning with Direct Models},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {346--351},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-062.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Derthick87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Dorr87,
author = {Bonnie J. Dorr},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {{UNITRAN:} An Interlingual Approach to Machine Translation},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {534--539},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-095.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Dorr87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Downing87,
author = {Keith L. Downing},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Diagnostic Improvement through Qualitative Sensitivity Analysis and
Aggregation},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {789--793},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-141.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Downing87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Drescher87,
author = {Gary L. Drescher},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {A Mechanism for Early Piagetian Learning},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {290--294},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-052.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Drescher87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Eiselt87,
author = {Kurt P. Eiselt},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Recovering from Erroneous Inferences},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {540--544},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-096.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Eiselt87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EliyahuZB87,
author = {O. Eliyahu and
Lev Zaidenberg and
Moshe Ben{-}Bassat},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {{CAMEX} - An Expert System for Process Planning on {CNC} Machines},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {794--798},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-142.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EliyahuZB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Etherington87,
author = {David W. Etherington},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {More on Inheritance Hierarchies with Exceptions: Default Theories
and Inferential Distance},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {352--357},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-063.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Etherington87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Firby87,
author = {R. James Firby},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {An Investigation into Reactive Planning in Complex Domains},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {202--206},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-036.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Firby87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Fisher87,
author = {Douglas H. Fisher},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Improving Inference through Conceptual Clustering},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {461--465},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-082.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Fisher87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FlannDC87,
author = {Nicholas S. Flann and
Thomas G. Dietterich and
Dan R. Corpon},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Forward Chaining Logic Programming with the {ATMS}},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {24--29},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-005.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FlannDC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FuaH87,
author = {Pascal Fua and
Andrew J. Hanson},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Using Generic Geometric Models for Intelligent Shape Extraction},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {706--711},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-126.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FuaH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Galloway87,
author = {Thomas Y. Galloway},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {{TAXI:} {A} Taxonomic Assistant},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {416--420},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-074.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Galloway87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GarveyCH87,
author = {Alan Garvey and
Craig Cornelius and
Barbara Hayes{-}Roth},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Computational Costs versus Benefits of Control Reasoning},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {110--115},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-020.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GarveyCH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Gelfond87,
author = {Michael Gelfond},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {On Stratified Autoepistemic Theories},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {207--211},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-037.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Gelfond87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GeorgeffL87,
author = {Michael P. Georgeff and
Amy L. Lansky},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Reactive Reasoning and Planning},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {677--682},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-121.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GeorgeffL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GinsbergS87,
author = {Matthew L. Ginsberg and
David E. Smith},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Possible Worlds and the Qualification Problem},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {212--217},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-038.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GinsbergS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GoelSC87,
author = {Ashok K. Goel and
Neelam Soundararajan and
B. Chandrasekaran},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Complexity in Classificatory Reasoning},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {421--425},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-075.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GoelSC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Gumb87,
author = {Raymond D. Gumb},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Filming a Terrain under Uncertainty Using Temporal and Probahilistic
Reasoning},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {116--120},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-021.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Gumb87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Gupta87,
author = {Ajay Gupta},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Explanation-based Failure Recovery},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {606--610},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-108.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Gupta87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HallLK87,
author = {Robert J. Hall and
Richard H. Lathrop and
Robert S. Kirk},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {A Multiple Representation Approach to Understanding the Time Behavior
of Digital Circuits},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {799--803},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-143.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HallLK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Haugh87,
author = {Brian A. Haugh},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Simple Causal Minimizations for Temporal Persistence and Projection},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {218--223},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-039.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Haugh87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Haussler87,
author = {David Haussler},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Learning Conjunctive Concepts in Structural Domains},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {466--470},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-083.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Haussler87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Hayes87,
author = {Caroline C. Hayes},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Using Goal Interactions to Guide Planning},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {224--228},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-040.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Hayes87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HeckermanH87,
author = {David Heckerman and
Eric Horvitz},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {On the Expressiveness of Rule-based Systems for Reasoning with Uncertainty},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {121--126},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-022.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HeckermanH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HenrionC87,
author = {Max Henrion and
Daniel R. Cooley},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {An Experimental Comparison of Knowledge Engineering for Expert Systems
and for Decision Analysis},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {471--476},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-084.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HenrionC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Hogge87,
author = {John C. Hogge},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Compiling Plan Operators from Domains Expressed in Qualitative Process
Theory},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {229--233},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-041.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Hogge87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HortyTT87,
author = {John F. Horty and
Richmond H. Thomason and
David S. Touretzky},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {358--363},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-064.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HortyTT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Hovy87,
author = {Eduard H. Hovy},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Interpretation in Generation},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {545--549},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-097.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Hovy87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HowardR87,
author = {H. Craig Howard and
Daniel R. Rehak},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {{KADBASE} - {A} Prototype Expert System-Database Interface for Integrated
{CAE} Environments},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {804--808},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-144.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HowardR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HuertasCN87,
author = {Andres Huertas and
William Cole and
Ramakant Nevatia},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Detecting Runways in Aerial Images},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {712--717},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-127.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HuertasCN87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Hull87,
author = {Jonathan J. Hull},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Hypothesis Testing in a Computational Theory of Visual Word Recognition},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {718--722},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-128.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Hull87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/JohnsonH87,
author = {M. Vaughan Johnson Jr. and
Barbara Hayes{-}Roth},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Integrating Diverse Reasoning Methods in the {BB1} Blackboard Control
Architecture},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {30--35},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-006.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/JohnsonH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Joshi87,
author = {Aravind K. Joshi},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Word-Order Variation in Natural Language Generation},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {550--555},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-098.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Joshi87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Joskowicz87,
author = {Leo Joskowicz},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Shape and Function in Mechanical Devices},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {611--615},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-109.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Joskowicz87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KaemmererA87,
author = {William Kaemmerer and
James R. Allard},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {An Automated Reasoning Technique for Providing Moment-by-Moment Advice
Concerning the Operation of a Process},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {809--813},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-145.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KaemmererA87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KahnKP87,
author = {Gary S. Kahn and
Al Kepner and
Jeff Pepper},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {{TEST:} {A} Model-driven Application Shell},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {814--818},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-146.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KahnKP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KalishC87,
author = {Candace E. Kalish and
Matthew B. Cox},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Porting and Extensible Natural Language Interface: {A} Case History},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {556--560},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-099.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KalishC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KassF87,
author = {Robert Kass and
Tim Finin},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Rules for the Implicit Acquisition of Knowledge about the User},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {295--300},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-053.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KassF87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Kedar-Cabelli87,
author = {Smadar T. Kedar{-}Cabelli},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Formulating Concepts According to Purpose},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {477--481},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-085.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Kedar-Cabelli87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Keller87,
author = {Richard M. Keller},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Defining Operationality for Explanation-based Learning},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {482--487},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-086.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Keller87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KellyN87,
author = {Van E. Kelly and
Uwe Nonnenmann},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Inferring Formal Software Specifications from Episodic Descriptions},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {127--132},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-023.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KellyN87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KellyS87,
author = {Michael A. Kelly and
Rudolph E. Seviora},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {A Multiprocessor Architecture for Production System Matching},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {36--41},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-007.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KellyS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KlinkerBGM87,
author = {Georg Klinker and
Casey Boyd and
Serge Genetet and
John P. McDermott},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {A {KNACK} for Knowledge Acquisition},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {488--493},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-087.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KlinkerBGM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Kokar87,
author = {Mieczyslaw M. Kokar},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Critical Hypersurfaces and the Quantity Space},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {616--620},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-110.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Kokar87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Korf87,
author = {Richard E. Korf},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Real-Time Heuristic Search: First Results},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {133--138},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-024.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Korf87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Kuipers87,
author = {Benjamin Kuipers},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Abstraction by Time-Scale in Qualitative Simulation},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {621--625},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-111.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Kuipers87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Ladkin87,
author = {Peter B. Ladkin},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Models of Axioms for Time Intervals},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {234--239},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-042.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Ladkin87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lakin87,
author = {Fred Lakin},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Visual Grammars for Visual Languages},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {683--688},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-122.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lakin87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LanskyF87,
author = {Amy L. Lansky and
David S. Fogelsong},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Localized Representation and Planning Methods for Parallel Domains},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {240--245},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-043.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LanskyF87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LaskowskiH87,
author = {Sharon J. Laskowski and
Emily J. Hofmann},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Script-based Reasoning for Situation Monitoring},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {819--823},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-147.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LaskowskiH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lehnert87,
author = {Wendy G. Lehnert},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Case-based Problem Solving with a Large Knowledge Base of Learned
Cases},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {301--306},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-054.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lehnert87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Levesque87,
author = {Hector J. Levesque},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {All {I} Know: An Abridged Report},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {426--431},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-076.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Levesque87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LevittLCN87,
author = {Tod S. Levitt and
Daryl T. Lawton and
David M. Chelberg and
Philip C. Nelson},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Qualitative Landmark-based Path Planning and Following},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {689--694},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-123.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LevittLCN87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lifschitz87,
author = {Vladimir Lifschitz},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Circumscriptive Theories: {A} Logic-based Framework for Knowledge
Representation (Preliminary Report)},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {364--368},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-065.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lifschitz87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lin87,
author = {Fangzhen Lin},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Reasoning in the Presence of Inconsistency},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {139--143},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-025.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lin87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LiuC87,
author = {Peiya Liu and
Ruey{-}Juin Chang},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {A New Structural Induction Scheme for Proving Properties of Mutually
Recursive Concepts},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {144--148},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-026.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LiuC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lowry87,
author = {Michael R. Lowry},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Algorithm Synthesis through Problem Reformulation},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {432--436},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-077.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lowry87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MannaW87,
author = {Zohar Manna and
Richard J. Waldinger},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {The Deductive Synthesis of Imperative {LISP} Programs},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {155--160},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-028.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MannaW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MavrovouniotisS87,
author = {Michael L. Mavrovouniotis and
George Stephanopoulos},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Reasoning with Orders of Magnitude and Approximate Relations},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {626--630},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-112.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MavrovouniotisS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/McCartney87,
author = {Robert McCartney},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Synthesizing Algorithms with Performance Constraints},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {149--154},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-027.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/McCartney87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Miranker87,
author = {Daniel P. Miranker},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {{TREAT:} {A} Better Match Algorithm for {AI} Production System Matching},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {42--47},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-008.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Miranker87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MittalF87,
author = {Sanjay Mittal and
Felix Frayman},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Making Partial Choices in Constraint Reasoning Problems},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {631--636},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-113.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MittalF87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MoerdlerK87,
author = {Mark L. Moerdler and
John R. Kender},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {An Integrated System that Unifies Multiple Shape from Texture Algorithms},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {723--727},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-129.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MoerdlerK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Morris87,
author = {Paul Morris},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Curing Anomalous Extensions},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {437--442},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-078.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Morris87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MurrayR87,
author = {Neil V. Murray and
Erik Rosenthal},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Path Dissolution: {A} Strongly Complete Rule of Inference},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {161--166},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-029.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MurrayR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MurthyA87,
author = {Seshashayee S. Murthy and
Sanjaya Addanki},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {{PROMPT:} An Innovative Design Tool},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {637--642},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-114.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MurthyA87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/NadoF87,
author = {Robert Nado and
Richard Fikes},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Semantically Sound Inheritance for a Formally Defined Frame Language
with Defaults},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {443--448},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-079.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/NadoF87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/NishidaD87,
author = {Toyoaki Nishida and
Shuji Doshita},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Reasoning about Discontinuous Change},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {643--648},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-115.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/NishidaD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Norvig87,
author = {Peter Norvig},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Inference in Text Understanding},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {561--565},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-100.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Norvig87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Nutter87,
author = {Jane Terry Nutter},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Assimilation: {A} Strategy for Implementing Self-Reorganizing Knowledge
Bases},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {449--455},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-080.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Nutter87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ParunakKI87,
author = {H. Van Dyke Parunak and
James Kindrick and
Bruce W. Irish},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Material Handling: {A} Conservative Domain for Neural Connectivity
and Propagation},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {307--311},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-055.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ParunakKI87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Pearl87,
author = {Judea Pearl},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Embracing Causality in Formal Reasoning},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {369--373},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-066.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Pearl87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PearlV87,
author = {Judea Pearl and
Thomas Verma},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {The Logic of Representing Dependencies by Directed Graphs},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {374--379},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-067.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PearlV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PelavinA87,
author = {Richard N. Pelavin and
James F. Allen},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {A Model for Concurrent Actions Having Temporal Extent},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {246--250},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-044.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PelavinA87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Petrie87,
author = {Charles J. Petrie},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Revised Dependencydirected Backtracking for Default Reasoning},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {167--172},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-030.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Petrie87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Prasdny87,
author = {K. Prasdny},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Similitude-Invariant Pattern Recognition Using Parallel Distributed
Processing},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {728--732},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-130.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Prasdny87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PrieditisM87,
author = {Armand Prieditis and
Jack Mostow},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {{PROLEARN:} Towards a Prolog Interpreter that Learns},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {494--498},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-088.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PrieditisM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Provan87,
author = {Gregory M. Provan},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Efficiency Analysis of Multiple-Context TMSs in Scene Representation},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {173--177},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-031.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Provan87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PustejovskyB87,
author = {James Pustejovsky and
Sabine Bergler},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {The Acquisition of Conceptual Structure for the Lexicon},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {566--570},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-101.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PustejovskyB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Ram87,
author = {Ashwin Ram},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {{AQUA:} Asking Questions and Understanding Answers},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {312--316},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-056.php},
timestamp = {Thu, 07 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/Ram87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RaoKR87,
author = {V. Nageshwara Rao and
Vipin Kumar and
K. Ramesh},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {A Parallel Implementation of Iterative-Deepening-A*},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {178--182},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-032.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RaoKR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Rau87,
author = {Lisa F. Rau},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Information Retrieval from Never-Ending Stories},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {317--321},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-057.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Rau87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ReiterK87,
author = {Raymond Reiter and
Johan de Kleer},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Foundations of Assumption-based Truth Maintenance Systems: Preliminary
Report},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {183--189},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-033.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ReiterK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RichBWW87,
author = {Elaine Rich and
Jim Barnett and
Kent Wittenburg and
David A. Wroblewski},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Ambiguity Procrastination},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {571--576},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-102.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RichBWW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RosenbloomLN87,
author = {Paul S. Rosenbloom and
John E. Laird and
Allen Newell},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Knowledge Level Learning in Soar},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {499--504},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-089.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RosenbloomLN87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RowleySCH87,
author = {Steve Rowley and
Howard E. Shrobe and
Robert Cassels and
Walter Hamscher},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Joshua: Uniform Access to Heterogeneous Knowledge Structures, or why
Joshing Is Better than Conniving or Planning},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {48--52},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-009.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RowleySCH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RussellG87,
author = {Stuart J. Russell and
Benjamin N. Grosof},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {A Declarative Approach to Bias in Concept Learning},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {505--510},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-090.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RussellG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Sacks87,
author = {Elisha Sacks},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Hierarchical Reasoning about Inequalities},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {649--654},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-116.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Sacks87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Sacks87a,
author = {Elisha Sacks},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Piecewise Linear Reasoning},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {655--661},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-117.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Sacks87a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Saraswat87,
author = {Vijay A. Saraswat},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {{CP} as a General-Purpose Constraint-Language},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {53--58},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-010.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Saraswat87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Schlimmer87,
author = {Jeffrey C. Schlimmer},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Learning and Representation Change},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {511--515},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-091.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Schlimmer87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Seet87,
author = {Chern H. Seet},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Default Reasoning through Belief Revision Strategy},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {380--384},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-068.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Seet87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Servan-Schreiber87,
author = {David Servan{-}Schreiber},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {From Intelligent Tutoring to Computerized Psychotherapy},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {66--71},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-012.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Servan-Schreiber87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ShavlikD87,
author = {Jude W. Shavlik and
Gerald DeJong},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {{BAGGER:} An {EBL} System that Extends and Generalizes Explanations},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {516--520},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-092.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ShavlikD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SkorstadFG87,
author = {Janice Skorstad and
Brian Falkenhainer and
Dedre Gentner},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Analogical Processing: {A} Simulation and Empirical Corroboration},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {322--326},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-058.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SkorstadFG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SolinaB87,
author = {Franc Solina and
Ruzena Bajcsy},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Range Image Interpretation of Mail Pieces with Superquadrics},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {733--737},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-131.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SolinaB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SolowayBJ87,
author = {Elliot Soloway and
Judy Bachant and
Keith Jensen},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Assessing the Maintainability of XCON-in-RIME: Coping with the Problems
of a {VERY} Large Rule-Base},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {824--829},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-148.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SolowayBJ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SpetsakisA87,
author = {Minas E. Spetsakis and
Yiannis Aloimonos},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Closed Form Solution to the Structure from Motion Problem from Line
Correspondences},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {738--743},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-132.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SpetsakisA87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Stanfill87,
author = {Craig Stanfill},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Memory-based Reasoning Applied to English Pronunciation},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {577--581},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-103.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Stanfill87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Steinberg87,
author = {Louis I. Steinberg},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Design as Refinement Plus Constraint Propagation: The {VEXED} Experience},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {830--835},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-149.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Steinberg87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Strip87,
author = {David R. Strip},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Insertions Using Geometric Analysis and Hybrid Force-Position Control
on a {PUMA} 560 with {VAL} {II}},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {695--699},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-124.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Strip87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Subbarao87,
author = {Muralidhara Subbarao},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Bounds on Translational and Angular Velocity Components from First
Order Derivatives of Image Flow},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {744--748},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-133.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Subbarao87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SwiggerBLJ87,
author = {Kathleen M. Swigger and
Hugh Burns and
Harry Loveland and
Terresa Jackson},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {An Intelligent Tutoring System for Interpreting Ground Tracks},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {72--76},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-013.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SwiggerBLJ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Szeliski87,
author = {Richard Szeliski},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Regularization Uses Fractal Priors},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {749--754},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-134.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Szeliski87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/TerzopoulosWK87,
author = {Demetri Terzopoulos and
Andrew P. Witkin and
Michael Kass},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Energy Constraints on Deformable Models: Recovering Shape and Non-Rigid
Motion},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {755--760},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-135.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/TerzopoulosWK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ThompsonCK87,
author = {William B. Thompson and
Michael T. Checky and
William Kaemmerer},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Shadow Stereo-Locating Object Boundaries Using Shadows},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {761--766},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-136.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ThompsonCK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/TourC87,
author = {Thierry Boy de la Tour and
Ricardo Caferra},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Proof Analogy in Interactive Theorem Proving: {A} Method to Express
and Use It via Second Order Pattern Matching},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {95--99},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-017.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/TourC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Tsang87,
author = {Edward P. K. Tsang},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {The Consistent Labeling Problem in Temporal Reasoning},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {251--255},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-045.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Tsang87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Valdes-Perez87,
author = {Ra{\'{u}}l E. Vald{\'{e}}s{-}P{\'{e}}rez},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {The Satisfiability of Temporal Constraint Networks},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {256--260},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-046.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Valdes-Perez87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/VisettiD87,
author = {Y. M. Visetti and
Philippe Dague},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Plan Inference and Student Modeling in {ICAI}},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {77--81},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-014.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/VisettiD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WaltersK87,
author = {Deborah Walters and
Ganapathy Krishnan},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Perceptual Significance Hierarchy: {A} Computer Vision Theory for
Color Separation},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {767--771},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-137.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WaltersK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WeissGT87,
author = {Sholom M. Weiss and
Robert S. Galen and
Prasad Tadepalli},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Optimizing the Predictive Value of Diagnostic Decision Rules},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {521--527},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-093.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WeissGT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Wellman87,
author = {Michael P. Wellman},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Probabilistic Semantics for Qualitative Influences},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {662--664},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-118.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Wellman87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Wells87,
author = {William M. Wells III},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Visual Estimation of 3-D Line Segments from Motion - {A} Mobile Robot
Vision System},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {772--777},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-138.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Wells87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Winslett87,
author = {Marianne Winslett},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Validating Generalized Plans in the Presence of Incomplete Information},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {261--267},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-047.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Winslett87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WoolfC87,
author = {Beverly Park Woolf and
Pat Cunningham},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Building a Community Memory for Intelligent Tutoring Systems},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {82--89},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-015.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WoolfC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Wroblewski87,
author = {David A. Wroblewski},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Nondestructive Graph Unification},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {582--589},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-104.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Wroblewski87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Yip87,
author = {Kenneth Man{-}kam Yip},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Extracting Qualitative Dynamics from Numerical Experiments},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {665--671},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-119.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Yip87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZabihMC87,
author = {Ramin Zabih and
David A. McAllester and
David Chapman},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Non-Deterministic Lisp with Dependency-directed Backtracking},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {59--65},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-011.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZabihMC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Zadrozny87,
author = {Wlodek Zadrozny},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {A Theory of Default Reasoning},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {385--393},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-069.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Zadrozny87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Zukerman87,
author = {Ingrid Zukerman},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Goal-based Generation of Motivational Expressions in a Learning Environment},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {327--333},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-059.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Zukerman87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/1987,
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Conferences/AAAI/aaai87.php},
timestamp = {Wed, 20 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/1987.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.
retrieved on 2024-11-27 19:11 CET 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:
