| Exploring Transfer Learning For End-To-End Spoken Language Understanding | 0 | 0.34 | 2021 |
| Finding Money in the Haystack: Information Retrieval at Bloomberg | 0 | 0.34 | 2015 |
| Sophisticated Access Control via SMT and Logical Frameworks | 9 | 0.53 | 2014 |
| Modular natural language interfaces to logic-based policy frameworks. | 2 | 0.38 | 2013 |
| Policy-based spectrum management architecture | 1 | 0.52 | 2012 |
| A model-theoretic approach to data anonymity and inference control | 1 | 0.35 | 2012 |
| Automated Policy Analysis | 6 | 0.57 | 2012 |
| An Application of Formal Methods to Cognitive Radios. | 3 | 0.41 | 2011 |
| Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic | 0 | 0.34 | 2009 |
| Propositional Attitudes and Causation | 11 | 0.95 | 2009 |
| Vivid: A framework for heterogeneous problem solving | 4 | 0.63 | 2009 |
| Automatically Discovering Euler's Identity via Genetic Programming. | 0 | 0.34 | 2008 |
| Trusted Theorem Proving: A Case Study in SLD-Resolution | 0 | 0.34 | 2008 |
| Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task | 7 | 1.32 | 2008 |
| Computation, hypercomputation, and physical science | 1 | 0.35 | 2008 |
| Computers, Justification, and Mathematical Knowledge | 12 | 0.84 | 2007 |
| The Multi-Mind Effect | 0 | 0.34 | 2007 |
| Reporting on Some Logic-Based Machine Reading Research. | 6 | 0.72 | 2007 |
| Toward a General Logicist Methodology for Engineering Ethically Correct Robots | 43 | 2.63 | 2006 |
| Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses | 4 | 0.53 | 2005 |
| Deductive Runtime Certification | 10 | 0.85 | 2005 |
| Simplifying Proofs in Fitch-Style Natural Deduction Systems | 1 | 0.46 | 2005 |
| Verifying a file system implementation | 16 | 1.20 | 2004 |
| Specification, Abduction, and Proof | 6 | 0.62 | 2004 |
| Metareasoning for multi-agent epistemic logics | 7 | 0.98 | 2004 |
| The modal argument for hypercomputing minds | 11 | 1.25 | 2004 |
| Integrating Model Checking and Theorem Proving for Relational Reasoning | 25 | 1.50 | 2003 |
