default search action
Konstantine Arkoudas
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c27]Subendhu Rongali, Mukund Sridhar, Haidar Khan, Konstantine Arkoudas, Wael Hamza, Andrew McCallum:
Low-Resource Compositional Semantic Parsing with Concept Pretraining. EACL 2023: 1402-1411 - [i12]Subendhu Rongali, Mukund Sridhar, Haidar Khan, Konstantine Arkoudas, Wael Hamza, Andrew McCallum:
Low-Resource Compositional Semantic Parsing with Concept Pretraining. CoRR abs/2301.09809 (2023) - [i11]Konstantine Arkoudas:
GPT-4 Can't Reason. CoRR abs/2308.03762 (2023) - 2022
- [c26]Subendhu Rongali, Konstantine Arkoudas, Melanie Rubino, Wael Hamza:
Training Naturalized Semantic Parsers with Very Little Data. IJCAI 2022: 4353-4359 - [c25]Jack FitzGerald, Shankar Ananthakrishnan, Konstantine Arkoudas, Davide Bernardi, Abhishek Bhagia, Claudio Delli Bovi, Jin Cao, Rakesh Chada, Amit Chauhan, Luoxin Chen, Anurag Dwarakanath, Satyam Dwivedi
, Turan Gojayev, Karthik Gopalakrishnan, Thomas Gueudré, Dilek Hakkani-Tur, Wael Hamza, Jonathan J. Hüser, Kevin Martin Jose, Haidar Khan, Beiye Liu, Jianhua Lu, Alessandro Manzotti, Pradeep Natarajan, Karolina Owczarzak, Gokmen Oz, Enrico Palumbo, Charith Peris, Chandana Satya Prakash, Stephen Rawls, Andy Rosenbaum, Anjali Shenoy, Saleh Soltan, Mukund Harakere Sridhar, Lizhen Tan, Fabian Triefenbach, Pan Wei, Haiyang Yu, Shuai Zheng, Gökhan Tür, Prem Natarajan:
Alexa Teacher Model: Pretraining and Distilling Multi-Billion-Parameter Encoders for Natural Language Understanding Systems. KDD 2022: 2893-2902 - [c24]Wenting Zhao, Konstantine Arkoudas, Weiqi Sun, Claire Cardie:
Compositional Task-Oriented Parsing as Abstractive Question Answering. NAACL-HLT 2022: 4418-4427 - [c23]Weiqi Sun, Haidar Khan, Nicolas Guenon des Mesnards, Melanie Rubino, Konstantine Arkoudas:
Unfreeze with Care: Space-Efficient Fine-Tuning of Semantic Parsing Models. WWW 2022: 999-1007 - [i10]Weiqi Sun, Haidar Khan, Nicolas Guenon des Mesnards, Melanie Rubino, Konstantine Arkoudas:
Unfreeze with Care: Space-Efficient Fine-Tuning of Semantic Parsing Models. CoRR abs/2203.02652 (2022) - [i9]Subendhu Rongali, Konstantine Arkoudas, Melanie Rubino, Wael Hamza:
Training Naturalized Semantic Parsers with Very Little Data. CoRR abs/2204.14243 (2022) - [i8]Wenting Zhao, Konstantine Arkoudas, Weiqi Sun, Claire Cardie:
Compositional Task-Oriented Parsing as Abstractive Question Answering. CoRR abs/2205.02068 (2022) - [i7]Melanie Rubino, Nicolas Guenon des Mesnards, Uday Shah, Nanjiang Jiang, Weiqi Sun, Konstantine Arkoudas:
Cross-TOP: Zero-Shot Cross-Schema Task-Oriented Parsing. CoRR abs/2206.05352 (2022) - [i6]Jack FitzGerald, Shankar Ananthakrishnan, Konstantine Arkoudas, Davide Bernardi, Abhishek Bhagia, Claudio Delli Bovi, Jin Cao, Rakesh Chada, Amit Chauhan, Luoxin Chen, Anurag Dwarakanath, Satyam Dwivedi
Alexa Teacher Model: Pretraining and Distilling Multi-Billion-Parameter Encoders for Natural Language Understanding Systems. CoRR abs/2206.07808 (2022) - [i5]Konstantine Arkoudas, Nicolas Guenon des Mesnards, Melanie Rubino, Sandesh Swamy, Saarthak Khanna, Weiqi Sun, Haidar Khan:
PIZZA: A new benchmark for complex end-to-end task-oriented parsing. CoRR abs/2212.00265 (2022) - 2021
- [c22]Subendhu Rongali, Beiye Liu, Liwei Cai, Konstantine Arkoudas, Chengwei Su, Wael Hamza:
Exploring Transfer Learning For End-to-End Spoken Language Understanding. AAAI 2021: 13754-13761 - [c21]Victor Soto, Konstantine Arkoudas:
Combining Weakly Supervised ML Techniques for Low-Resource NLU. NAACL-HLT (Industry Papers) 2021: 288-295 - 2020
- [c20]Boya Yu, Konstantine Arkoudas, Wael Hamza:
Delexicalized Paraphrase Generation. COLING (Industry) 2020: 102-112 - [i4]Boya Yu, Konstantine Arkoudas, Wael Hamza:
Delexicalized Paraphrase Generation. CoRR abs/2012.02763 (2020) - [i3]Subendhu Rongali, Beiye Liu, Liwei Cai, Konstantine Arkoudas, Chengwei Su, Wael Hamza:
Exploring Transfer Learning For End-to-End Spoken Language Understanding. CoRR abs/2012.08549 (2020)
2010 – 2019
- 2019
- [c19]Konstantine Arkoudas, Mohamed Yahya:
Semantically Driven Auto-completion. CIKM 2019: 2693-2701 - [i2]Konstantine Arkoudas, Mohamed Yahya:
Semantically Driven Auto-completion. CoRR abs/1906.09450 (2019) - [i1]Chunyang Xiao, Christoph Teichmann, Konstantine Arkoudas:
Grammatical Sequence Prediction for Real-Time Neural Semantic Parsing. CoRR abs/1907.11049 (2019) - 2018
- [c18]Konstantine Arkoudas, Mohamed Yahya:
Auto-completion for Question Answering Systems at Bloomberg. SIGIR 2018: 1351-1352 - 2015
- [c17]Jonathan J. Dorando, Konstantine Arkoudas, Parth Vasa, Gary Kazantsev
Finding Money in the Haystack: Information Retrieval at Bloomberg. SIGIR 2015: 1075 - 2014
- [j9]Konstantine Arkoudas, Ritu Chadha, C. Jason Chiang:
Sophisticated Access Control via SMT and Logical Frameworks. ACM Trans. Inf. Syst. Secur. 16(4): 17 (2014) - 2013
- [j8]Jason Perry, Konstantine Arkoudas, C. Jason Chiang, Ritu Chadha, Daniel Apgar, Keith Whittaker:
Modular natural language interfaces to logic-based policy frameworks. Comput. Stand. Interfaces 35(5): 417-427 (2013) - 2012
- [c16]Konstantine Arkoudas, Akshay Vashist:
A model-theoretic approach to data anonymity and inference control. CODASPY 2012: 249-256 - [c15]Jeffrey Boksiner, Yuriy Posherstnik, Howard McDonald, Konstantine Arkoudas, Ritu Chadha, C. Jason Chiang, Apurva N. Mody
Policy-based spectrum management architecture. MILCOM 2012: 1-6 - [c14]Konstantine Arkoudas, Shoshana Loeb, Ritu Chadha, C. Jason Chiang, Keith Whittaker:
Automated Policy Analysis. POLICY 2012: 1-8 - 2011
- [c13]Konstantine Arkoudas, Ritu Chadha, C. Jason Chiang:
An Application of Formal Methods to Cognitive Radios. DIFTS@FMCAD 2011
2000 – 2009
- 2009
- [j7]Konstantine Arkoudas, Selmer Bringsjord:
Vivid: A framework for heterogeneous problem solving. Artif. Intell. 173(15): 1367-1405 (2009) - [j6]Konstantine Arkoudas, Selmer Bringsjord:
Propositional Attitudes and Causation. Int. J. Softw. Informatics 3(1): 47-65 (2009) - [c12]Konstantine Arkoudas, Selmer Bringsjord, Sangeet Khemlani:
Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic. KEOD 2009: 80-87 - 2008
- [j5]Konstantine Arkoudas:
Computation, hypercomputation, and physical science. J. Appl. Log. 6(4): 461-475 (2008) - [c11]Konstantine Arkoudas:
Automatically Discovering Euler's Identity via Genetic Programming. AAAI Fall Symposium: Automated Scientific Discovery 2008: 1-7 - [c10]Konstantine Arkoudas, Olin Shivers:
Trusted Theorem Proving: A Case Study in SLD-Resolution. ISoLA 2008: 782-796 - [c9]Konstantine Arkoudas, Selmer Bringsjord:
Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task. PRICAI 2008: 17-29 - 2007
- [j4]Konstantine Arkoudas, Selmer Bringsjord:
Computers, Justification, and Mathematical Knowledge. Minds Mach. 17(2): 185-202 (2007) - [c8]Selmer Bringsjord, Konstantine Arkoudas, Micah Clark, Andrew Shilliday, Joshua Taylor, Bettina Schimanski, Yingrui Yang:
Reporting on Some Logic-Based Machine Reading Research. AAAI Spring Symposium: Machine Reading 2007: 23-28 - [c7]Selmer Bringsjord, Konstantine Arkoudas, Deepa Mukherjee, Andrew Edward Shilliday, Joshua Taylor, Micah Henry Clark, Elizabeth Bringsjord:
The Multi-Mind Effect. IC-AI 2007: 43-49 - 2006
- [j3]Selmer Bringsjord, Konstantine Arkoudas, Paul Bello:
Toward a General Logicist Methodology for Engineering Ethically Correct Robots. IEEE Intell. Syst. 21(4): 38-44 (2006) - 2005
- [j2]Konstantine Arkoudas:
Simplifying Proofs in Fitch-Style Natural Deduction Systems. J. Autom. Reason. 34(3): 239-294 (2005) - [c6]Alexandru Salcianu, Konstantine Arkoudas:
Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses. COCV@ETAPS 2005: 53-68 - 2004
- [j1]Selmer Bringsjord, Konstantine Arkoudas:
The modal argument for hypercomputing minds. Theor. Comput. Sci. 317(1-3): 167-190 (2004) - [c5]Konstantine Arkoudas:
Specification, Abduction, and Proof. ATVA 2004: 294-309 - [c4]Konstantine Arkoudas, Selmer Bringsjord:
Metareasoning for Multi-agent Epistemic Logics. CLIMA 2004: 111-125 - [c3]Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard:
Verifying a File System Implementation. ICFEM 2004: 373-390 - [c2]Konstantine Arkoudas, Martin C. Rinard:
Deductive Runtime Certification. RV@ETAPS 2004: 45-63 - 2003
- [c1]Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard:
Integrating Model Checking and Theorem Proving for Relational Reasoning. RelMiCS 2003: 21-33
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-28 01:30 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: