| 2008 |
|---|
| 13 | EE | Konstantine Arkoudas,
Olin Shivers:
Trusted Theorem Proving: A Case Study in SLD-Resolution.
ISoLA 2008: 782-796 |
| 12 | EE | Konstantine Arkoudas,
Selmer Bringsjord:
Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task.
PRICAI 2008: 17-29 |
| 11 | EE | Konstantine Arkoudas:
Computation, hypercomputation, and physical science.
J. Applied Logic 6(4): 461-475 (2008) |
| 2007 |
|---|
| 10 | | 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 |
|---|
| 9 | EE | Selmer Bringsjord,
Konstantine Arkoudas,
Paul Bello:
Toward a General Logicist Methodology for Engineering Ethically Correct Robots.
IEEE Intelligent Systems 21(4): 38-44 (2006) |
| 2005 |
|---|
| 8 | EE | Konstantine Arkoudas,
Martin C. Rinard:
Deductive Runtime Certification.
Electr. Notes Theor. Comput. Sci. 113: 45-63 (2005) |
| 7 | EE | Alexandru Salcianu,
Konstantine Arkoudas:
Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses.
Electr. Notes Theor. Comput. Sci. 141(2): 53-68 (2005) |
| 6 | EE | Konstantine Arkoudas:
Simplifying Proofs in Fitch-Style Natural Deduction Systems.
J. Autom. Reasoning 34(3): 239-294 (2005) |
| 2004 |
|---|
| 5 | EE | Konstantine Arkoudas:
Specification, Abduction, and Proof.
ATVA 2004: 294-309 |
| 4 | EE | Konstantine Arkoudas,
Selmer Bringsjord:
Metareasoning for Multi-agent Epistemic Logics.
CLIMA V 2004: 111-125 |
| 3 | EE | Konstantine Arkoudas,
Karen Zee,
Viktor Kuncak,
Martin C. Rinard:
Verifying a File System Implementation.
ICFEM 2004: 373-390 |
| 2 | EE | Selmer Bringsjord,
Konstantine Arkoudas:
The modal argument for hypercomputing minds.
Theor. Comput. Sci. 317(1-3): 167-190 (2004) |
| 2003 |
|---|
| 1 | EE | Konstantine Arkoudas,
Sarfraz Khurshid,
Darko Marinov,
Martin C. Rinard:
Integrating Model Checking and Theorem Proving for Relational Reasoning.
RelMiCS 2003: 21-33 |
