BibTeX records: Richard Fikes

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics