Konstantine Arkoudas

According to our database1, Konstantine Arkoudas authored at least 29 papers between 2003 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Grammatical Sequence Prediction for Real-Time Neural Semantic Parsing.
CoRR, 2019

Semantically Driven Auto-completion.
Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019

Auto-completion for Question Answering Systems at Bloomberg.
Proceedings of the 41st International ACM SIGIR Conference on Research & Development in Information Retrieval, 2018

Finding Money in the Haystack: Information Retrieval at Bloomberg.
Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2015

Sophisticated Access Control via SMT and Logical Frameworks.
ACM Trans. Inf. Syst. Secur., 2014

Modular natural language interfaces to logic-based policy frameworks.
Comput. Stand. Interfaces, 2013

Automated Policy Analysis.
Proceedings of the 2012 IEEE International Symposium on Policies for Distributed Systems and Networks, 2012

Policy-based spectrum management architecture.
Proceedings of the 31st IEEE Military Communications Conference, 2012

A model-theoretic approach to data anonymity and inference control.
Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012

An Application of Formal Methods to Cognitive Radios.
Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011

Propositional Attitudes and Causation.
Int. J. Softw. Informatics, 2009

Vivid: A framework for heterogeneous problem solving.
Artif. Intell., 2009

Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic.
Proceedings of the KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal, 2009

Computation, hypercomputation, and physical science.
J. Appl. Log., 2008

Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task.
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Trusted Theorem Proving: A Case Study in SLD-Resolution.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Automatically Discovering Euler's Identity via Genetic Programming.
Proceedings of the Automated Scientific Discovery, 2008

Computers, Justification, and Mathematical Knowledge.
Minds Mach., 2007

The Multi-Mind Effect.
Proceedings of the 2007 International Conference on Artificial Intelligence, 2007

Reporting on Some Logic-Based Machine Reading Research.
Proceedings of the Machine Reading, 2007

Toward a General Logicist Methodology for Engineering Ethically Correct Robots.
IEEE Intell. Syst., 2006

Simplifying Proofs in Fitch-Style Natural Deduction Systems.
J. Autom. Reason., 2005

Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses.
Electron. Notes Theor. Comput. Sci., 2005

Deductive Runtime Certification.
Electron. Notes Theor. Comput. Sci., 2005

The modal argument for hypercomputing minds.
Theor. Comput. Sci., 2004

Verifying a File System Implementation.
Proceedings of the Formal Methods and Software Engineering, 2004

Metareasoning for Multi-agent Epistemic Logics.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Specification, Abduction, and Proof.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

Integrating Model Checking and Theorem Proving for Relational Reasoning.
Proceedings of the 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, 2003