Publications of Konstantine Arkoudas

Refereed publications (journals, conferences, and book chapters)

• Computation, Hypercomputation, and Physical Science
  Konstantine Arkoudas
  Journal of Applied Logic,
  vol. 6, 2008, pp. 461-475
  
  
• Philosophical Foundations of Artificial Intelligence
  Selmer Bringsjord, Konstantine Arkoudas
  To appear in The Cambridge Handbook of Artificial Intelligence,
  Cambridge University Press, 2010, (edited by B. Ramsey and K. Frankish).
  
  
• Computers, Justification, and Mathematical Knowledge
  Konstantine Arkoudas, Selmer Bringsjord
  Minds and Machines, vol. 17, no. 4, 2007, pp. 185-202.
  
  
• Reporting on Some Logic-Based Machine-Reading Research
  Selmer Bringsjord, Konstantine Arkoudas, Micah Clark, Andrew Shilliday,
  Joshua Taylor, Bettina Schimanksi, Yingrui Yang
  Machine Reading: Papers from the AAAI Spring Symposium
  Technical Report, SS-07-06, 2007, pp. 23--28.
  
  
• The multi-mind effect
  Selmer Bringsjord, Konstantine Arkoudas, Deepa Mukherjee,
  Andew Shilliday, Joshua Taylor, Micah Clark
  Proceedings of the 2007 International Conference on Artificial Intelligence,
  (CSREA Press), 2007, pp. 13-19.
  
  
• Harnessing Intelligent Agents to Super-Teach Reasoning
  Selmer Bringsjord, Andew Shilliday, Joshua Taylor,
  Paul Bello, Yingrui Yang, Konstantine Arkoudas
  International Journal of Technology in Teaching and Learning,
  vol. 2, no. 2, 2006, pp. 88-116.
  
  
• Toward a General Logicist Methodology for Engineering Ethically Correct Robots
  Selmer Bringsjord, Konstantine Arkoudas, Paul Bello
  IEEE Journal of Intelligent Systems,
  vol. 21, no. 4, 2006, pp. 38-44.
  
  
• On the Provability, Veracity, and Relevance of Church's Thesis
  Selmer Bringsjord, Konstantine Arkoudas
  book chapter in Church's Thesis After 70 Years,
  edited by A. Olszewski, J. Wolenski, and R. Janusz, 2006, pp. 66-119.
  
  
• Simplifying proofs in Fitch-style natural deduction systems
  Konstantine Arkoudas<
  Journal of Automated Reasoning, vol. 34, no. 3, 2005, pp. 239-294.
  
  
• Advanced Synthetic Characters, Evil, and E
  Selmer Bringsjord, Sangeet Khemlani, Konstantine Arkoudas,
  Chris McEvoy, Marc Destefano, Matthew Daigle
  Proceedings of the Sixth annual European Game-On
  Conference on Simulation and AI in Computer Games
  2005, pp. 31-39 (Best Paper Award).
  
  
• Towards ethical robots via mechanized deontic logic
  Konstantine Arkoudas, Selmer Bringsjord, Paul Bello
  AAAI Fall Symbosium 2005, November 2005 ( AAAI-FSS 2005 ),
  Details
  
  
• Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses
  Alexander Salcianu, Konstantine Arkoudas
  Compiler Optimization meets Compiler Verification ( COCV 2005 ), in conjunction with ( ETAPS 2005 ), April 2005, Edinburgh, Scotland
  Details
  
  
• Specification, abduction, and proof
  Konstantine Arkoudas
  2nd International Symposium on Automated Technology for Verification and Analysis, National Taiwan University, October 2004 (ATVA 2004)
  Details
  
  
• Verifying a File System Implementation
  Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin Rinard
  Sixth International Conference on Formal Engineering Methods (ICFEM 2004)
  Details
  
  
• Metareasoning for multi-agent epistemic logic
  Konstantine Arkoudas, Selmer Bringsjord
  Fifth Workshop on Computational Logic in Multi-Agent Systems (CLIMA V, 2004)
  Details
  
  
• Deductive Runtime Verification
  Konstantine Arkoudas, Martin Rinard
  2004 Workshop on Runtime Verification (RV 2004)
  Details
  
  
• Integrating model checking and theorem proving for relational reasoning
  Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin Rinard
  7th International Seminar on Relational Methods in Computer Science (RelMiCS 2003)
  Details
  
  
• The modal argument for hypercomputing minds
  Selmer Bringsjord, Konstantine Arkoudas
  Journal of Theoretical Computer Science, vol. 317, no. 1-3, pages 167-190, 2004.
  Details
  
  
• Introducing Chogic: A Primitive Part of the MARMML Machine Reasoning System
  K. Arkoudas, S. Bringsjord, Y. Yang, P. Bello
  European Computation and Philosophy (ECAP) Conference, Pavia, Italy, 2004
  
  
• Walther Recursion
  David McAllester, K. Arkoudas
  13th Conference on Automated Deduction (CADE), 1996, pages 643-657.
  Details