Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Adam Pease
@inproceedings{DBLP:conf/frocos/BrownPU23,
author = {Chad E. Brown and
Adam Pease and
Josef Urban},
editor = {Uli Sattler and
Martin Suda},
title = {Translating {SUMO-K} to Higher-Order Set Theory},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {255--274},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_14},
doi = {10.1007/978-3-031-43369-6\_14},
timestamp = {Wed, 01 Nov 2023 08:59:02 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BrownPU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbclm/LupuGP23,
author = {Dan Lupu and
Adrian Groza and
Adam Pease},
editor = {Simon Razniewski and
Jan{-}Christoph Kalo and
Sneha Singhania and
Jeff Z. Pan},
title = {Cross-validation of Answers with {SUMO} and {GPT}},
booktitle = {Joint proceedings of the 1st workshop on Knowledge Base Construction
from Pre-Trained Language Models {(KBC-LM)} and the 2nd challenge
on Language Models for Knowledge Base Construction {(LM-KBC)} co-located
with the 22nd International Semantic Web Conference {(ISWC} 2023),
Athens, Greece, November 6, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3577},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3577/paper14.pdf},
timestamp = {Tue, 02 Jan 2024 17:44:44 +0100},
biburl = {https://dblp.org/rec/conf/kbclm/LupuGP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-04148,
author = {Adam Pease},
title = {Converting the Suggested Upper Merged Ontology to Typed First-order
Form},
journal = {CoRR},
volume = {abs/2303.04148},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.04148},
doi = {10.48550/ARXIV.2303.04148},
eprinttype = {arXiv},
eprint = {2303.04148},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-04148.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-07903,
author = {Chad E. Brown and
Adam Pease and
Josef Urban},
title = {Translating {SUMO-K} to Higher-Order Set Theory},
journal = {CoRR},
volume = {abs/2305.07903},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.07903},
doi = {10.48550/ARXIV.2305.07903},
eprinttype = {arXiv},
eprint = {2305.07903},
timestamp = {Wed, 12 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-07903.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/TrojahnVSPG22,
author = {C{\'{a}}ssia Trojahn and
Renata Vieira and
Daniela Schmidt and
Adam Pease and
Giancarlo Guizzardi},
title = {Foundational ontologies meet ontology matching: {A} survey},
journal = {Semantic Web},
volume = {13},
number = {4},
pages = {685--704},
year = {2022},
url = {https://doi.org/10.3233/SW-210447},
doi = {10.3233/SW-210447},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/semweb/TrojahnVSPG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Pease022,
author = {Adam Pease and
Stephan Schulz},
editor = {Roman Bart{\'{a}}k and
Fazel Keshtkar and
Michael Franklin},
title = {Contradiction Detection and Repair in a Large Theory},
booktitle = {Proceedings of the Thirty-Fifth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2022, Hutchinson Island, Jensen
Beach, Florida, USA, May 15-18, 2022},
year = {2022},
url = {https://doi.org/10.32473/flairs.v35i.130691},
doi = {10.32473/FLAIRS.V35I.130691},
timestamp = {Wed, 26 Oct 2022 08:35:03 +0200},
biburl = {https://dblp.org/rec/conf/flairs/Pease022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clar/Pease21,
author = {Adam Pease},
editor = {Pietro Baroni and
Christoph Benzm{\"{u}}ller and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Choosing a Logic to Represent the Semantics of Natural Language},
booktitle = {Logic and Argumentation - 4th International Conference, {CLAR} 2021,
Hangzhou, China, October 20-22, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13040},
pages = {504--512},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89391-0\_30},
doi = {10.1007/978-3-030-89391-0\_30},
timestamp = {Mon, 18 Oct 2021 17:08:47 +0200},
biburl = {https://dblp.org/rec/conf/clar/Pease21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/0001P20,
author = {Stephan Schulz and
Adam Pease},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System
Description)},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12167},
pages = {158--166},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51054-1\_9},
doi = {10.1007/978-3-030-51054-1\_9},
timestamp = {Fri, 03 Jul 2020 13:56:19 +0200},
biburl = {https://dblp.org/rec/conf/cade/0001P20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Pease20,
author = {Adam Pease},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor
(System Description)},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12167},
pages = {472--479},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51054-1\_31},
doi = {10.1007/978-3-030-51054-1\_31},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Pease20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/NunesFSP19,
author = {Danilo Nunes and
Leonardo Anjoletto Ferreira and
Paulo E. Santos and
Adam Pease},
editor = {Andreas Martin and
Knut Hinkelmann and
Aurona Gerber and
Doug Lenat and
Frank van Harmelen and
Peter Clark},
title = {Representation and Retrieval of Images by Means of Spatial Relations
Between Objects},
booktitle = {Proceedings of the {AAAI} 2019 Spring Symposium on Combining Machine
Learning with Knowledge Engineering {(AAAI-MAKE} 2019) Stanford University,
Palo Alto, California, USA, March 25-27, 2019., Stanford University,
Palo Alto, California, USA, March 25-27, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2350},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2350/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:39 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/NunesFSP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jowo/SchmidtPTV19,
author = {Daniela Schmidt and
Adam Pease and
C{\'{a}}ssia Trojahn and
Renata Vieira},
editor = {Adrien Barton and
Selja Sepp{\"{a}}l{\"{a}} and
Daniele Porello},
title = {Aligning Conference Ontologies with {SUMO:} {A} Report on Manual Alignment
via WordNet},
booktitle = {Proceedings of the Joint Ontology Workshops 2019 Episode {V:} The
Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2518},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2518/paper-FOUST10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/jowo/SchmidtPTV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ontobras/TessarolloRP19,
author = {Alexandre Tessarollo and
Alexandre Rademaker and
Adam Pease},
editor = {Jo{\~{a}}o Paulo A. Almeida and
Marcello Bax and
Rita Berardi and
Fernanda Bai{\~{a}}o},
title = {Extending {SUMO} to Geological Times},
booktitle = {Proceedings of the {XII} Seminar on Ontology Research in Brazil and
{III} Doctoral and Masters Consortium on Ontologies, Porto Alegre,
Brazil, September 2nd-5th, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2519},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2519/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/ontobras/TessarolloRP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wordnet/PeaseC18,
author = {Adam Pease and
Andrew Cheung},
editor = {Francis Bond and
Piek Vossen and
Christiane Fellbaum},
title = {Toward a Semantic Concordancer},
booktitle = {Proceedings of the 9th Global Wordnet Conference, {GWC} 2018, Nanyang
Technological University (NTU), Singapore, January 8-12, 2018},
pages = {97--104},
publisher = {Global Wordnet Association},
year = {2018},
url = {https://aclanthology.org/2018.gwc-1.12/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wordnet/PeaseC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogsr/ReedP17,
author = {Stephen K. Reed and
Adam Pease},
title = {Reasoning from imperfect knowledge},
journal = {Cogn. Syst. Res.},
volume = {41},
pages = {56--72},
year = {2017},
url = {https://doi.org/10.1016/j.cogsys.2016.09.006},
doi = {10.1016/J.COGSYS.2016.09.006},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cogsr/ReedP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/0001SUP17,
author = {Stephan Schulz and
Geoff Sutcliffe and
Josef Urban and
Adam Pease},
editor = {Leonardo de Moura},
title = {Detecting Inconsistencies in Large First-Order Knowledge Bases},
booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10395},
pages = {310--325},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_19},
doi = {10.1007/978-3-319-63046-5\_19},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/0001SUP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wordnet/CaiGGKP16,
author = {Qingqing Cai and
James Gung and
Maochen Guan and
Gerald Kurlandski and
Adam Pease},
editor = {Christiane Fellbaum and
Piek Vossen and
Verginica Barbu Mititelu and
Corina Forascu},
title = {Word Substitution in Short Answer Extraction: {A} WordNet-based Approach},
booktitle = {Proceedings of the 8th Global WordNet Conference, {GWC} 2016, Bucharest,
Romania, January 27-30, 2016},
pages = {66--73},
publisher = {Global Wordnet Association},
year = {2016},
url = {https://aclanthology.org/2016.gwc-1.11/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wordnet/CaiGGKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogsr/ReedP15,
author = {Stephen K. Reed and
Adam Pease},
title = {A framework for constructing cognition ontologies using WordNet, FrameNet,
and {SUMO}},
journal = {Cogn. Syst. Res.},
volume = {33},
pages = {122--144},
year = {2015},
url = {https://doi.org/10.1016/j.cogsys.2014.06.001},
doi = {10.1016/J.COGSYS.2014.06.001},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cogsr/ReedP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PeaseS14,
author = {Adam Pease and
Stephan Schulz},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Knowledge Engineering for Large Ontologies with Sigma {KEE} 3.0},
booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {519--525},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_40},
doi = {10.1007/978-3-319-08587-6\_40},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/PeaseS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogalex/QuattriAM14,
author = {Francesca Quattri and
Adam Pease and
John P. McCrae},
editor = {Michael Zock and
Reinhard Rapp and
Chu{-}Ren Huang},
title = {Default Physical Measurements in {SUMO}},
booktitle = {Proceedings of the 4th Workshop on Cognitive Aspects of the Lexicon,
CogALex@COLING 2014, Dublin, Ireland, August 23, 2014},
pages = {138--143},
publisher = {Association for Computational Linguistics and Dublin City University},
year = {2014},
url = {https://doi.org/10.3115/v1/W14-4718},
doi = {10.3115/V1/W14-4718},
timestamp = {Fri, 06 Aug 2021 00:40:14 +0200},
biburl = {https://dblp.org/rec/conf/cogalex/QuattriAM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/BondFHHPV14,
author = {Francis Bond and
Christiane Fellbaum and
Shu{-}Kai Hsieh and
Chu{-}Ren Huang and
Adam Pease and
Piek Vossen},
editor = {Paul Buitelaar and
Philipp Cimiano},
title = {A Multilingual Lexico-Semantic Database and Ontology},
booktitle = {Towards the Multilingual Semantic Web, Principles, Methods and Applications},
pages = {243--258},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43585-4\_15},
doi = {10.1007/978-3-662-43585-4\_15},
timestamp = {Sat, 30 May 2020 19:44:13 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/BondFHHPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/PeaseB13,
author = {Adam Pease and
Christoph Benzm{\"{u}}ller},
title = {Sigma: An integrated development environment for formal ontology},
journal = {{AI} Commun.},
volume = {26},
number = {1},
pages = {79--97},
year = {2013},
url = {https://doi.org/10.3233/AIC-120549},
doi = {10.3233/AIC-120549},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/PeaseB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/BenzmullerP12,
author = {Christoph Benzm{\"{u}}ller and
Adam Pease},
title = {Higher-order aspects and context in {SUMO}},
journal = {J. Web Semant.},
volume = {12},
pages = {104--117},
year = {2012},
url = {https://doi.org/10.1016/j.websem.2011.11.008},
doi = {10.1016/J.WEBSEM.2011.11.008},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ws/BenzmullerP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/PeaseSST10,
author = {Adam Pease and
Geoff Sutcliffe and
Nick Siegel and
Steven Trac},
title = {Large theory reasoning with {SUMO} at {CASC}},
journal = {{AI} Commun.},
volume = {23},
number = {2-3},
pages = {137--144},
year = {2010},
url = {https://doi.org/10.3233/AIC-2010-0466},
doi = {10.3233/AIC-2010-0466},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/PeaseSST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenzmullerP10,
author = {Christoph Benzm{\"{u}}ller and
Adam Pease},
editor = {Renate A. Schmidt and
Stephan Schulz and
Boris Konev},
title = {Progress in Automating Higher-Order Ontology Reasoning},
booktitle = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
series = {EPiC Series in Computing},
volume = {9},
pages = {22--32},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/dtnz},
doi = {10.29007/DTNZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BenzmullerP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PeaseSST08,
author = {Adam Pease and
Geoff Sutcliffe and
Nick Siegel and
Steven Trac},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {The Annual {SUMO} Reasoning Prizes at {CASC}},
booktitle = {Proceedings of the First International Workshop on Practical Aspects
of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {373},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-373/paper-05.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/PeaseSST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/TracSP08,
author = {Steven Trac and
Geoff Sutcliffe and
Adam Pease},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Integration of the TPTPWorld into SigmaKEE},
booktitle = {Proceedings of the First International Workshop on Practical Aspects
of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {373},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-373/paper-09.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/TracSP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/MeloSP08,
author = {Gerard de Melo and
Fabian M. Suchanek and
Adam Pease},
title = {Integrating {YAGO} into the Suggested Upper Merged Ontology},
booktitle = {20th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1},
pages = {190--193},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICTAI.2008.34},
doi = {10.1109/ICTAI.2008.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/MeloSP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paclic/Pease08,
author = {Adam Pease},
editor = {Rachel E. O. Roxas},
title = {A Call for Executable Linguistics Research},
booktitle = {Proceedings of the 22nd Pacific Asia Conference on Language, Information
and Computation, {PACLIC} 22, Cebu City, Philippines, November 20-22,
2008},
pages = {58--64},
publisher = {De La Salle University (DLSU), Manila, Philippines},
year = {2008},
url = {https://aclanthology.org/Y08-1005/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paclic/Pease08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PeaseS07,
author = {Adam Pease and
Geoff Sutcliffe},
editor = {Geoff Sutcliffe and
Josef Urban and
Stephan Schulz},
title = {First Order Reasoning on a Large Ontology},
booktitle = {Proceedings of the {CADE-21} Workshop on Empirically Successful Automated
Reasoning in Large Theories, Bremen, Germany, 17th July 2007},
series = {{CEUR} Workshop Proceedings},
volume = {257},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-257/07\_Pease.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/PeaseS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fois/ScheffczykPE06,
author = {Jan Scheffczyk and
Adam Pease and
Michael Ellsworth},
editor = {Brandon Bennett and
Christiane Fellbaum},
title = {Linking FrameNet to the Suggested Upper Merged Ontology},
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 = {289--300},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=2215},
timestamp = {Tue, 13 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fois/ScheffczykPE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/ElKatebBRAVPF06,
author = {Sabry ElKateb and
William Black and
Horacio Rodr{\'{\i}}guez and
Musa Alkhalifa and
Piek Vossen and
Adam Pease and
Christiane Fellbaum},
editor = {Nicoletta Calzolari and
Khalid Choukri and
Aldo Gangemi and
Bente Maegaard and
Joseph Mariani and
Jan Odijk and
Daniel Tapias},
title = {Building a WordNet for Arabic},
booktitle = {Proceedings of the Fifth International Conference on Language Resources
and Evaluation, {LREC} 2006, Genoa, Italy, May 22-28, 2006},
pages = {29--34},
publisher = {European Language Resources Association {(ELRA)}},
year = {2006},
url = {http://www.lrec-conf.org/proceedings/lrec2006/summaries/805.html},
timestamp = {Mon, 19 Aug 2019 15:23:22 +0200},
biburl = {https://dblp.org/rec/conf/lrec/ElKatebBRAVPF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ike/ReynoldsPL04,
author = {Jim Reynolds and
Adam Pease and
John Li},
editor = {Hamid R. Arabnia},
title = {Analogy and Deduction for Knowledge Discovery},
booktitle = {Proceedings of the International Conference on Information and Knowledge
Engineering. IKE'04, June 21-24, 2004, Las Vegas, Nevada, {USA}},
pages = {39--48},
publisher = {{CSREA} Press},
year = {2004},
timestamp = {Mon, 22 Nov 2004 13:20:31 +0100},
biburl = {https://dblp.org/rec/conf/ike/ReynoldsPL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amkm/PeaseL03,
author = {Adam Pease and
John Li},
editor = {Ludger van Elst and
Virginia Dignum and
Andreas Abecker},
title = {Agent-Mediated Knowledge Engineering Collaboration},
booktitle = {Agent Mediated Knowledge Management, International Symposium {AMKM}
2003, Stanford, CA, USA, March 24-26, 2003, Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {2926},
pages = {405--415},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24612-1\_28},
doi = {10.1007/978-3-540-24612-1\_28},
timestamp = {Thu, 28 Nov 2019 10:44:28 +0100},
biburl = {https://dblp.org/rec/conf/amkm/PeaseL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ike/NilesP03,
author = {Ian Niles and
Adam Pease},
editor = {Hamid R. Arabnia},
title = {Linking Lixicons and Ontologies: Mapping WordNet to the Suggested
Upper Merged Ontology},
booktitle = {Proceedings of the International Conference on Information and Knowledge
Engineering. IKE'03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume
2},
pages = {412--416},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Fri, 10 Oct 2003 10:55:57 +0200},
biburl = {https://dblp.org/rec/conf/ike/NilesP03.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/ker/PeaseN02,
author = {Adam Pease and
Ian Niles},
title = {{IEEE} standard upper ontology: a progress report},
journal = {Knowl. Eng. Rev.},
volume = {17},
number = {1},
pages = {65--70},
year = {2002},
url = {https://doi.org/10.1017/S0269888902000395},
doi = {10.1017/S0269888902000395},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/PeaseN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/HalcombP01,
author = {Jay Halcomb and
Adam Pease},
editor = {Alessandro Provetti and
Tran Cao Son},
title = {On treating negation within {XSB} (and upon extending {XSB} programming
with a form of logical negation, and its relations to existing varieties
of logic programming)},
booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
CA, USA, March 26-28, 2001},
year = {2001},
url = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/32.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/HalcombP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fois/NilesP01,
author = {Ian Niles and
Adam Pease},
title = {Towards a standard upper ontology},
booktitle = {2nd International Conference on Formal Ontology in Information Systems,
{FOIS} 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings},
pages = {2--9},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/505168.505170},
doi = {10.1145/505168.505170},
timestamp = {Thu, 08 Aug 2019 17:24:02 +0200},
biburl = {https://dblp.org/rec/conf/fois/NilesP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/PeaseCLF00,
author = {Adam Pease and
Vinay K. Chaudhri and
Fritz Lehmann and
Adam Farquhar},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Practical Knowledge Representation and the {DARPA} High Performance
Knowledge Bases Project},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {717--724},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/PeaseCLF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CohenCPS99,
author = {Paul R. Cohen and
Vinay K. Chaudhri and
Adam Pease and
Robert Schrag},
editor = {Jim Hendler and
Devika Subramanian},
title = {Does Prior Knowledge Facilitate the Development of Knowledge-based
Systems?},
booktitle = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
and Eleventh Conference on Innovative Applications of Artificial Intelligence,
July 18-22, 1999, Orlando, Florida, {USA}},
pages = {221--226},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1999},
url = {http://www.aaai.org/Library/AAAI/1999/aaai99-033.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CohenCPS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/CohenSJPLSGB98,
author = {Paul R. Cohen and
Robert Schrag and
Eric K. Jones and
Adam Pease and
Albert Lin and
Barbara Starr and
David Gunning and
Murray Burke},
title = {The {DARPA} High-Performance Knowledge Bases Project},
journal = {{AI} Mag.},
volume = {19},
number = {4},
pages = {25--49},
year = {1998},
url = {https://doi.org/10.1609/aimag.v19i4.1423},
doi = {10.1609/AIMAG.V19I4.1423},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/CohenSJPLSGB98.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-01-24 23:22 CET 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:
