Konstantine Arkoudas

发表

Toward Ethical Robots via Mechanized Deontic Logic∗

Konstantine Arkoudas, S. Bringsjord, 2005 .

A Framework Combining Diagrammatic and Symbolic Problem Solving

Konstantine Arkoudas, S. Bringsjord, 2007 .

A general framework for combining diagrammatic and symbolic problem solving

Konstantine Arkoudas, S. Bringsjord, 2006 .

Computer Science and Artificial Intelligence Laboratory Diagrammatic and Symbolic Reasoning

Konstantine Arkoudas, 2005 .

Type-alpha DPLs

Konstantine Arkoudas, Konstantine Arkoudas, 2001 .

On the Provability, Veracity, and AI-Relevance of the Church-Turing Thesis

Konstantine Arkoudas, S. Bringsjord, 2006 .

Type-omega DPLs

Konstantine Arkoudas, 2001 .

The Philosophical Foundations of Artificial Intelligence

Konstantine Arkoudas, S. Bringsjord, 2007 .

Compositional Task-Oriented Parsing as Abstractive Question Answering

Claire Cardie, Konstantine Arkoudas, Wenting Zhao, 2022, NAACL.

Alexa Teacher Model: Pretraining and Distilling Multi-Billion-Parameter Encoders for Natural Language Understanding Systems

Dilek Z. Hakkani-Tür, Jack G. M. FitzGerald, Claudio Delli Bovi, 2022, KDD.

Slate: An Argument-Centered Intelligent Assistant to Human Reasoners

Selmer Bringsjord, Micah Clark, Konstantine Arkoudas, 2008 .

Vivid: A framework for heterogeneous problem solving

Selmer Bringsjord, Konstantine Arkoudas, Konstantine Arkoudas, 2009, Artif. Intell..

Piagetian Roboethics via Category Theory Moving beyond Mere Formal Operations to Engineer Robots Whose Decisions Are Guaranteed to be Ethically Correct

Selmer Bringsjord, Micah Clark, Konstantine Arkoudas, 2011 .

Grammatical Sequence Prediction for Real-Time Neural Semantic Parsing pdf

Christoph Teichmann, Konstantine Arkoudas, Chunyang Xiao, 2019, Proceedings of the Workshop on Deep Learning and Formal Languages: Building Bridges.

Combining Weakly Supervised ML Techniques for Low-Resource NLU

Konstantine Arkoudas, Victor Soto, Konstantine Arkoudas, 2021, NAACL.

Semantically Driven Auto-completion

Mohamed Yahya, Konstantine Arkoudas, Konstantine Arkoudas, 2019, CIKM.

Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task

Selmer Bringsjord, Konstantine Arkoudas, Konstantine Arkoudas, 2008, PRICAI.

Automatically Discovering Euler's Identity via Genetic Programming

Konstantine Arkoudas, Konstantine Arkoudas, 2008, AAAI Fall Symposium: Automated Scientific Discovery.

Training Naturalized Semantic Parsers with Very Little Data

Konstantine Arkoudas, Subendhu Rongali, Wael Hamza, 2022, IJCAI.

The Multi-Mind Effect

Selmer Bringsjord, Konstantine Arkoudas, Joshua Taylor, 2007, IC-AI.

Combining diagrammatic and symbolic reasoning

Konstantine Arkoudas, Konstantine Arkoudas, 2005 .

Diagrammatic and Symbolic Reasoning

Konstantine Arkoudas, Konstantine Arkoudas, 2005 .

Vivid: A framework for combining diagrammatic and symbolic reasoning

Selmer Bringsjord, Konstantine Arkoudas, Konstantine Arkoudas, 2005 .

Exploring Transfer Learning For End-to-End Spoken Language Understanding pdf

Konstantine Arkoudas, Chengwei Su, Wael Hamza, 2020, AAAI.

New Architectures, Algorithms And Designs That Lead To Implemented Machine Reasoning Over Knowledge In Epistemic And Deontic Formats, In The Service Of Advanced Wargaming

Selmer Bringsjord, Konstantine Arkoudas, Yingrui Yang, 2006 .

Propositional Attitudes and Causation

Selmer Bringsjord, Konstantine Arkoudas, Konstantine Arkoudas, 2009, Int. J. Softw. Informatics.

Simplifying Proofs in Fitch-Style Natural Deduction Systems

Konstantine Arkoudas, Konstantine Arkoudas, 2005, Journal of Automated Reasoning.

Toward a General Logicist Methodology for Engineering Ethically Correct Robots

Selmer Bringsjord, Paul Bello, Konstantine Arkoudas, 2006, IEEE Intelligent Systems.

Toward Ethical Robots via Mechanized Deontic Logic ∗

Konstantine Arkoudas, S. Bringsjord, Paul Bello, 2005 .

Deductive Runtime Certification

Konstantine Arkoudas, Martin C. Rinard, M. Rinard, 2005, RV@ETAPS.

Integrating Model Checking and Theorem Proving for Relational Reasoning

Sarfraz Khurshid, Darko Marinov, Konstantine Arkoudas, 2003, RelMiCS.

Computers, Justification, and Mathematical Knowledge

Selmer Bringsjord, Konstantine Arkoudas, Konstantine Arkoudas, 2007, Minds and Machines.

Advanced Synthetic Characters, Evil, and E ∗

Selmer Bringsjord, Sangeet Khemlani, Konstantine Arkoudas, 2005 .

PIZZA: A new benchmark for complex end-to-end task-oriented parsing

Nicolas Guenon des Mesnards, Konstantine Arkoudas, Weiqiong Sun, 2022, arXiv.org.

Computation, hypercomputation, and physical science

Konstantine Arkoudas, Konstantine Arkoudas, 2008, J. Appl. Log..

Sophisticated Access Control via SMT and Logical Frameworks

Ritu Chadha, Cho-Yu Jason Chiang, Konstantine Arkoudas, 2014, TSEC.

Low-Resource Compositional Semantic Parsing with Concept Pretraining

A. McCallum, Konstantine Arkoudas, Subendhu Rongali, 2023, EACL.

GPT-4 Can't Reason

Konstantine Arkoudas, 2023, ArXiv.

Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses

Konstantine Arkoudas, Alexandru Salcianu, 2005, COCV@ETAPS.

Specification, Abduction, and Proof

Konstantine Arkoudas, Konstantine Arkoudas, 2004, ATVA.

Metareasoning for Multi-agent Epistemic Logics

Selmer Bringsjord, Konstantine Arkoudas, Konstantine Arkoudas, 2004, CLIMA.

Verifying a File System Implementation

Viktor Kuncak, Konstantine Arkoudas, Martin C. Rinard, 2004, ICFEM.

The modal argument for hypercomputing minds

Selmer Bringsjord, Konstantine Arkoudas, Konstantine Arkoudas, 2004, Theor. Comput. Sci..

A model-theoretic approach to data anonymity and inference control

Konstantine Arkoudas, Akshay Vashist, A. Vashist, 2012, CODASPY '12.

Unfreeze with Care: Space-Efficient Fine-Tuning of Semantic Parsing Models

Nicolas Guenon des Mesnards, Konstantine Arkoudas, Weiqi Sun, 2022, WWW.

Cross-TOP: Zero-Shot Cross-Schema Task-Oriented Parsing

Nicolas Guenon des Mesnards, Konstantine Arkoudas, Weiqiong Sun, 2022, DEEPLO.