Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jon Doyle
@article{DBLP:journals/jdiq/ChirkovaDR21,
author = {Rada Chirkova and
Jon Doyle and
Juan L. Reutter},
title = {Ensuring Data Readiness for Quality Requirements with Help from Procedure
Reuse},
journal = {{ACM} J. Data Inf. Qual.},
volume = {13},
number = {3},
pages = {15:1--15:15},
year = {2021},
url = {https://doi.org/10.1145/3428154},
doi = {10.1145/3428154},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jdiq/ChirkovaDR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/ChirkovaDR18,
author = {Rada Chirkova and
Jon Doyle and
Juan L. Reutter},
editor = {Dan Olteanu and
Barbara Poblete},
title = {The Data Readiness Problem for Relational Databases},
booktitle = {Proceedings of the 12th Alberto Mendelzon International Workshop on
Foundations of Data Management, Cali, Colombia, May 21-25, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2100},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2100/paper21.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/ChirkovaDR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/JiangCDR18,
author = {Jiaming Jiang and
Rada Chirkova and
Jon Doyle and
Arnon Rosenthal},
editor = {Elisa Bertino and
Dan Lin and
Jorge Lobo},
title = {Towards Greater Expressiveness, Flexibility, and Uniformity in Access
Control},
booktitle = {Proceedings of the 23nd {ACM} on Symposium on Access Control Models
and Technologies, {SACMAT} 2018, Indianapolis, IN, USA, June 13-15,
2018},
pages = {217--219},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3205977.3208950},
doi = {10.1145/3205977.3208950},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sacmat/JiangCDR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/ArgentaD17,
author = {Chris Argenta and
Jon Doyle},
editor = {H. Jaap van den Herik and
Ana Paula Rocha and
Joaquim Filipe},
title = {Probabilistic Multi-Agent Plan Recognition as Planning (P-Maprap):
Recognizing Teams, Goals, and Plans from Action Sequences},
booktitle = {Proceedings of the 9th International Conference on Agents and Artificial
Intelligence, {ICAART} 2017, Volume 2, Porto, Portugal, February 24-26,
2017},
pages = {575--582},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006197505750582},
doi = {10.5220/0006197505750582},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaart/ArgentaD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChirkovaDR17,
author = {Rada Chirkova and
Jon Doyle and
Juan L. Reutter},
title = {A Framework for Assessing Achievability of Data-Quality Constraints},
journal = {CoRR},
volume = {abs/1703.09141},
year = {2017},
url = {http://arxiv.org/abs/1703.09141},
eprinttype = {arXiv},
eprint = {1703.09141},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChirkovaDR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-03438,
author = {Rada Chirkova and
Jon Doyle and
Juan L. Reutter},
title = {Assessing Achievability of Queries and Constraints},
journal = {CoRR},
volume = {abs/1712.03438},
year = {2017},
url = {http://arxiv.org/abs/1712.03438},
eprinttype = {arXiv},
eprint = {1712.03438},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-03438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/JiangACDS16,
author = {Jiaming Jiang and
Nirav Ajmeri and
Rada Chirkova and
Jon Doyle and
Munindar P. Singh},
editor = {William L. Scherlis and
David Brumley},
title = {Expressing and reasoning about conflicting norms in cybersecurity:
poster},
booktitle = {Proceedings of the Symposium and Bootcamp on the Science of Security,
Pittsburgh, PA, USA, April 19-21, 2016},
pages = {63--64},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2898375.2898395},
doi = {10.1145/2898375.2898395},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotsos/JiangACDS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/ArgentaD16,
author = {Chris Argenta and
Jon Doyle},
editor = {H. Jaap van den Herik and
Joaquim Filipe},
title = {Multi-Agent Plan Recognition as Planning {(MAPRAP)}},
booktitle = {Proceedings of the 8th International Conference on Agents and Artificial
Intelligence {(ICAART} 2016), Volume 2, Rome, Italy, February 24-26,
2016},
pages = {141--148},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005707701410148},
doi = {10.5220/0005707701410148},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/ArgentaD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/ArgentaD16a,
author = {Chris Argenta and
Jon Doyle},
editor = {H. Jaap van den Herik and
Joaquim Filipe},
title = {Discrete Multi-agent Plan Recognition: Recognizing Teams, Goals, and
Plans from Action Sequences},
booktitle = {Agents and Artificial Intelligence - 8th International Conference,
{ICAART} 2016, Rome, Italy, February 24-26, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10162},
pages = {212--228},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-53354-4\_12},
doi = {10.1007/978-3-319-53354-4\_12},
timestamp = {Tue, 16 Aug 2022 23:04:29 +0200},
biburl = {https://dblp.org/rec/conf/icaart/ArgentaD16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AjmeriJCDS16,
author = {Nirav Ajmeri and
Jiaming Jiang and
Rada Chirkova and
Jon Doyle and
Munindar P. Singh},
editor = {Subbarao Kambhampati},
title = {Coco: Runtime Reasoning about Conflicting Commitments},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {17--23},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/010},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AjmeriJCDS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biodatamining/BeamMD15,
author = {Andrew L. Beam and
Alison A. Motsinger{-}Reif and
Jon Doyle},
title = {An investigation of gene-gene interactions in dose-response studies
with Bayesian nonparametrics},
journal = {BioData Min.},
volume = {8},
pages = {6},
year = {2015},
url = {https://doi.org/10.1186/s13040-015-0039-3},
doi = {10.1186/S13040-015-0039-3},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biodatamining/BeamMD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dawak/AlborziCDF15,
author = {Farid Alborzi and
Rada Chirkova and
Jon Doyle and
Yahya Fathi},
editor = {Sanjay Madria and
Takahiro Hara},
title = {Determining Query Readiness for Structured Data},
booktitle = {Big Data Analytics and Knowledge Discovery - 17th International Conference,
DaWaK 2015, Valencia, Spain, September 1-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9263},
pages = {3--14},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22729-0\_1},
doi = {10.1007/978-3-319-22729-0\_1},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dawak/AlborziCDF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/DuNABDS15,
author = {Hongying Du and
Bennett Narron and
Nirav Ajmeri and
Emily Berglund and
Jon Doyle and
Munindar P. Singh},
editor = {David M. Nicol},
title = {Understanding sanction under variable observability in a secure, collaborative
environment},
booktitle = {Proceedings of the 2015 Symposium and Bootcamp on the Science of Security,
HotSoS 2015, Urbana, IL, USA, April 21-22, 2015},
pages = {12:1--12:10},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2746194.2746206},
doi = {10.1145/2746194.2746206},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotsos/DuNABDS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/BeamMD14,
author = {Andrew L. Beam and
Alison A. Motsinger{-}Reif and
Jon Doyle},
title = {Bayesian neural networks for detecting epistasis in genetic association
studies},
journal = {{BMC} Bioinform.},
volume = {15},
pages = {368},
year = {2014},
url = {https://doi.org/10.1186/s12859-014-0368-0},
doi = {10.1186/S12859-014-0368-0},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/BeamMD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/DellingerD14,
author = {Brian J. Dellinger and
Jon Doyle},
title = {Metaphysical Conservatism and Mechanical Characteristics of Human
Nature},
booktitle = {2014 {AAAI} Fall Symposia, Arlington, Virginia, USA, November 13-15,
2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/FSS/FSS14/paper/view/9144},
timestamp = {Wed, 14 Nov 2018 17:08:03 +0100},
biburl = {https://dblp.org/rec/conf/aaaifs/DellingerD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihi/GopalanAD12,
author = {Ramya Gopalan and
Annie I. Ant{\'{o}}n and
Jon Doyle},
editor = {Gang Luo and
Jiming Liu and
Christopher C. Yang},
title = {UCON\({}_{\mbox{LEGAL}}\): a usage control model for {HIPAA}},
booktitle = {{ACM} International Health Informatics Symposium, {IHI} '12, Miami,
FL, USA, January 28-30, 2012},
pages = {227--236},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2110363.2110391},
doi = {10.1145/2110363.2110391},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ihi/GopalanAD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/McGeachieD11,
author = {Michael McGeachie and
Jon Doyle},
title = {The local geometry of multiattribute tradeoff preferences},
journal = {Artif. Intell.},
volume = {175},
number = {7-8},
pages = {1122--1152},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.11.014},
doi = {10.1016/J.ARTINT.2010.11.014},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/McGeachieD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/WickerD11,
author = {Andrew W. Wicker and
Jon Doyle},
editor = {Francien Dechesne and
Hiromitsu Hattori and
Adriaan ter Mors and
Jose M. Such and
Danny Weyns and
Frank Dignum},
title = {Leveraging Multiple Mechanisms for Information Propagation - (Extended
Abstract)},
booktitle = {Advanced Agent Technology - {AAMAS} 2011 Workshops, AMPLE, AOSE, ARMS,
DOCM3AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7068},
pages = {1--2},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27216-5\_1},
doi = {10.1007/978-3-642-27216-5\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/atal/WickerD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/BreauxAD08,
author = {Travis D. Breaux and
Annie I. Ant{\'{o}}n and
Jon Doyle},
title = {Semantic parameterization: {A} process for modeling domain descriptions},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {18},
number = {2},
pages = {5:1--5:27},
year = {2008},
url = {https://doi.org/10.1145/1416563.1416565},
doi = {10.1145/1416563.1416565},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/BreauxAD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/Doyle08,
author = {Jon Doyle},
title = {Cognitive Mechanics: Natural Intelligence Beyond Biology and Computation},
booktitle = {Naturally-Inspired Artificial Intelligence, Papers from the 2008 {AAAI}
Fall Symposium, Arlington, Virginia, USA, November 7-9, 2008},
series = {{AAAI} Technical Report},
volume = {{FS-08-06}},
pages = {35--37},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/Symposia/Fall/2008/fs08-06-006.php},
timestamp = {Wed, 04 Sep 2013 21:28:12 +0200},
biburl = {https://dblp.org/rec/conf/aaaifs/Doyle08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/AnandBBBCCDDDEGGGHJJJKKLLLLMMMMNNOOPRRRSSWW07,
author = {Sarabjot Singh Anand and
Daniel Bahls and
Catherina Burghart and
Mark H. Burstein and
Huajun Chen and
John Collins and
Thomas G. Dietterich and
Jon Doyle and
Chris Drummond and
William Elazmeh and
Christopher W. Geib and
Judy Goldsmith and
Hans W. Guesgen and
Jim Hendler and
Dietmar Jannach and
Nathalie Japkowicz and
Ulrich Junker and
Gal A. Kaminka and
Alfred Kobsa and
J{\'{e}}r{\^{o}}me Lang and
David B. Leake and
Lundy Lewis and
Gerard Ligozat and
Sofus A. Macskassy and
Drew V. McDermott and
Ted Metzler and
Bamshad Mobasher and
Ullas Nambiar and
Zaiqing Nie and
Klas Orsv{\"{a}}rn and
Barry O'Sullivan and
David V. Pynadath and
Jochen Renz and
Rita V. Rodr{\'{\i}}guez and
Thomas Roth{-}Berghofer and
Stefan Schulz and
Rudi Studer and
Yimin Wang and
Michael P. Wellman},
title = {{AAAI-07} Workshop Reports},
journal = {{AI} Mag.},
volume = {28},
number = {4},
pages = {119--128},
year = {2007},
url = {https://doi.org/10.1609/aimag.v28i4.2071},
doi = {10.1609/AIMAG.V28I4.2071},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/AnandBBBCCDDDEGGGHJJJKKLLLLMMMMNNOOPRRRSSWW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WickerD07,
author = {Andrew W. Wicker and
Jon Doyle},
title = {Interest-Matching Comparisons using CP-nets},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {1914--1915},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-332.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WickerD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0018943,
author = {Jon Doyle},
title = {Extending mechanics to minds - the mechanical foundations of psychology
and economics},
publisher = {Cambridge University Press},
year = {2006},
isbn = {978-0-521-86197-7},
timestamp = {Thu, 24 Mar 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0018943.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Doyle06,
author = {Jon Doyle},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {On Mechanization of Thought Processes (Extended Abstract)},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {2},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-001.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Doyle06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trec/Abou-AssalehCDKW05,
author = {Tony Abou{-}Assaleh and
Nick Cercone and
Jon Doyle and
Vlado Keselj and
Chris Whidden},
editor = {Ellen M. Voorhees and
Lori P. Buckland},
title = {DalTREC 2005 {QA} System Jellyfish: Mark-and-Match Approach to Question
Answering},
booktitle = {Proceedings of the Fourteenth Text REtrieval Conference, {TREC} 2005,
Gaithersburg, Maryland, USA, November 15-18, 2005},
series = {{NIST} Special Publication},
volume = {500-266},
publisher = {National Institute of Standards and Technology {(NIST)}},
year = {2005},
url = {http://trec.nist.gov/pubs/trec14/papers/dalhousieu.qa.pdf},
timestamp = {Wed, 07 Jul 2021 16:44:22 +0200},
biburl = {https://dblp.org/rec/conf/trec/Abou-AssalehCDKW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/Doyle04,
author = {Jon Doyle},
title = {Prospects for Preferences},
journal = {Comput. Intell.},
volume = {20},
number = {2},
pages = {111--136},
year = {2004},
url = {https://doi.org/10.1111/j.0824-7935.2004.00233.x},
doi = {10.1111/J.0824-7935.2004.00233.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/Doyle04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/McGeachieD04,
author = {Michael McGeachie and
Jon Doyle},
title = {Utility Functions for Ceteris Paribus Preferences},
journal = {Comput. Intell.},
volume = {20},
number = {2},
pages = {158--217},
year = {2004},
url = {https://doi.org/10.1111/j.0824-7935.2004.00235.x},
doi = {10.1111/J.0824-7935.2004.00235.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/McGeachieD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BlakeHHFSBMGPMKBSKPBdJDDRSGWGHIWAGL02,
author = {M. Brian Blake and
Karen Zita Haigh and
Henry Hexmoor and
Rino Falcone and
Leen{-}Kiat Soh and
Chitta Baral and
Sheila A. McIlraith and
Piotr J. Gmytrasiewicz and
Simon Parsons and
Rainer Malaka and
Antonio Kr{\"{u}}ger and
Paolo Bouquet and
Bill Smart and
Koichi Kurumantani and
Adam Pease and
Michael Brenner and
Marie desJardins and
Ulrich Junker and
James P. Delgrande and
Jon Doyle and
Francesca Rossi and
Torsten Schaub and
Carla P. Gomes and
Toby Walsh and
Haipeng Guo and
Eric Horvitz and
Nancy Ide and
Christopher A. Welty and
Frank D. Anger and
Hans W. Guesgen and
G{\'{e}}rard Ligozat},
title = {{AAAI} 2002 Workshops},
journal = {{AI} Mag.},
volume = {23},
number = {4},
pages = {113--121},
year = {2002},
url = {https://doi.org/10.1609/aimag.v23i4.1678},
doi = {10.1609/AIMAG.V23I4.1678},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/BlakeHHFSBMGPMKBSKPBdJDDRSGWGHIWAGL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mima/Doyle02,
author = {Jon Doyle},
title = {What is Church's Thesis? An Outline},
journal = {Minds Mach.},
volume = {12},
number = {4},
pages = {519--520},
year = {2002},
url = {https://doi.org/10.1023/A:1021126521437},
doi = {10.1023/A:1021126521437},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mima/Doyle02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/McGeachieD02,
author = {Michael McGeachie and
Jon Doyle},
editor = {Rina Dechter and
Michael J. Kearns and
Richard S. Sutton},
title = {Efficient Utility Functions for Ceteris Paribus Preferences},
booktitle = {Proceedings of the Eighteenth National Conference on Artificial Intelligence
and Fourteenth Conference on Innovative Applications of Artificial
Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada},
pages = {279--284},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2002},
url = {http://www.aaai.org/Library/AAAI/2002/aaai02-043.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/McGeachieD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsas/DoyleM01,
author = {Jon Doyle and
Michael McGeachie},
editor = {Robert Laddaga and
Paul Robertson and
Howard E. Shrobe},
title = {Exercising Qualitative Control in Autonomous Adaptive Survivable Systems},
booktitle = {Self-Adaptive Software, Second International Workshop, {IWSAS} 2001,
Balatonf{\"{u}}red, Hungary, May 17-19, 2001 Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2614},
pages = {158--170},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-36554-0\_12},
doi = {10.1007/3-540-36554-0\_12},
timestamp = {Fri, 11 Dec 2020 15:37:35 +0100},
biburl = {https://dblp.org/rec/conf/iwsas/DoyleM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsas/ShrobeD00,
author = {Howard E. Shrobe and
Jon Doyle},
editor = {Paul Robertson and
Howard E. Shrobe and
Robert Laddaga},
title = {Active Trust Management for Autonomous Adaptive Survivable Systems},
booktitle = {Self-Adaptive Software, First International Workshop, {IWSAS} 2000,
Oxford, UK, April 17-19, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1936},
pages = {40--49},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44584-6\_4},
doi = {10.1007/3-540-44584-6\_4},
timestamp = {Fri, 11 Dec 2020 15:37:35 +0100},
biburl = {https://dblp.org/rec/conf/iwsas/ShrobeD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/DoyleT99,
author = {Jon Doyle and
Richmond H. Thomason},
title = {Background to Qualitative Decision Theory},
journal = {{AI} Mag.},
volume = {20},
number = {2},
pages = {55--68},
year = {1999},
url = {https://doi.org/10.1609/aimag.v20i2.1456},
doi = {10.1609/AIMAG.V20I2.1456},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/DoyleT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/DoyleD97,
author = {Jon Doyle and
Thomas L. Dean},
title = {Strategic Directions in Artificial Intelligence (Reprint)},
journal = {{AI} Mag.},
volume = {18},
number = {1},
pages = {87--101},
year = {1997},
url = {https://doi.org/10.1609/aimag.v18i1.1277},
doi = {10.1609/AIMAG.V18I1.1277},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/DoyleD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Doyle96,
author = {Jon Doyle},
title = {Cleaving (Unto) Artificial Intelligence},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {4},
year = {1996},
url = {https://doi.org/10.1145/242224.242230},
doi = {10.1145/242224.242230},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Doyle96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/WegnerD96,
author = {Peter Wegner and
Jon Doyle},
title = {Editorial: Strategic Directions in Computing Research},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4},
pages = {565--574},
year = {1996},
url = {https://doi.org/10.1145/242223.242227},
doi = {10.1145/242223.242227},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/WegnerD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/DoyleD96,
author = {Jon Doyle and
Thomas L. Dean},
title = {Strategic Directions in Artificial Intelligence},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4},
pages = {653--670},
year = {1996},
url = {https://doi.org/10.1145/242223.242268},
doi = {10.1145/242223.242268},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/DoyleD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/1996,
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
publisher = {Morgan Kaufmann},
year = {1996},
isbn = {1-55860-421-9},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/Doyle94,
author = {Jon Doyle},
title = {Inference and Acceptance: Comment on Kyburg's "Believing on the
Basis ofthe Evidence"},
journal = {Comput. Intell.},
volume = {10},
pages = {46--48},
year = {1994},
url = {https://doi.org/10.1111/j.1467-8640.1994.tb00145.x},
doi = {10.1111/J.1467-8640.1994.TB00145.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/Doyle94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Doyle94,
author = {Jon Doyle},
title = {Reasoned Assumptions and Rational Psychology},
journal = {Fundam. Informaticae},
volume = {20},
number = {1/2/3},
pages = {35--73},
year = {1994},
url = {https://doi.org/10.3233/FI-1994-201232},
doi = {10.3233/FI-1994-201232},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Doyle94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/1994,
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
publisher = {Morgan Kaufmann},
year = {1994},
isbn = {1-55860-328-X},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/SacksD92,
author = {Elisha Sacks and
Jon Doyle},
title = {Epilegomenon},
journal = {Comput. Intell.},
volume = {8},
pages = {326--335},
year = {1992},
url = {https://doi.org/10.1111/j.1467-8640.1992.tb00369.x},
doi = {10.1111/J.1467-8640.1992.TB00369.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/SacksD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/Doyle92,
author = {Jon Doyle},
title = {Rationality and its Roles in Reasoning},
journal = {Comput. Intell.},
volume = {8},
pages = {376--40},
year = {1992},
url = {https://doi.org/10.1111/j.1467-8640.1992.tb00371.x},
doi = {10.1111/J.1467-8640.1992.TB00371.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/Doyle92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/DoyleP91,
author = {Jon Doyle and
Ramesh S. Patil},
title = {Two Theses of Knowledge Representation: Language Restrictions, Taxonomic
Classification, and the Utility of Representation Services},
journal = {Artif. Intell.},
volume = {48},
number = {3},
pages = {261--297},
year = {1991},
url = {https://doi.org/10.1016/0004-3702(91)90029-J},
doi = {10.1016/0004-3702(91)90029-J},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/DoyleP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/DoyleW91,
author = {Jon Doyle and
Michael P. Wellman},
title = {Impediments to Universal Preference-Based Default Theories},
journal = {Artif. Intell.},
volume = {49},
number = {1-3},
pages = {97--128},
year = {1991},
url = {https://doi.org/10.1016/0004-3702(91)90007-7},
doi = {10.1016/0004-3702(91)90007-7},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/DoyleW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/DoyleS91,
author = {Jon Doyle and
Elisha Sacks},
title = {Markov analysis of qualitative dynamics},
journal = {Comput. Intell.},
volume = {7},
pages = {1--10},
year = {1991},
url = {https://doi.org/10.1111/j.1467-8640.1991.tb00330.x},
doi = {10.1111/J.1467-8640.1991.TB00330.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/DoyleS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WellmanD91,
author = {Michael P. Wellman and
Jon Doyle},
editor = {Thomas L. Dean and
Kathleen R. McKeown},
title = {Preferential Semantics for Goals},
booktitle = {Proceedings of the 9th National Conference on Artificial Intelligence,
Anaheim, CA, USA, July 14-19, 1991, Volume 2},
pages = {698--703},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1991},
url = {http://www.aaai.org/Library/AAAI/1991/aaai91-109.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WellmanD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/DoyleSW91,
author = {Jon Doyle and
Yoav Shoham and
Michael P. Wellman},
editor = {Zbigniew W. Ras and
Maria Zemankova},
title = {A Logic of Relative Desire (Preliminary Report)},
booktitle = {Methodologies for Intelligent Systems, 6th International Symposium,
{ISMIS} '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {542},
pages = {16--31},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54563-8\_65},
doi = {10.1007/3-540-54563-8\_65},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismis/DoyleSW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Doyle91,
author = {Jon Doyle},
editor = {James F. Allen and
Richard Fikes and
Erik Sandewall},
title = {Rational Belief Revision},
booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge
Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,
1991},
pages = {163--174},
publisher = {Morgan Kaufmann},
year = {1991},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/Doyle91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Doyle90,
author = {Jon Doyle},
editor = {Howard E. Shrobe and
Thomas G. Dietterich and
William R. Swartout},
title = {Rationality and its Roles in Reasoning (Extended Abstract)},
booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence.
Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes},
pages = {1093--1100},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1990},
url = {http://www.aaai.org/Library/AAAI/1990/aaai90-162.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Doyle90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/Doyle89,
author = {Jon Doyle},
title = {Constructive belief and rational representation},
journal = {Comput. Intell.},
volume = {5},
pages = {1--11},
year = {1989},
url = {https://doi.org/10.1111/j.1467-8640.1989.tb00311.x},
doi = {10.1111/J.1467-8640.1989.TB00311.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/Doyle89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DoyleS89,
author = {Jon Doyle and
Elisha Sacks},
editor = {N. S. Sridharan},
title = {Stochastic Analysis of Qualitative Dynamics},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial
Intelligence. Detroit, MI, USA, August 1989},
pages = {1187--1192},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://ijcai.org/Proceedings/89-2/Papers/054.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:51 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DoyleS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DoyleW89,
author = {Jon Doyle and
Michael P. Wellman},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Impediments to Universal Preference-Based Default Theories},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {94--102},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 15:03:01 +0200},
biburl = {https://dblp.org/rec/conf/kr/DoyleW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ltc/Doyle89,
author = {Jon Doyle},
editor = {Andr{\'{e}} Fuhrmann and
Michael Morreau},
title = {Rational control of reasoning in Artificial Intelligence},
booktitle = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {465},
pages = {19--48},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018415},
doi = {10.1007/BFB0018415},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ltc/Doyle89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Doyle88,
author = {Jon Doyle},
title = {Big Problems for Artificial Intelligence - Guest Editorial},
journal = {{AI} Mag.},
volume = {9},
number = {1},
pages = {19--22},
year = {1988},
url = {https://ojs.aaai.org/index.php/aimagazine/article/view/659},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Doyle88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/RosencheinDLLM88,
author = {Stanley J. Rosenchein and
Jon Doyle and
Ronald Prescott Loui and
Hector J. Levesque and
Robert S. Moore},
editor = {Joseph Y. Halpern},
title = {Panel: Locality vs. Rationality},
booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
about Knowledge, Monterey, CA, USA, March 1986},
pages = {343},
publisher = {Morgan Kaufmann},
year = {1988},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tark/RosencheinDLLM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/Doyle88,
author = {Jon Doyle},
editor = {Moshe Y. Vardi},
title = {Knowledge, Representation, and Rational Self-Government},
booktitle = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning
about Knowledge, Pacific Grove, CA, USA, March 1988},
pages = {345--354},
publisher = {Morgan Kaufmann},
year = {1988},
timestamp = {Thu, 21 Jun 2018 07:50:39 +0200},
biburl = {https://dblp.org/rec/conf/tark/Doyle88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Doyle85,
author = {Jon Doyle},
title = {Circumscription and Implicit Definability},
journal = {J. Autom. Reason.},
volume = {1},
number = {4},
pages = {391--405},
year = {1985},
url = {https://doi.org/10.1007/BF00244277},
doi = {10.1007/BF00244277},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Doyle85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Doyle85,
author = {Jon Doyle},
title = {Expert Systems and the "Myth'' of Symbolic Reasoning},
journal = {{IEEE} Trans. Software Eng.},
volume = {11},
number = {11},
pages = {1386--1390},
year = {1985},
url = {https://doi.org/10.1109/TSE.1985.231886},
doi = {10.1109/TSE.1985.231886},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Doyle85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Doyle85,
author = {Jon Doyle},
editor = {Aravind K. Joshi},
title = {Reasoned Assumptions and Pareto Optimality},
booktitle = {Proceedings of the 9th International Joint Conference on Artificial
Intelligence. Los Angeles, CA, USA, August 1985},
pages = {87--90},
publisher = {Morgan Kaufmann},
year = {1985},
url = {http://ijcai.org/Proceedings/85-1/Papers/016.pdf},
timestamp = {Tue, 20 Aug 2019 16:19:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Doyle85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Doyle84,
author = {Jon Doyle},
title = {Expert Systems Without Computers, or Theory and Trust in Artificial
Intelligence},
journal = {{AI} Mag.},
volume = {5},
number = {2},
pages = {59--63},
year = {1984},
url = {https://ojs.aaai.org/index.php/aimagazine/article/view/439},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Doyle84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Doyle84,
author = {Jon Doyle},
title = {Circumscription and Implicit Definability},
booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
pages = {57--69},
publisher = {American Association for Artificial Intelligence {(AAAI)}},
year = {1984},
timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Doyle84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Doyle83a,
author = {Jon Doyle},
title = {Methodological Simplicity in Expert System Construction: The Case
of Judgments and Reasoned Assumptions},
journal = {{AI} Mag.},
volume = {4},
number = {2},
pages = {39--43},
year = {1983},
url = {https://ojs.aaai.org/index.php/aimagazine/article/view/398},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Doyle83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Doyle83b,
author = {Jon Doyle},
title = {What Is Rational Psychology? Toward a Modern Mental Philosophy},
journal = {{AI} Mag.},
volume = {4},
number = {3},
pages = {50--53},
year = {1983},
url = {https://ojs.aaai.org/index.php/aimagazine/article/view/404},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Doyle83b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Doyle83,
author = {Jon Doyle},
title = {What Should Artificial Intelligence Want from the Supercomputers?},
journal = {{AI} Mag.},
volume = {4},
number = {4},
pages = {33--35},
year = {1983},
url = {https://ojs.aaai.org/index.php/aimagazine/article/view/415},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Doyle83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Doyle83,
author = {Jon Doyle},
title = {Admissible State Semantics for Representational Systems},
journal = {Computer},
volume = {16},
number = {10},
pages = {119--123},
year = {1983},
url = {https://doi.org/10.1109/MC.1983.1654209},
doi = {10.1109/MC.1983.1654209},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Doyle83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Doyle83,
author = {Jon Doyle},
editor = {Alan Bundy},
title = {A Society of Mind-Multiple Perspectives, Reasoned Assumptions, and
Virtual Copies},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {309--314},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/068.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Doyle83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Doyle83a,
author = {Jon Doyle},
editor = {Alan Bundy},
title = {The Ins and Outs of Reason Maintenance},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {349--351},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/082.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Doyle83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/Doyle81,
author = {Jon Doyle},
title = {A model for deliberation, action, and introspection},
journal = {{SIGART} Newsl.},
volume = {75},
pages = {10},
year = {1981},
url = {https://doi.org/10.1145/1056748.1056749},
doi = {10.1145/1056748.1056749},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigart/Doyle81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/McDermottD80,
author = {Drew V. McDermott and
Jon Doyle},
title = {Non-Monotonic Logic {I}},
journal = {Artif. Intell.},
volume = {13},
number = {1-2},
pages = {41--72},
year = {1980},
url = {https://doi.org/10.1016/0004-3702(80)90012-0},
doi = {10.1016/0004-3702(80)90012-0},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/McDermottD80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/DoyleL80,
author = {Jon Doyle and
Philip London},
title = {A selected descriptor-indexed bibliography to the literature on belief
revision},
journal = {{SIGART} Newsl.},
volume = {71},
pages = {7--22},
year = {1980},
url = {https://doi.org/10.1145/1056441.1056442},
doi = {10.1145/1056441.1056442},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigart/DoyleL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Doyle79,
author = {Jon Doyle},
title = {A Truth Maintenance System},
journal = {Artif. Intell.},
volume = {12},
number = {3},
pages = {231--272},
year = {1979},
url = {https://doi.org/10.1016/0004-3702(79)90008-0},
doi = {10.1016/0004-3702(79)90008-0},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/Doyle79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Doyle79,
author = {Jon Doyle},
editor = {Bruce G. Buchanan},
title = {A Glimpse of Truth Maintenance},
booktitle = {Proceedings of the Sixth International Joint Conference on Artificial
Intelligence, {IJCAI} 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes},
pages = {232--237},
publisher = {William Kaufmann},
year = {1979},
timestamp = {Tue, 20 Aug 2019 16:16:26 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Doyle79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McDermottD79,
author = {Drew V. McDermott and
Jon Doyle},
editor = {Bruce G. Buchanan},
title = {An Introduction to Non-Monotonic Logic},
booktitle = {Proceedings of the Sixth International Joint Conference on Artificial
Intelligence, {IJCAI} 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes},
pages = {562--567},
publisher = {William Kaufmann},
year = {1979},
timestamp = {Tue, 05 Feb 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/McDermottD79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Doyle77,
author = {Jon Doyle},
editor = {Raj Reddy},
title = {Truth Maintenance Systems for Problem Solving},
booktitle = {Proceedings of the 5th International Joint Conference on Artificial
Intelligence. Cambridge, MA, USA, August 22-25, 1977},
pages = {247},
publisher = {William Kaufmann},
year = {1977},
url = {http://ijcai.org/Proceedings/77-1/Papers/035.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Doyle77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigart/KleerDSS77,
author = {Johan de Kleer and
Jon Doyle and
Guy L. Steele Jr. and
Gerald Jay Sussman},
editor = {James Low},
title = {{AMORD} explicit control of reasoning},
booktitle = {Proceedings of the 1977 Symposium on Artificial Intelligence and Programming
Languages, USA, August 15-17, 1977},
pages = {116--125},
publisher = {{ACM}},
year = {1977},
url = {https://doi.org/10.1145/800228.806940},
doi = {10.1145/800228.806940},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigart/KleerDSS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DoyleR76,
author = {Jon Doyle and
Ronald L. Rivest},
title = {Linear Expected Time of a Simple Union-Find Algorithm},
journal = {Inf. Process. Lett.},
volume = {5},
number = {5},
pages = {146--148},
year = {1976},
url = {https://doi.org/10.1016/0020-0190(76)90061-2},
doi = {10.1016/0020-0190(76)90061-2},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DoyleR76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-02 23:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
