Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Richard Fikes
@article{DBLP:journals/aim/FikesG20, author = {Richard Fikes and Tom Garvey}, title = {Knowledge Representation and Reasoning - {A} History of {DARPA} Leadership}, journal = {{AI} Mag.}, volume = {41}, number = {2}, pages = {9--21}, year = {2020}, url = {https://doi.org/10.1609/aimag.v41i2.5295}, doi = {10.1609/AIMAG.V41I2.5295}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aim/FikesG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kcap/ChaudhriGFS11, author = {Vinay K. Chaudhri and Andrew Goldenkranz and Richard Fikes and Patrice Seyed}, editor = {Mark A. Musen and {\'{O}}scar Corcho}, title = {What is hard about representing biology textbook knowledge}, booktitle = {Proceedings of the 6th International Conference on Knowledge Capture {(K-CAP} 2011), June 26-29, 2011, Banff, Alberta, Canada}, pages = {185--186}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1999676.1999717}, doi = {10.1145/1999676.1999717}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kcap/ChaudhriGFS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fois/ChaudhriBFMW10, author = {Vinay K. Chaudhri and Bert Bredeweg and Richard Fikes and Sheila A. McIlraith and Michael P. Wellman}, editor = {Antony Galton and Riichiro Mizoguchi}, title = {A Categorization of KR{\&}R Methods for Requirement Analysis of a Query Answering Knowledge Base}, booktitle = {Formal Ontology in Information Systems, Proceedings of the Sixth International Conference, {FOIS} 2010, Toronto, Canada, May 11-14, 2010}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {209}, pages = {158--171}, publisher = {{IOS} Press}, year = {2010}, url = {https://doi.org/10.3233/978-1-60750-535-8-158}, doi = {10.3233/978-1-60750-535-8-158}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fois/ChaudhriBFMW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/is/SilvaMF06, author = {Paulo Pinheiro da Silva and Deborah L. McGuinness and Richard Fikes}, title = {A proof markup language for Semantic Web services}, journal = {Inf. Syst.}, volume = {31}, number = {4-5}, pages = {381--395}, year = {2006}, url = {https://doi.org/10.1016/j.is.2005.02.003}, doi = {10.1016/J.IS.2005.02.003}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/is/SilvaMF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/AmbiteCFJMMUY06, author = {Jos{\'{e}} Luis Ambite and Vinay K. Chaudhri and Richard Fikes and Jessica Jenkins and Sunil Mishra and Maria Muslea and Tom{\'{a}}s E. Uribe and Guizhen Yang}, title = {Design and Implementation of the {CALO} Query Manager}, booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, {USA}}, pages = {1751--1758}, publisher = {{AAAI} Press}, year = {2006}, url = {http://www.aaai.org/Library/AAAI/2006/aaai06-291.php}, timestamp = {Tue, 05 Sep 2023 09:10:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/AmbiteCFJMMUY06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/colcom/ZengAFM06, author = {Honglei Zeng and Maher A. Alhossaini and Richard Fikes and Deborah L. McGuinness}, editor = {Enrico Blanzieri and Tao Zhang}, title = {Mining Revision History to Assess Trustworthiness of Article Fragments}, booktitle = {2nd International {ICST} Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2006, Atlanta, GA, USA, November 17-20, 2006}, publisher = {{IEEE} Computer Society / {ICST}}, year = {2006}, url = {https://doi.org/10.1109/COLCOM.2006.361890}, doi = {10.1109/COLCOM.2006.361890}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/colcom/ZengAFM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fois/WeltyF06, author = {Christopher A. Welty and Richard Fikes}, editor = {Brandon Bennett and Christiane Fellbaum}, title = {A Reusable Ontology for Fluents in {OWL}}, booktitle = {Formal Ontology in Information Systems, Proceedings of the Fourth International Conference, {FOIS} 2006, Baltimore, Maryland, USA, November 9-11, 2006}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {150}, pages = {226--236}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=2209}, timestamp = {Tue, 13 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fois/WeltyF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pst/ZengADFM06, author = {Honglei Zeng and Maher A. Alhossaini and Li Ding and Richard Fikes and Deborah L. McGuinness}, title = {Computing trust from revision history}, booktitle = {Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between {PST} Technologies and Business Services, {PST} 2006, Markham, Ontario, Canada, October 30 - November 1, 2006}, series = {{ACM} International Conference Proceeding Series}, volume = {380}, pages = {8}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1501434.1501445}, doi = {10.1145/1501434.1501445}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pst/ZengADFM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/exact/ZengMSF05, author = {Honglei Zeng and Deborah L. McGuinness and Paulo Pinheiro da Silva and Richard Fikes}, editor = {Thomas Roth{-}Berghofer and Stefan Schulz}, title = {Explaining Results from Information Retrieval and Integration}, booktitle = {Explanation-Aware Computing, Papers from the 2005 {AAAI} Fall Symposium, November 4-6, 2005, Arlington, Virginia, {USA}}, series = {{AAAI} Technical Report}, volume = {{FS-05-04}}, pages = {103}, publisher = {{AAAI} Press}, year = {2005}, timestamp = {Mon, 24 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/exact/ZengMSF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/otm/AmbiteCFJMMUY05, author = {Jos{\'{e}} Luis Ambite and Vinay K. Chaudhri and Richard Fikes and Jessica Jenkins and Sunil Mishra and Maria Muslea and Tom{\'{a}}s E. Uribe and Guizhen Yang}, editor = {Robert Meersman and Zahir Tari and Pilar Herrero and Gonzalo M{\'{e}}ndez and Lawrence Cavedon and David B. Martin and Annika Hinze and George Buchanan and Mar{\'{\i}}a S. P{\'{e}}rez and V{\'{\i}}ctor Robles and Jan Humble and Antonia Albani and Jan L. G. Dietz and Herv{\'{e}} Panetto and Monica Scannapieco and Terry A. Halpin and Peter Spyns and Johannes Maria Zaha and Esteban Zim{\'{a}}nyi and Emmanuel Stefanakis and Tharam S. Dillon and Ling Feng and Mustafa Jarrar and Jos Lehmann and Aldo de Moor and Erik Duval and Lora Aroyo}, title = {Integration of Heterogeneous Knowledge Sources in the {CALO} Query Manager}, booktitle = {On the Move to Meaningful Internet Systems 2005: {OTM} 2005 Workshops, {OTM} Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and {WOSE} 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3762}, pages = {30--32}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11575863\_15}, doi = {10.1007/11575863\_15}, timestamp = {Tue, 11 Apr 2023 12:52:01 +0200}, biburl = {https://dblp.org/rec/conf/otm/AmbiteCFJMMUY05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ws/FikesHH04, author = {Richard Fikes and Patrick J. Hayes and Ian Horrocks}, title = {{OWL-QL} - a language for deductive query answering on the Semantic Web}, journal = {J. Web Semant.}, volume = {2}, number = {1}, pages = {19--29}, year = {2004}, url = {https://doi.org/10.1016/j.websem.2004.07.002}, doi = {10.1016/J.WEBSEM.2004.07.002}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ws/FikesHH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/GuhaMF04, author = {Ramanathan V. Guha and Rob McCool and Richard Fikes}, editor = {Sheila A. McIlraith and Dimitris Plexousakis and Frank van Harmelen}, title = {Contexts for the Semantic Web}, booktitle = {The Semantic Web - {ISWC} 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3298}, pages = {32--46}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30475-3\_4}, doi = {10.1007/978-3-540-30475-3\_4}, timestamp = {Tue, 07 Sep 2021 13:47:57 +0200}, biburl = {https://dblp.org/rec/conf/semweb/GuhaMF04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/McGuinnessFSH03, author = {Deborah L. McGuinness and Richard Fikes and Lynn Andrea Stein and James A. Hendler}, editor = {Dieter Fensel and James A. Hendler and Henry Lieberman and Wolfgang Wahlster}, title = {{DAML-ONT:} An Ontology Language for the Semantic Web}, booktitle = {Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential [outcome of a Dagstuhl seminar]}, pages = {65--93}, publisher = {{MIT} Press}, year = {2003}, timestamp = {Thu, 27 Mar 2003 11:07:45 +0100}, biburl = {https://dblp.org/rec/conf/dagstuhl/McGuinnessFSH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ike/FikesJZ03, author = {Richard Fikes and Jessica Jenkins and Qing Zhou}, editor = {Hamid R. Arabnia}, title = {Including Domain-Specific Reasoners with Reusable Ontologies}, booktitle = {Proceedings of the International Conference on Information and Knowledge Engineering. IKE'03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1}, pages = {262--268}, publisher = {{CSREA} Press}, year = {2003}, timestamp = {Fri, 10 Oct 2003 10:36:02 +0200}, biburl = {https://dblp.org/rec/conf/ike/FikesJZ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dsonline/McGuinnessFHS02, author = {Deborah L. McGuinness and Richard Fikes and James A. Hendler and Lynn Andrea Stein}, title = {{IEEE} Intelligent Systems: {DAML+OIL:} An Ontology Language for the Semantic Web}, journal = {{IEEE} Distributed Syst. Online}, volume = {3}, number = {11}, year = {2002}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dsonline/McGuinnessFHS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/expert/McGuinnessFHS02, author = {Deborah L. McGuinness and Richard Fikes and James A. Hendler and Lynn Andrea Stein}, title = {{DAML+OIL:} An Ontology Language for the Semantic Web}, journal = {{IEEE} Intell. Syst.}, volume = {17}, number = {5}, pages = {72--80}, year = {2002}, url = {https://doi.org/10.1109/MIS.2002.1039835}, doi = {10.1109/MIS.2002.1039835}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/expert/McGuinnessFHS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/DaudMSBGTCFSPJ00, author = {Fawzi Daud and Michael Mateas and Phoebe Sengers and Susan Brennan and Alain Giboin and David R. Traum and Vinay K. Chaudri and Richard Fikes and Donia Scott and Richard Power and David D. Jensen}, title = {Reports on the {AAAI} Fall Symposia (November 1999 and November 1998)}, journal = {{AI} Mag.}, volume = {21}, number = {2}, pages = {85--88}, year = {2000}, url = {https://doi.org/10.1609/aimag.v21i2.1511}, doi = {10.1609/AIMAG.V21I2.1511}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aim/DaudMSBGTCFSPJ00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/McGuinnessFRW00, author = {Deborah L. McGuinness and Richard Fikes and James Rice and Steve Wilder}, editor = {Henry A. Kautz and Bruce W. Porter}, title = {The Chimaera Ontology Environment}, booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}}, pages = {1123--1124}, publisher = {{AAAI} Press / The {MIT} Press}, year = {2000}, url = {http://www.aaai.org/Library/AAAI/2000/aaai00-198.php}, timestamp = {Tue, 05 Sep 2023 09:10:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/McGuinnessFRW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/McGuinnessFRW00, author = {Deborah L. McGuinness and Richard Fikes and James Rice and Steve Wilder}, editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman}, title = {An Environment for Merging and Testing Large Ontologies}, booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000}, pages = {483--493}, publisher = {Morgan Kaufmann}, year = {2000}, timestamp = {Tue, 20 Jun 2023 09:03:42 +0200}, biburl = {https://dblp.org/rec/conf/kr/McGuinnessFRW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/expert/FrankFF99, author = {Gleb Frank and Adam Farquhar and Richard Fikes}, title = {Building a large knowledge base from a structured source}, journal = {{IEEE} Intell. Syst.}, volume = {14}, number = {1}, pages = {47--54}, year = {1999}, url = {https://doi.org/10.1109/5254.747905}, doi = {10.1109/5254.747905}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/expert/FrankFF99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/expert/FikesF99, author = {Rich Fikes and Adam Farquhar}, title = {Distributed repositories of highly expressive reusable ontologies}, journal = {{IEEE} Intell. Syst.}, volume = {14}, number = {2}, pages = {73--79}, year = {1999}, url = {https://doi.org/10.1109/5254.757634}, doi = {10.1109/5254.757634}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/expert/FikesF99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/ChaudhriFFKR98, author = {Vinay K. Chaudhri and Adam Farquhar and Richard Fikes and Peter D. Karp and James Rice}, editor = {Jack Mostow and Chuck Rich}, title = {{OKBC:} {A} Programmatic Foundation for Knowledge Base Interoperability}, booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, {AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}}, pages = {600--607}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1998}, url = {http://www.aaai.org/Library/AAAI/1998/aaai98-085.php}, timestamp = {Tue, 05 Sep 2023 09:10:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/ChaudhriFFKR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/LevyIF97, author = {Alon Y. Levy and Yumi Iwasaki and Richard Fikes}, title = {Automated Model Selection for Simulation Based on Relevance Reasoning}, journal = {Artif. Intell.}, volume = {96}, number = {2}, pages = {351--394}, year = {1997}, url = {https://doi.org/10.1016/S0004-3702(97)00056-8}, doi = {10.1016/S0004-3702(97)00056-8}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/LevyIF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/LevyFS97, author = {Alon Y. Levy and Richard Fikes and Yehoshua Sagiv}, title = {Speeding up Inferences Using Relevance Reasoning: {A} Formalism and Algorithms}, journal = {Artif. Intell.}, volume = {97}, number = {1-2}, pages = {83--136}, year = {1997}, url = {https://doi.org/10.1016/S0004-3702(97)00049-0}, doi = {10.1016/S0004-3702(97)00049-0}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/LevyFS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijmms/FarquharFR97, author = {Adam Farquhar and Richard Fikes and James Rice}, title = {The Ontolingua Server: a tool for collaborative ontology construction}, journal = {Int. J. Hum. Comput. Stud.}, volume = {46}, number = {6}, pages = {707--727}, year = {1997}, url = {https://doi.org/10.1006/ijhc.1996.0121}, doi = {10.1006/IJHC.1996.0121}, timestamp = {Sat, 13 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijmms/FarquharFR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/FikesFR97, author = {Richard Fikes and Adam Farquhar and James Rice}, editor = {Benjamin Kuipers and Bonnie L. Webber}, title = {Tools for Assembling Modular Ontologies in Ontolingua}, booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, {AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island, {USA}}, pages = {436--441}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1997}, url = {http://www.aaai.org/Library/AAAI/1997/aaai97-067.php}, timestamp = {Tue, 05 Sep 2023 08:53:09 +0200}, biburl = {https://dblp.org/rec/conf/aaai/FikesFR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/IwasakiFFR97, author = {Yumi Iwasaki and Adam Farquhar and Richard Fikes and James Rice}, title = {A Web-Based Compositional Modeling System for Sharing of Physical Knowledge}, booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes}, pages = {494--500}, publisher = {Morgan Kaufmann}, year = {1997}, timestamp = {Tue, 20 Aug 2019 16:17:27 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/IwasakiFFR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/Fikes96, author = {Richard Fikes}, editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart C. Shapiro}, title = {Ontologies: What Are They, and Where's The Research?}, booktitle = {Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996}, pages = {652--653}, publisher = {Morgan Kaufmann}, year = {1996}, timestamp = {Fri, 18 May 2012 15:03:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/Fikes96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aai/IwasakiVFC95, author = {Yumi Iwasaki and Marcos Vescovi and Richard Fikes and B. Chandrasekaran}, title = {Causal functional representation language with behavior-based semantics}, journal = {Appl. Artif. Intell.}, volume = {9}, number = {1}, pages = {5--31}, year = {1995}, url = {https://doi.org/10.1080/08839519508945465}, doi = {10.1080/08839519508945465}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aai/IwasakiVFC95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cikm/BuvacF95, author = {Sasa Buvac and Richard Fikes}, editor = {Niki Pissinou and Avi Silberschatz and E. K. Park and Kia Makki}, title = {A Declarative Formalization of Knowledge Translation}, booktitle = {{CIKM} '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28 - December 2, 1995, Baltimore, Maryland, {USA}}, pages = {340--347}, publisher = {{ACM}}, year = {1995}, url = {https://doi.org/10.1145/221270.221610}, doi = {10.1145/221270.221610}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cikm/BuvacF95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/BaalenF94, author = {Jeffrey Van Baalen and Richard Fikes}, editor = {Jon Doyle and Erik Sandewall and Pietro Torasso}, title = {The Role of Reversible Grammars in Translating Between Representation Languages}, booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994}, pages = {562--571}, publisher = {Morgan Kaufmann}, year = {1994}, timestamp = {Fri, 18 May 2012 15:02:59 +0200}, biburl = {https://dblp.org/rec/conf/kr/BaalenF94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Fikes93, author = {Richard Fikes}, title = {STRIPS, {A} Retrospective}, journal = {Artif. Intell.}, volume = {59}, number = {1-2}, pages = {227--232}, year = {1993}, url = {https://doi.org/10.1016/0004-3702(93)90190-M}, doi = {10.1016/0004-3702(93)90190-M}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Fikes93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computer/CutkoskyEFGGMTW93, author = {Mark R. Cutkosky and Robert S. Engelmore and Richard Fikes and Michael R. Genesereth and Thomas R. Gruber and William S. Mark and Jay M. Tenenbaum and Jay C. Weber}, title = {{PACT:} An Experiment in Integrating Concurrent Engineering Systems}, journal = {Computer}, volume = {26}, number = {1}, pages = {28--37}, year = {1993}, url = {https://doi.org/10.1109/2.179153}, doi = {10.1109/2.179153}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computer/CutkoskyEFGGMTW93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/VescoviIFC93, author = {Marcos Vescovi and Yumi Iwasaki and Richard Fikes and B. Chandrasekaran}, editor = {Richard Fikes and Wendy G. Lehnert}, title = {{CFRL:} {A} Language for Specifying the Causal Functionality of Engineered Devices}, booktitle = {Proceedings of the 11th National Conference on Artificial Intelligence. Washington, DC, USA, July 11-15, 1993}, pages = {626--633}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1993}, url = {http://www.aaai.org/Library/AAAI/1993/aaai93-094.php}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/VescoviIFC93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/IwasakiFVC93, author = {Yumi Iwasaki and Richard Fikes and Marcos Vescovi and B. Chandrasekaran}, editor = {Ruzena Bajcsy}, title = {How Things are Intended to Work: Capturing Functional Knowledge in Device Design}, booktitle = {Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3, 1993}, pages = {1516--1522}, publisher = {Morgan Kaufmann}, year = {1993}, timestamp = {Tue, 20 Aug 2019 16:18:33 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/IwasakiFVC93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aaai/1993, editor = {Richard Fikes and Wendy G. Lehnert}, title = {Proceedings of the 11th National Conference on Artificial Intelligence. Washington, DC, USA, July 11-15, 1993}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1993}, url = {http://www.aaai.org/Conferences/AAAI/aaai93.php}, isbn = {0-262-51071-5}, timestamp = {Thu, 01 Dec 2011 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aaai/1993.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/PatilFPMFGN92, author = {Ramesh S. Patil and Richard Fikes and Peter F. Patel{-}Schneider and Donald P. McKay and Timothy W. Finin and Thomas R. Gruber and Robert Neches}, editor = {Bernhard Nebel and Charles Rich and William R. Swartout}, title = {The {DARPA} Knowledge Sharing Effort: {A} Progress Report}, booktitle = {Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, MA, USA, October 25-29, 1992}, pages = {777--788}, publisher = {Morgan Kaufmann}, year = {1992}, timestamp = {Fri, 22 Jun 2018 07:35:19 +0200}, biburl = {https://dblp.org/rec/conf/kr/PatilFPMFGN92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/NechesFFGPSS91, author = {Robert Neches and Richard Fikes and Timothy W. Finin and Thomas R. Gruber and Ramesh S. Patil and Ted E. Senator and William R. Swartout}, title = {Enabling Technology for Knowledge Sharing}, journal = {{AI} Mag.}, volume = {12}, number = {3}, pages = {36--56}, year = {1991}, url = {https://doi.org/10.1609/aimag.v12i3.902}, doi = {10.1609/AIMAG.V12I3.902}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aim/NechesFFGPSS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigart/NadoBF91, author = {Robert Nado and Jeffrey Van Baalen and Richard Fikes}, title = {{JOSIE:} An Integration of Specialized Representation and Reasoning Tools}, journal = {{SIGART} Bull.}, volume = {2}, number = {3}, pages = {101--107}, year = {1991}, url = {https://doi.org/10.1145/122296.122312}, doi = {10.1145/122296.122312}, timestamp = {Tue, 19 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigart/NadoBF91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/kr/1991, editor = {James F. Allen and Richard Fikes and Erik Sandewall}, title = {Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991}, publisher = {Morgan Kaufmann}, year = {1991}, isbn = {1-55860-165-1}, timestamp = {Fri, 18 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/1991.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/Fikes90, author = {Richard Fikes}, editor = {Howard E. Shrobe and Thomas G. Dietterich and William R. Swartout}, title = {{AI} and Software Engineering - Managing Exploratory Programming}, booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes}, pages = {1126--1127}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1990}, url = {http://www.aaai.org/Library/AAAI/1990/aaai90-167.php}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/Fikes90.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/NechesFKMP86, author = {Robert Neches and Richard Fikes and Casimir A. Kulikowski and John P. McDermott and Ramesh S. Patil}, editor = {Tom Kehler and Stanley J. Rosenschein}, title = {Panel: Knowledge Representation Meets Knowledge Acquisition: What Are the Needs and Where Is the Leverage?}, booktitle = {Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, PA, USA, August 11-15, 1986. Volume 2: Engineering}, pages = {1153}, publisher = {Morgan Kaufmann}, year = {1986}, url = {http://www.aaai.org/Library/AAAI/1986/aaai86-193.php}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/NechesFKMP86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cacm/FikesK85, author = {Richard Fikes and Tom Kehler}, title = {The Role of Frame-Based Representation in Reasoning}, journal = {Commun. {ACM}}, volume = {28}, number = {9}, pages = {904--920}, year = {1985}, url = {https://doi.org/10.1145/4284.4285}, doi = {10.1145/4284.4285}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cacm/FikesK85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/Fikes84, author = {Richard Fikes}, title = {Minutes of the Fourth Annual Meeting of the American Association for Artificial Intelligence}, journal = {{AI} Mag.}, volume = {5}, number = {1}, pages = {77}, year = {1984}, url = {https://ojs.aaai.org/index.php/aimagazine/article/view/429}, timestamp = {Wed, 06 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aim/Fikes84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computer/BrachmanFL83, author = {Ronald J. Brachman and Richard Fikes and Hector J. Levesque}, title = {Krypton: {A} Functional Approach to Knowledge Representation}, journal = {Computer}, volume = {16}, number = {10}, pages = {67--73}, year = {1983}, url = {https://doi.org/10.1109/MC.1983.1654200}, doi = {10.1109/MC.1983.1654200}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computer/BrachmanFL83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/BrachmanLF83, author = {Ronald J. Brachman and Hector J. Levesque and Richard Fikes}, editor = {Michael R. Genesereth}, title = {{KRYPTON:} Integrating Terminology and Assertion}, booktitle = {Proceedings of the National Conference on Artificial Intelligence, Washington, D.C., USA, August 22-26, 1983}, pages = {31--35}, publisher = {{AAAI} Press}, year = {1983}, url = {http://www.aaai.org/Library/AAAI/1983/aaai83-005.php}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/BrachmanLF83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/Fikes82, author = {Richard Fikes}, title = {A Representation System User Interface for Knowledge Base Designers}, journal = {{AI} Mag.}, volume = {3}, number = {4}, pages = {28--33}, year = {1982}, url = {https://ojs.aaai.org/index.php/aimagazine/article/view/379}, timestamp = {Wed, 06 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aim/Fikes82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cogsci/Fikes82, author = {Richard E. Fikes}, title = {A Commitment-Based Framework for Describing Informal Cooperative Work}, journal = {Cogn. Sci.}, volume = {6}, number = {4}, pages = {331--347}, year = {1982}, url = {https://doi.org/10.1207/s15516709cog0604\_2}, doi = {10.1207/S15516709COG0604\_2}, timestamp = {Thu, 04 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cogsci/Fikes82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/TouWFHM82, author = {Frederich N. Tou and Michael D. Williams and Richard Fikes and D. Austin Henderson Jr. and Thomas W. Malone}, editor = {David L. Waltz}, title = {{RABBIT:} An Intelligent Database Assistant}, booktitle = {Proceedings of the National Conference on Artificial Intelligence, Pittsburgh, PA, USA, August 18-20, 1982}, pages = {314--318}, publisher = {{AAAI} Press}, year = {1982}, url = {http://www.aaai.org/Library/AAAI/1982/aaai82-074.php}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/TouWFHM82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cocs/JongFHJM82, author = {S. Peter de Jong and Richard E. Fikes and Carl Hewitt and Vania Joloboss and Lance A. Miller}, editor = {John O. Limb and Frederick H. Lochovsky}, title = {Views of office data}, booktitle = {Proceedings of the {SIGOA} Conference on Office Information Systems, {COCS} 1982, Philadelphia, Pennsylvannia, USA, June 21-23, 1982}, pages = {122}, publisher = {{ACM}}, year = {1982}, url = {https://doi.org/10.1145/800210.806487}, doi = {10.1145/800210.806487}, timestamp = {Thu, 24 Mar 2022 14:31:14 +0100}, biburl = {https://dblp.org/rec/conf/cocs/JongFHJM82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Fikes81, author = {Richard Fikes}, title = {Odyssey: {A} Knowledge-Based Assistant}, journal = {Artif. Intell.}, volume = {16}, number = {3}, pages = {331--361}, year = {1981}, url = {https://doi.org/10.1016/0004-3702(81)90004-7}, doi = {10.1016/0004-3702(81)90004-7}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Fikes81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/FikesH80, author = {Richard Fikes and D. Austin Henderson Jr.}, editor = {Robert Balzer}, title = {On Supporting the Use of Procedures in Office Work}, booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence, Stanford University, CA, USA, August 18-21, 1980}, pages = {202--207}, publisher = {{AAAI} Press/MIT Press}, year = {1980}, url = {http://www.aaai.org/Library/AAAI/1980/aaai80-057.php}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/FikesH80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/FikesH77, author = {Richard Fikes and Gary G. Hendrix}, editor = {Raj Reddy}, title = {A Network-Based Knowledge Representation and Its Natural Deduction System}, booktitle = {Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, MA, USA, August 22-25, 1977}, pages = {235--246}, publisher = {William Kaufmann}, year = {1977}, url = {http://ijcai.org/Proceedings/77-1/Papers/034A.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:08 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/FikesH77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigart/Fikes76, author = {Rich Fikes}, title = {{AI} sessions at {ACM} conference}, journal = {{SIGART} Newsl.}, volume = {58}, pages = {13--16}, year = {1976}, url = {https://doi.org/10.1145/1045264.1045266}, doi = {10.1145/1045264.1045266}, timestamp = {Tue, 19 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigart/Fikes76.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acm/GoldsteinHF76, author = {Ira P. Goldstein and Gary G. Hendrix and Richard Fikes}, editor = {John A. Gosden and Olin G. Johnson}, title = {SIGART(Tutorial Session)}, booktitle = {Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976}, pages = {69}, publisher = {{ACM}}, year = {1976}, url = {https://doi.org/10.1145/800191.805528}, doi = {10.1145/800191.805528}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acm/GoldsteinHF76.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acm/GoldsteinHF76a, author = {Ira P. Goldstein and Gary G. Hendrix and Richard Fikes}, editor = {John A. Gosden and Olin G. Johnson}, title = {The role of representation in artificial intelligence(Tutorial Session)}, booktitle = {Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976}, pages = {70--72}, publisher = {{ACM}}, year = {1976}, url = {https://doi.org/10.1145/800191.805529}, doi = {10.1145/800191.805529}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acm/GoldsteinHF76a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acm/GreenFK76, author = {Cordell Green and Richard Fikes and Martin Kay}, editor = {John A. Gosden and Olin G. Johnson}, title = {SIGART(Tutorial Session)}, booktitle = {Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976}, pages = {73}, publisher = {{ACM}}, year = {1976}, url = {https://doi.org/10.1145/800191.805530}, doi = {10.1145/800191.805530}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acm/GreenFK76.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acm/GreenFK76a, author = {Cordell Green and Richard Fikes and Martin Kay}, editor = {John A. Gosden and Olin G. Johnson}, title = {Automatic synthesis - programs and plans}, booktitle = {Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976}, pages = {74--75}, publisher = {{ACM}}, year = {1976}, url = {https://doi.org/10.1145/800191.805531}, doi = {10.1145/800191.805531}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acm/GreenFK76a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acm/Fikes76, author = {Richard Fikes}, editor = {John A. Gosden and Olin G. Johnson}, title = {{SPADOR:} {A} scheduler, planner, and administrator of operations and resources}, booktitle = {Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976}, pages = {75--76}, publisher = {{ACM}}, year = {1976}, url = {https://doi.org/10.1145/800191.805532}, doi = {10.1145/800191.805532}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acm/Fikes76.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afips/SacerdotiFRSWW76, author = {Earl D. Sacerdoti and Richard E. Fikes and Ren{\'{e}} Reboh and Daniel Sagalowicz and Richard J. Waldinger and B. Michael Wilber}, title = {{QLISP:} a language for the interactive development of complex systems}, booktitle = {American Federation of Information Processing Societies: 1976 National Computer Conference, 7-10 June 1976, New York, NY, {USA}}, series = {{AFIPS} Conference Proceedings}, volume = {45}, pages = {349--356}, publisher = {{AFIPS} Press}, year = {1976}, url = {https://doi.org/10.1145/1499799.1499853}, doi = {10.1145/1499799.1499853}, timestamp = {Wed, 14 Apr 2021 16:50:07 +0200}, biburl = {https://dblp.org/rec/conf/afips/SacerdotiFRSWW76.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/Fikes75, author = {Richard Fikes}, title = {Deductive Retrieval Mechanisms for State Description Models}, booktitle = {Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, Tbilisi, Georgia, USSR, September 3-8, 1975}, pages = {99--106}, year = {1975}, url = {http://ijcai.org/Proceedings/75/Papers/014.pdf}, timestamp = {Tue, 20 Aug 2019 16:17:24 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/Fikes75.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tinlap/Fikes75, author = {Richard E. Fikes}, editor = {Bonnie Nash{-}Webber and Roger C. Schank}, title = {Automatic Planning from a Frames Point of View}, booktitle = {Theoretical Issues in Natural Language Processing, {TINLAP} 1975, Supplement, Cambridge, MA, USA, June 10-13, 1975}, year = {1975}, url = {https://aclanthology.org/T75-1003/}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tinlap/Fikes75.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigart/Fikes74c, author = {Rich Fikes}, title = {Fourth {U.S.} computer chess championship}, journal = {{SIGART} Newsl.}, volume = {44}, pages = {13--22}, year = {1974}, url = {https://doi.org/10.1145/1045183.1045188}, doi = {10.1145/1045183.1045188}, timestamp = {Tue, 19 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigart/Fikes74c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigart/Fikes74b, author = {Rich Fikes}, title = {Chess}, journal = {{SIGART} Newsl.}, volume = {45}, pages = {12--13}, year = {1974}, url = {https://doi.org/10.1145/1045220.1045224}, doi = {10.1145/1045220.1045224}, timestamp = {Tue, 19 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigart/Fikes74b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigart/Fikes74a, author = {Rich Fikes}, title = {Chess}, journal = {{SIGART} Newsl.}, volume = {46}, pages = {17--20}, year = {1974}, url = {https://doi.org/10.1145/1056793.1056794}, doi = {10.1145/1056793.1056794}, timestamp = {Tue, 19 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigart/Fikes74a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigart/Fikes74, author = {Rich Fikes}, title = {First world computer chess championship}, journal = {{SIGART} Newsl.}, volume = {47}, pages = {15--16}, year = {1974}, url = {https://doi.org/10.1145/1045190.1045192}, doi = {10.1145/1045190.1045192}, timestamp = {Tue, 19 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigart/Fikes74.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computer/FikesHR73, author = {Richard E. Fikes and Peter E. Hart and Bertram Raphael}, title = {Themes in automatic problem solving}, journal = {Computer}, volume = {6}, number = {5}, pages = {11--18}, year = {1973}, url = {https://doi.org/10.1109/MC.1973.6536713}, doi = {10.1109/MC.1973.6536713}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computer/FikesHR73.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/FikesHN72, author = {Richard Fikes and Peter E. Hart and Nils J. Nilsson}, title = {Learning and Executing Generalized Robot Plans}, journal = {Artif. Intell.}, volume = {3}, number = {1-3}, pages = {251--288}, year = {1972}, url = {https://doi.org/10.1016/0004-3702(72)90051-3}, doi = {10.1016/0004-3702(72)90051-3}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/FikesHN72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/FikesN71, author = {Richard Fikes and Nils J. Nilsson}, title = {{STRIPS:} {A} New Approach to the Application of Theorem Proving to Problem Solving}, journal = {Artif. Intell.}, volume = {2}, number = {3/4}, pages = {189--208}, year = {1971}, url = {https://doi.org/10.1016/0004-3702(71)90010-5}, doi = {10.1016/0004-3702(71)90010-5}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/FikesN71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Fikes71, author = {Richard Fikes}, editor = {Charles V. Freiman and John E. Griffith and Jack L. Rosenfeld}, title = {Monitored Execution of Robot Plans Producted by \emph{STRIPS}}, booktitle = {Information Processing, Proceedings of {IFIP} Congress 1971, Volume 1 - Foundations and Systems, Ljubljana, Yugoslavia, August 23-28, 1971}, pages = {189--194}, publisher = {North-Holland}, year = {1971}, timestamp = {Fri, 26 Jul 2019 15:39:56 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Fikes71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/FikesN71, author = {Richard Fikes and Nils J. Nilsson}, editor = {D. C. Cooper}, title = {{STRIPS:} {A} New Approach to the Application of Theorem Proving to Problem Solving}, booktitle = {Proceedings of the 2nd International Joint Conference on Artificial Intelligence. London, UK, September 1-3, 1971}, pages = {608--620}, publisher = {William Kaufmann}, year = {1971}, url = {http://ijcai.org/Proceedings/71/Papers/055.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:02 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/FikesN71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Fikes70, author = {Richard Fikes}, title = {{REF-ARF:} {A} System for Solving Problems Stated as Procedures}, journal = {Artif. Intell.}, volume = {1}, number = {1/2}, pages = {27--120}, year = {1970}, url = {https://doi.org/10.1016/0004-3702(70)90003-2}, doi = {10.1016/0004-3702(70)90003-2}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Fikes70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acm/FikesLV68, author = {Richard E. Fikes and Hugh C. Lauer and Albin L. Vareha}, editor = {Richard B. Blue Sr. and Arthur M. Rosenberg}, title = {Steps toward a general-purpose time-sharing system using large capacity core storage and {TSS/360}}, booktitle = {Proceedings of the 23rd {ACM} national conference, {ACM} 1968, USA, 1968}, pages = {7--18}, publisher = {{ACM}}, year = {1968}, url = {https://doi.org/10.1145/800186.810560}, doi = {10.1145/800186.810560}, timestamp = {Sun, 18 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acm/FikesLV68.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.