Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Konstantine Arkoudas
@inproceedings{DBLP:conf/eacl/RongaliSKAHM23,
author = {Subendhu Rongali and
Mukund Sridhar and
Haidar Khan and
Konstantine Arkoudas and
Wael Hamza and
Andrew McCallum},
editor = {Andreas Vlachos and
Isabelle Augenstein},
title = {Low-Resource Compositional Semantic Parsing with Concept Pretraining},
booktitle = {Proceedings of the 17th Conference of the European Chapter of the
Association for Computational Linguistics, {EACL} 2023, Dubrovnik,
Croatia, May 2-6, 2023},
pages = {1402--1411},
publisher = {Association for Computational Linguistics},
year = {2023},
url = {https://doi.org/10.18653/v1/2023.eacl-main.103},
doi = {10.18653/V1/2023.EACL-MAIN.103},
timestamp = {Thu, 05 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eacl/RongaliSKAHM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-09809,
author = {Subendhu Rongali and
Mukund Sridhar and
Haidar Khan and
Konstantine Arkoudas and
Wael Hamza and
Andrew McCallum},
title = {Low-Resource Compositional Semantic Parsing with Concept Pretraining},
journal = {CoRR},
volume = {abs/2301.09809},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.09809},
doi = {10.48550/ARXIV.2301.09809},
eprinttype = {arXiv},
eprint = {2301.09809},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-09809.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-03762,
author = {Konstantine Arkoudas},
title = {{GPT-4} Can't Reason},
journal = {CoRR},
volume = {abs/2308.03762},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.03762},
doi = {10.48550/ARXIV.2308.03762},
eprinttype = {arXiv},
eprint = {2308.03762},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-03762.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RongaliARH22,
author = {Subendhu Rongali and
Konstantine Arkoudas and
Melanie Rubino and
Wael Hamza},
editor = {Luc De Raedt},
title = {Training Naturalized Semantic Parsers with Very Little Data},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {4353--4359},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/604},
doi = {10.24963/IJCAI.2022/604},
timestamp = {Wed, 27 Jul 2022 16:43:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/RongaliARH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/FitzGeraldAABBB22,
author = {Jack FitzGerald and
Shankar Ananthakrishnan and
Konstantine Arkoudas and
Davide Bernardi and
Abhishek Bhagia and
Claudio Delli Bovi and
Jin Cao and
Rakesh Chada and
Amit Chauhan and
Luoxin Chen and
Anurag Dwarakanath and
Satyam Dwivedi and
Turan Gojayev and
Karthik Gopalakrishnan and
Thomas Gueudr{\'{e}} and
Dilek Hakkani{-}Tur and
Wael Hamza and
Jonathan J. H{\"{u}}ser and
Kevin Martin Jose and
Haidar Khan and
Beiye Liu and
Jianhua Lu and
Alessandro Manzotti and
Pradeep Natarajan and
Karolina Owczarzak and
Gokmen Oz and
Enrico Palumbo and
Charith Peris and
Chandana Satya Prakash and
Stephen Rawls and
Andy Rosenbaum and
Anjali Shenoy and
Saleh Soltan and
Mukund Harakere Sridhar and
Lizhen Tan and
Fabian Triefenbach and
Pan Wei and
Haiyang Yu and
Shuai Zheng and
G{\"{o}}khan T{\"{u}}r and
Prem Natarajan},
editor = {Aidong Zhang and
Huzefa Rangwala},
title = {Alexa Teacher Model: Pretraining and Distilling Multi-Billion-Parameter
Encoders for Natural Language Understanding Systems},
booktitle = {{KDD} '22: The 28th {ACM} {SIGKDD} Conference on Knowledge Discovery
and Data Mining, Washington, DC, USA, August 14 - 18, 2022},
pages = {2893--2902},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3534678.3539173},
doi = {10.1145/3534678.3539173},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kdd/FitzGeraldAABBB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/naacl/ZhaoASC22,
author = {Wenting Zhao and
Konstantine Arkoudas and
Weiqi Sun and
Claire Cardie},
editor = {Marine Carpuat and
Marie{-}Catherine de Marneffe and
Iv{\'{a}}n Vladimir Meza Ru{\'{\i}}z},
title = {Compositional Task-Oriented Parsing as Abstractive Question Answering},
booktitle = {Proceedings of the 2022 Conference of the North American Chapter of
the Association for Computational Linguistics: Human Language Technologies,
{NAACL} 2022, Seattle, WA, United States, July 10-15, 2022},
pages = {4418--4427},
publisher = {Association for Computational Linguistics},
year = {2022},
url = {https://doi.org/10.18653/v1/2022.naacl-main.328},
doi = {10.18653/V1/2022.NAACL-MAIN.328},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/naacl/ZhaoASC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/SunKMRA22,
author = {Weiqi Sun and
Haidar Khan and
Nicolas Guenon des Mesnards and
Melanie Rubino and
Konstantine Arkoudas},
editor = {Fr{\'{e}}d{\'{e}}rique Laforest and
Rapha{\"{e}}l Troncy and
Elena Simperl and
Deepak Agarwal and
Aristides Gionis and
Ivan Herman and
Lionel M{\'{e}}dini},
title = {Unfreeze with Care: Space-Efficient Fine-Tuning of Semantic Parsing
Models},
booktitle = {{WWW} '22: The {ACM} Web Conference 2022, Virtual Event, Lyon, France,
April 25 - 29, 2022},
pages = {999--1007},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3485447.3511942},
doi = {10.1145/3485447.3511942},
timestamp = {Thu, 23 Jun 2022 19:54:34 +0200},
biburl = {https://dblp.org/rec/conf/www/SunKMRA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-02652,
author = {Weiqi Sun and
Haidar Khan and
Nicolas Guenon des Mesnards and
Melanie Rubino and
Konstantine Arkoudas},
title = {Unfreeze with Care: Space-Efficient Fine-Tuning of Semantic Parsing
Models},
journal = {CoRR},
volume = {abs/2203.02652},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.02652},
doi = {10.48550/ARXIV.2203.02652},
eprinttype = {arXiv},
eprint = {2203.02652},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-02652.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-14243,
author = {Subendhu Rongali and
Konstantine Arkoudas and
Melanie Rubino and
Wael Hamza},
title = {Training Naturalized Semantic Parsers with Very Little Data},
journal = {CoRR},
volume = {abs/2204.14243},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.14243},
doi = {10.48550/ARXIV.2204.14243},
eprinttype = {arXiv},
eprint = {2204.14243},
timestamp = {Mon, 02 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-14243.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-02068,
author = {Wenting Zhao and
Konstantine Arkoudas and
Weiqi Sun and
Claire Cardie},
title = {Compositional Task-Oriented Parsing as Abstractive Question Answering},
journal = {CoRR},
volume = {abs/2205.02068},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.02068},
doi = {10.48550/ARXIV.2205.02068},
eprinttype = {arXiv},
eprint = {2205.02068},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-02068.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-05352,
author = {Melanie Rubino and
Nicolas Guenon des Mesnards and
Uday Shah and
Nanjiang Jiang and
Weiqi Sun and
Konstantine Arkoudas},
title = {Cross-TOP: Zero-Shot Cross-Schema Task-Oriented Parsing},
journal = {CoRR},
volume = {abs/2206.05352},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.05352},
doi = {10.48550/ARXIV.2206.05352},
eprinttype = {arXiv},
eprint = {2206.05352},
timestamp = {Mon, 20 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-05352.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-07808,
author = {Jack FitzGerald and
Shankar Ananthakrishnan and
Konstantine Arkoudas and
Davide Bernardi and
Abhishek Bhagia and
Claudio Delli Bovi and
Jin Cao and
Rakesh Chada and
Amit Chauhan and
Luoxin Chen and
Anurag Dwarakanath and
Satyam Dwivedi and
Turan Gojayev and
Karthik Gopalakrishnan and
Thomas Gueudr{\'{e}} and
Dilek Hakkani{-}Tur and
Wael Hamza and
Jonathan J. H{\"{u}}ser and
Kevin Martin Jose and
Haidar Khan and
Beiye Liu and
Jianhua Lu and
Alessandro Manzotti and
Pradeep Natarajan and
Karolina Owczarzak and
Gokmen Oz and
Enrico Palumbo and
Charith Peris and
Chandana Satya Prakash and
Stephen Rawls and
Andy Rosenbaum and
Anjali Shenoy and
Saleh Soltan and
Mukund Harakere Sridhar and
Liz Tan and
Fabian Triefenbach and
Pan Wei and
Haiyang Yu and
Shuai Zheng and
G{\"{o}}khan T{\"{u}}r and
Prem Natarajan},
title = {Alexa Teacher Model: Pretraining and Distilling Multi-Billion-Parameter
Encoders for Natural Language Understanding Systems},
journal = {CoRR},
volume = {abs/2206.07808},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.07808},
doi = {10.48550/ARXIV.2206.07808},
eprinttype = {arXiv},
eprint = {2206.07808},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-07808.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-00265,
author = {Konstantine Arkoudas and
Nicolas Guenon des Mesnards and
Melanie Rubino and
Sandesh Swamy and
Saarthak Khanna and
Weiqi Sun and
Haidar Khan},
title = {{PIZZA:} {A} new benchmark for complex end-to-end task-oriented parsing},
journal = {CoRR},
volume = {abs/2212.00265},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.00265},
doi = {10.48550/ARXIV.2212.00265},
eprinttype = {arXiv},
eprint = {2212.00265},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-00265.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RongaliLCASH21,
author = {Subendhu Rongali and
Beiye Liu and
Liwei Cai and
Konstantine Arkoudas and
Chengwei Su and
Wael Hamza},
title = {Exploring Transfer Learning For End-to-End Spoken Language Understanding},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {13754--13761},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i15.17621},
doi = {10.1609/AAAI.V35I15.17621},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RongaliLCASH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/naacl/SotoA21,
author = {Victor Soto and
Konstantine Arkoudas},
editor = {Young{-}bum Kim and
Yunyao Li and
Owen Rambow},
title = {Combining Weakly Supervised {ML} Techniques for Low-Resource {NLU}},
booktitle = {Proceedings of the 2021 Conference of the North American Chapter of
the Association for Computational Linguistics: Human Language Technologies:
Industry Papers, {NAACL-HLT} 2021, Online, June 6-11, 2021},
pages = {288--295},
publisher = {Association for Computational Linguistics},
year = {2021},
url = {https://doi.org/10.18653/v1/2021.naacl-industry.36},
doi = {10.18653/V1/2021.NAACL-INDUSTRY.36},
timestamp = {Wed, 15 Nov 2023 13:49:17 +0100},
biburl = {https://dblp.org/rec/conf/naacl/SotoA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/YuAH20,
author = {Boya Yu and
Konstantine Arkoudas and
Wael Hamza},
editor = {Ann Clifton and
Courtney Napoles},
title = {Delexicalized Paraphrase Generation},
booktitle = {Proceedings of the 28th International Conference on Computational
Linguistics, {COLING} 2020 - Industry Track, Online, December 12,
2020},
pages = {102--112},
publisher = {International Committee on Computational Linguistics},
year = {2020},
url = {https://doi.org/10.18653/v1/2020.coling-industry.10},
doi = {10.18653/V1/2020.COLING-INDUSTRY.10},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/YuAH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-02763,
author = {Boya Yu and
Konstantine Arkoudas and
Wael Hamza},
title = {Delexicalized Paraphrase Generation},
journal = {CoRR},
volume = {abs/2012.02763},
year = {2020},
url = {https://arxiv.org/abs/2012.02763},
eprinttype = {arXiv},
eprint = {2012.02763},
timestamp = {Wed, 09 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-02763.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-08549,
author = {Subendhu Rongali and
Beiye Liu and
Liwei Cai and
Konstantine Arkoudas and
Chengwei Su and
Wael Hamza},
title = {Exploring Transfer Learning For End-to-End Spoken Language Understanding},
journal = {CoRR},
volume = {abs/2012.08549},
year = {2020},
url = {https://arxiv.org/abs/2012.08549},
eprinttype = {arXiv},
eprint = {2012.08549},
timestamp = {Sat, 02 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-08549.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/ArkoudasY19,
author = {Konstantine Arkoudas and
Mohamed Yahya},
editor = {Wenwu Zhu and
Dacheng Tao and
Xueqi Cheng and
Peng Cui and
Elke A. Rundensteiner and
David Carmel and
Qi He and
Jeffrey Xu Yu},
title = {Semantically Driven Auto-completion},
booktitle = {Proceedings of the 28th {ACM} International Conference on Information
and Knowledge Management, {CIKM} 2019, Beijing, China, November 3-7,
2019},
pages = {2693--2701},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3357384.3357811},
doi = {10.1145/3357384.3357811},
timestamp = {Mon, 04 Nov 2019 11:08:42 +0100},
biburl = {https://dblp.org/rec/conf/cikm/ArkoudasY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-09450,
author = {Konstantine Arkoudas and
Mohamed Yahya},
title = {Semantically Driven Auto-completion},
journal = {CoRR},
volume = {abs/1906.09450},
year = {2019},
url = {http://arxiv.org/abs/1906.09450},
eprinttype = {arXiv},
eprint = {1906.09450},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-09450.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-11049,
author = {Chunyang Xiao and
Christoph Teichmann and
Konstantine Arkoudas},
title = {Grammatical Sequence Prediction for Real-Time Neural Semantic Parsing},
journal = {CoRR},
volume = {abs/1907.11049},
year = {2019},
url = {http://arxiv.org/abs/1907.11049},
eprinttype = {arXiv},
eprint = {1907.11049},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-11049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/ArkoudasY18,
author = {Konstantine Arkoudas and
Mohamed Yahya},
editor = {Kevyn Collins{-}Thompson and
Qiaozhu Mei and
Brian D. Davison and
Yiqun Liu and
Emine Yilmaz},
title = {Auto-completion for Question Answering Systems at Bloomberg},
booktitle = {The 41st International {ACM} {SIGIR} Conference on Research {\&}
Development in Information Retrieval, {SIGIR} 2018, Ann Arbor, MI,
USA, July 08-12, 2018},
pages = {1351--1352},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209978.3210204},
doi = {10.1145/3209978.3210204},
timestamp = {Wed, 16 Sep 2020 13:34:22 +0200},
biburl = {https://dblp.org/rec/conf/sigir/ArkoudasY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/DorandoAVKM15,
author = {Jonathan J. Dorando and
Konstantine Arkoudas and
Parth Vasa and
Gary Kazantsev and
Gideon Mann},
editor = {Ricardo Baeza{-}Yates and
Mounia Lalmas and
Alistair Moffat and
Berthier A. Ribeiro{-}Neto},
title = {Finding Money in the Haystack: Information Retrieval at Bloomberg},
booktitle = {Proceedings of the 38th International {ACM} {SIGIR} Conference on
Research and Development in Information Retrieval, Santiago, Chile,
August 9-13, 2015},
pages = {1075},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2766462.2776782},
doi = {10.1145/2766462.2776782},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigir/DorandoAVKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/ArkoudasCC14,
author = {Konstantine Arkoudas and
Ritu Chadha and
C. Jason Chiang},
title = {Sophisticated Access Control via {SMT} and Logical Frameworks},
journal = {{ACM} Trans. Inf. Syst. Secur.},
volume = {16},
number = {4},
pages = {17},
year = {2014},
url = {https://doi.org/10.1145/2595222},
doi = {10.1145/2595222},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tissec/ArkoudasCC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/PerryACCAW13,
author = {Jason Perry and
Konstantine Arkoudas and
C. Jason Chiang and
Ritu Chadha and
Daniel Apgar and
Keith Whittaker},
title = {Modular natural language interfaces to logic-based policy frameworks},
journal = {Comput. Stand. Interfaces},
volume = {35},
number = {5},
pages = {417--427},
year = {2013},
url = {https://doi.org/10.1016/j.csi.2013.02.002},
doi = {10.1016/J.CSI.2013.02.002},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csi/PerryACCAW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/ArkoudasV12,
author = {Konstantine Arkoudas and
Akshay Vashist},
editor = {Elisa Bertino and
Ravi S. Sandhu},
title = {A model-theoretic approach to data anonymity and inference control},
booktitle = {Second {ACM} Conference on Data and Application Security and Privacy,
{CODASPY} 2012, San Antonio, TX, USA, February 7-9, 2012},
pages = {249--256},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2133601.2133632},
doi = {10.1145/2133601.2133632},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codaspy/ArkoudasV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/milcom/BoksinerPMACCMS12,
author = {Jeffrey Boksiner and
Yuriy Posherstnik and
Howard McDonald and
Konstantine Arkoudas and
Ritu Chadha and
C. Jason Chiang and
Apurva N. Mody and
Matthew Sherman},
title = {Policy-based spectrum management architecture},
booktitle = {31st {IEEE} Military Communications Conference, {MILCOM} 2012, Orlando,
FL, USA, October 29 - November 1, 2012},
pages = {1--6},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/MILCOM.2012.6415720},
doi = {10.1109/MILCOM.2012.6415720},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/milcom/BoksinerPMACCMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/ArkoudasLCCW12,
author = {Konstantine Arkoudas and
Shoshana Loeb and
Ritu Chadha and
C. Jason Chiang and
Keith Whittaker},
title = {Automated Policy Analysis},
booktitle = {2012 {IEEE} International Symposium on Policies for Distributed Systems
and Networks, {POLICY} 2012, Chapel Hill, NC, USA, July 16-18, 2012},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/POLICY.2012.11},
doi = {10.1109/POLICY.2012.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/ArkoudasLCCW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ArkoudasCC11,
author = {Konstantine Arkoudas and
Ritu Chadha and
C. Jason Chiang},
editor = {Malay K. Ganai and
Armin Biere},
title = {An Application of Formal Methods to Cognitive Radios},
booktitle = {Proceedings of the First International Workshop on Design and Implementation
of Formal Tools and Systems, Austin, USA, November 3, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {832},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-832/paper\_11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ArkoudasCC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ArkoudasB09,
author = {Konstantine Arkoudas and
Selmer Bringsjord},
title = {Vivid: {A} framework for heterogeneous problem solving},
journal = {Artif. Intell.},
volume = {173},
number = {15},
pages = {1367--1405},
year = {2009},
url = {https://doi.org/10.1016/j.artint.2009.06.002},
doi = {10.1016/J.ARTINT.2009.06.002},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/ArkoudasB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/ArkoudasB09,
author = {Konstantine Arkoudas and
Selmer Bringsjord},
title = {Propositional Attitudes and Causation},
journal = {Int. J. Softw. Informatics},
volume = {3},
number = {1},
pages = {47--65},
year = {2009},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=32\&\#38;flag=1},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/ArkoudasB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/ArkoudasBK09,
author = {Konstantine Arkoudas and
Selmer Bringsjord and
Sangeet Khemlani},
editor = {Jan L. G. Dietz},
title = {Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic},
booktitle = {{KEOD} 2009 - Proceedings of the International Conference on Knowledge
Engineering and Ontology Development, Funchal - Madeira, Portugal,
October 6-8, 2009},
pages = {80--87},
publisher = {{INSTICC} Press},
year = {2009},
timestamp = {Thu, 27 Oct 2011 12:41:52 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/ArkoudasBK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Arkoudas08,
author = {Konstantine Arkoudas},
title = {Computation, hypercomputation, and physical science},
journal = {J. Appl. Log.},
volume = {6},
number = {4},
pages = {461--475},
year = {2008},
url = {https://doi.org/10.1016/j.jal.2008.09.007},
doi = {10.1016/J.JAL.2008.09.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Arkoudas08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/Arkoudas08,
author = {Konstantine Arkoudas},
title = {Automatically Discovering Euler's Identity via Genetic Programming},
booktitle = {Automated Scientific Discovery, Papers from the 2008 {AAAI} Fall Symposium,
Arlington, Virginia, USA, November 7-9, 2008},
series = {{AAAI} Technical Report},
volume = {{FS-08-03}},
pages = {1--7},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/Symposia/Fall/2008/fs08-03-001.php},
timestamp = {Wed, 04 Sep 2013 21:28:12 +0200},
biburl = {https://dblp.org/rec/conf/aaaifs/Arkoudas08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ArkoudasS08,
author = {Konstantine Arkoudas and
Olin Shivers},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Trusted Theorem Proving: {A} Case Study in SLD-Resolution},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {782--796},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_56},
doi = {10.1007/978-3-540-88479-8\_56},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ArkoudasS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/ArkoudasB08,
author = {Konstantine Arkoudas and
Selmer Bringsjord},
editor = {Tu Bao Ho and
Zhi{-}Hua Zhou},
title = {Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief
Task},
booktitle = {{PRICAI} 2008: Trends in Artificial Intelligence, 10th Pacific Rim
International Conference on Artificial Intelligence, Hanoi, Vietnam,
December 15-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5351},
pages = {17--29},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89197-0\_6},
doi = {10.1007/978-3-540-89197-0\_6},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/pricai/ArkoudasB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mima/ArkoudasB07,
author = {Konstantine Arkoudas and
Selmer Bringsjord},
title = {Computers, Justification, and Mathematical Knowledge},
journal = {Minds Mach.},
volume = {17},
number = {2},
pages = {185--202},
year = {2007},
url = {https://doi.org/10.1007/s11023-007-9063-5},
doi = {10.1007/S11023-007-9063-5},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mima/ArkoudasB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/BringsjordACSTSY07,
author = {Selmer Bringsjord and
Konstantine Arkoudas and
Micah Clark and
Andrew Shilliday and
Joshua Taylor and
Bettina Schimanski and
Yingrui Yang},
title = {Reporting on Some Logic-Based Machine Reading Research},
booktitle = {Machine Reading, Papers from the 2007 {AAAI} Spring Symposium, Technical
Report SS-07-06, Stanford, California, USA, March 26-28, 2007},
pages = {23--28},
publisher = {{AAAI}},
year = {2007},
url = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-06-005.php},
timestamp = {Fri, 17 Feb 2012 14:15:11 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/BringsjordACSTSY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/BringsjordAMSTCB07,
author = {Selmer Bringsjord and
Konstantine Arkoudas and
Deepa Mukherjee and
Andrew Edward Shilliday and
Joshua Taylor and
Micah Henry Clark and
Elizabeth Bringsjord},
editor = {Hamid R. Arabnia and
Mary Qu Yang and
Jack Y. Yang},
title = {The Multi-Mind Effect},
booktitle = {Proceedings of the 2007 International Conference on Artificial Intelligence,
{ICAI} 2007, Volume I, June 25-28, 2007, Las Vegas, Nevada, {USA}},
pages = {43--49},
publisher = {{CSREA} Press},
year = {2007},
timestamp = {Fri, 06 Feb 2009 14:10:34 +0100},
biburl = {https://dblp.org/rec/conf/icai/BringsjordAMSTCB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/BringsjordAB06,
author = {Selmer Bringsjord and
Konstantine Arkoudas and
Paul Bello},
title = {Toward a General Logicist Methodology for Engineering Ethically Correct
Robots},
journal = {{IEEE} Intell. Syst.},
volume = {21},
number = {4},
pages = {38--44},
year = {2006},
url = {https://doi.org/10.1109/MIS.2006.82},
doi = {10.1109/MIS.2006.82},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/BringsjordAB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Arkoudas05,
author = {Konstantine Arkoudas},
title = {Simplifying Proofs in Fitch-Style Natural Deduction Systems},
journal = {J. Autom. Reason.},
volume = {34},
number = {3},
pages = {239--294},
year = {2005},
url = {https://doi.org/10.1007/s10817-005-9000-3},
doi = {10.1007/S10817-005-9000-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Arkoudas05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SalcianuA05,
author = {Alexandru Salcianu and
Konstantine Arkoudas},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Machine-Checkable Correctness Proofs for Intra-procedural Dataflow
Analyses},
booktitle = {Proceedings of the Fourth International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April
3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {2},
pages = {53--68},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.02.043},
doi = {10.1016/J.ENTCS.2005.02.043},
timestamp = {Tue, 13 Dec 2022 10:38:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SalcianuA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BringsjordA04,
author = {Selmer Bringsjord and
Konstantine Arkoudas},
title = {The modal argument for hypercomputing minds},
journal = {Theor. Comput. Sci.},
volume = {317},
number = {1-3},
pages = {167--190},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.12.010},
doi = {10.1016/J.TCS.2003.12.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BringsjordA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Arkoudas04,
author = {Konstantine Arkoudas},
editor = {Farn Wang},
title = {Specification, Abduction, and Proof},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {294--309},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_25},
doi = {10.1007/978-3-540-30476-0\_25},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/Arkoudas04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/ArkoudasB04,
author = {Konstantine Arkoudas and
Selmer Bringsjord},
editor = {Jo{\~{a}}o Alexandre Leite and
Paolo Torroni},
title = {Metareasoning for Multi-agent Epistemic Logics},
booktitle = {Computational Logic in Multi-Agent Systems, 5th International Workshop,
{CLIMA} V, Lisbon, Portugal, September 29-30, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3487},
pages = {111--125},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11533092\_7},
doi = {10.1007/11533092\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/clima/ArkoudasB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ArkoudasZKR04,
author = {Konstantine Arkoudas and
Karen Zee and
Viktor Kuncak and
Martin C. Rinard},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Verifying a File System Implementation},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {373--390},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_32},
doi = {10.1007/978-3-540-30482-1\_32},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ArkoudasZKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArkoudasR05,
author = {Konstantine Arkoudas and
Martin C. Rinard},
editor = {Klaus Havelund and
Grigore Rosu},
title = {Deductive Runtime Certification},
booktitle = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
2004, Barcelona, Spain, April 3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {113},
pages = {45--63},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.01.035},
doi = {10.1016/J.ENTCS.2004.01.035},
timestamp = {Fri, 16 Dec 2022 11:10:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArkoudasR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/ArkoudasKMR03,
author = {Konstantine Arkoudas and
Sarfraz Khurshid and
Darko Marinov and
Martin C. Rinard},
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {Integrating Model Checking and Theorem Proving for Relational Reasoning},
booktitle = {Relational and Kleene-Algebraic Methods in Computer Science: 7th International
Seminar on Relational Methods in Computer Science and 2nd International
Workshop on Applications of Kleene Algebra, Bad Malente, Germany,
May 12-17, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3051},
pages = {21--33},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24771-5\_3},
doi = {10.1007/978-3-540-24771-5\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/ArkoudasKMR03.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-04-25 05: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:
