Integrating Model Checking and Theorem Proving for Relational Reasoning. - Konstantine Arkoudas; Sarfraz Khurshid; Darko Marinov; Martin C. Rinard (RelMiCS, 2003)

Specification, Abduction, and Proof. - Konstantine Arkoudas (ATVA, 2004)

Metareasoning for Multi-agent Epistemic Logics. - Konstantine Arkoudas; Selmer Bringsjord (CLIMA, 2004)

Verifying a File System Implementation. - Konstantine Arkoudas; Karen Zee; Viktor Kuncak; Martin C. Rinard (ICFEM, 2004)

Deductive Runtime Certification. - Konstantine Arkoudas; Martin C. Rinard (RV@ETAPS, 2004)

The modal argument for hypercomputing minds. - Selmer Bringsjord; Konstantine Arkoudas (Theor. Comput. Sci., 2004)

Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses. - Alexandru Salcianu; Konstantine Arkoudas (COCV@ETAPS, 2005)

Simplifying Proofs in Fitch-Style Natural Deduction Systems. - Konstantine Arkoudas (J. Autom. Reason., 2005)

Toward a General Logicist Methodology for Engineering Ethically Correct Robots. - Selmer Bringsjord; Konstantine Arkoudas; Paul Bello (IEEE Intell. Syst., 2006)

Reporting on Some Logic-Based Machine Reading Research. - Selmer Bringsjord; Konstantine Arkoudas; Micah Clark; Andrew Shilliday; Joshua Taylor; Bettina Schimanski; Yingrui Yang (AAAI Spring Symposium: Machine Reading, 2007)

The Multi-Mind Effect. - Selmer Bringsjord; Konstantine Arkoudas; Deepa Mukherjee; Andrew Edward Shilliday; Joshua Taylor; Micah Henry Clark; Elizabeth Bringsjord (IC-AI, 2007)

Computers, Justification, and Mathematical Knowledge. - Konstantine Arkoudas; Selmer Bringsjord (Minds Mach., 2007)

Automatically Discovering Euler's Identity via Genetic Programming. - Konstantine Arkoudas (AAAI Fall Symposium: Automated Scientific Discovery, 2008)

Trusted Theorem Proving: A Case Study in SLD-Resolution. - Konstantine Arkoudas; Olin Shivers (ISoLA, 2008)

Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task. - Konstantine Arkoudas; Selmer Bringsjord (PRICAI, 2008)

Computation, hypercomputation, and physical science. - Konstantine Arkoudas (J. Appl. Log., 2008)

Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic. - Konstantine Arkoudas; Selmer Bringsjord; Sangeet Khemlani (KEOD, 2009)

Vivid: A framework for heterogeneous problem solving. - Konstantine Arkoudas; Selmer Bringsjord (Artif. Intell., 2009)

Propositional Attitudes and Causation. - Konstantine Arkoudas; Selmer Bringsjord (Int. J. Softw. Informatics, 2009)

An Application of Formal Methods to Cognitive Radios. - Konstantine Arkoudas; Ritu Chadha; C. Jason Chiang (DIFTS@FMCAD, 2011)

A model-theoretic approach to data anonymity and inference control. - Konstantine Arkoudas; Akshay Vashist (CODASPY, 2012)

Policy-based spectrum management architecture. - Jeffrey Boksiner; Yuriy Posherstnik; Howard McDonald; Konstantine Arkoudas; Ritu Chadha; C. Jason Chiang; Apurva N. Mody; Matthew Sherman (MILCOM, 2012)

Automated Policy Analysis. - Konstantine Arkoudas; Shoshana Loeb; Ritu Chadha; C. Jason Chiang; Keith Whittaker (POLICY, 2012)

Modular natural language interfaces to logic-based policy frameworks. - Jason Perry; Konstantine Arkoudas; C. Jason Chiang; Ritu Chadha; Daniel Apgar; Keith Whittaker (Comput. Stand. Interfaces, 2013)

Sophisticated Access Control via SMT and Logical Frameworks. - Konstantine Arkoudas; Ritu Chadha; C. Jason Chiang (ACM Trans. Inf. Syst. Secur., 2014)

Finding Money in the Haystack: Information Retrieval at Bloomberg. - Jonathan J. Dorando; Konstantine Arkoudas; Parth Vasa; Gary Kazantsev; Gideon Mann (SIGIR, 2015)

Auto-completion for Question Answering Systems at Bloomberg. - Konstantine Arkoudas; Mohamed Yahya 001 (SIGIR, 2018)

Semantically Driven Auto-completion. - Konstantine Arkoudas; Mohamed Yahya 001 (CIKM, 2019)

Grammatical Sequence Prediction for Real-Time Neural Semantic Parsing. - Chunyang Xiao; Christoph Teichmann; Konstantine Arkoudas (CoRR, 2019)

Delexicalized Paraphrase Generation. - Boya Yu; Konstantine Arkoudas; Wael Hamza (COLING (Industry), 2020)

Exploring Transfer Learning For End-to-End Spoken Language Understanding. - Subendhu Rongali; Beiye Liu; Liwei Cai; Konstantine Arkoudas; Chengwei Su; Wael Hamza (AAAI, 2021)

Combining Weakly Supervised ML Techniques for Low-Resource NLU. - Victor Soto; Konstantine Arkoudas (NAACL-HLT (Industry Papers), 2021)

Training Naturalized Semantic Parsers with Very Little Data. - Subendhu Rongali; Konstantine Arkoudas; Melanie Rubino; Wael Hamza (IJCAI, 2022)

Alexa Teacher Model: Pretraining and Distilling Multi-Billion-Parameter Encoders for Natural Language Understanding Systems. - Jack FitzGerald; Shankar Ananthakrishnan; Konstantine Arkoudas; Davide Bernardi; Abhishek Bhagia; Claudio Delli Bovi; Jin Cao 003; Rakesh Chada; Amit Chauhan; Luoxin Chen; Anurag Dwarakanath; Satyam Dwivedi; et al. (KDD, 2022)

Compositional Task-Oriented Parsing as Abstractive Question Answering. - Wenting Zhao; Konstantine Arkoudas; Weiqi Sun; Claire Cardie (NAACL-HLT, 2022)

Unfreeze with Care: Space-Efficient Fine-Tuning of Semantic Parsing Models. - Weiqi Sun; Haidar Khan; Nicolas Guenon des Mesnards; Melanie Rubino; Konstantine Arkoudas (WWW, 2022)

Cross-TOP: Zero-Shot Cross-Schema Task-Oriented Parsing. - Melanie Rubino; Nicolas Guenon des Mesnards; Uday Shah; Nanjiang Jiang; Weiqi Sun; Konstantine Arkoudas (CoRR, 2022)

Alexa Teacher Model: Pretraining and Distilling Multi-Billion-Parameter Encoders for Natural Language Understanding Systems. - Jack FitzGerald; Shankar Ananthakrishnan; Konstantine Arkoudas; Davide Bernardi; Abhishek Bhagia; Claudio Delli Bovi; Jin Cao 003; Rakesh Chada; Amit Chauhan; Luoxin Chen; Anurag Dwarakanath; Satyam Dwivedi; et al. (CoRR, 2022)

PIZZA: A new benchmark for complex end-to-end task-oriented parsing. - Konstantine Arkoudas; Nicolas Guenon des Mesnards; Melanie Rubino; Sandesh Swamy; Saarthak Khanna; Weiqi Sun; Haidar Khan (CoRR, 2022)

Low-Resource Compositional Semantic Parsing with Concept Pretraining. - Subendhu Rongali; Mukund Sridhar; Haidar Khan; Konstantine Arkoudas; Wael Hamza; Andrew McCallum (EACL, 2023)

GPT-4 Can't Reason. - Konstantine Arkoudas (CoRR, 2023)