Konstantine Arkoudas Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantine Arkoudas, Akshay Vashist: A model-theoretic approach to data anonymity and inference control. CODASPY 2012: 249-256
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantine Arkoudas, Shoshana Loeb, Ritu Chadha, C. Jason Chiang, Keith Whittaker: Automated Policy Analysis. POLICY 2012: 1-8
2009
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantine Arkoudas, Selmer Bringsjord: Vivid: A framework for heterogeneous problem solving. Artif. Intell. 173(15): 1367-1405 (2009)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantine Arkoudas, Selmer Bringsjord: Propositional Attitudes and Causation. Int. J. Software and Informatics 3(1): 47-65 (2009)
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantine Arkoudas, Selmer Bringsjord, Sangeet Khemlani: Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic. KEOD 2009: 80-87
2008
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantine Arkoudas: Computation, hypercomputation, and physical science. J. Applied Logic 6(4): 461-475 (2008)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantine Arkoudas, Olin Shivers: Trusted Theorem Proving: A Case Study in SLD-Resolution. ISoLA 2008: 782-796
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantine Arkoudas, Selmer Bringsjord: Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task. PRICAI 2008: 17-29
2007
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantine Arkoudas, Selmer Bringsjord: Computers, Justification, and Mathematical Knowledge. Minds and Machines 17(2): 185-202 (2007)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Selmer Bringsjord, Konstantine Arkoudas, Micah Clark, Andrew Shilliday, Joshua Taylor, Bettina Schimanski, Yingrui Yang: Reporting on Some Logic-Based Machine Reading Research. AAAI Spring Symposium: Machine Reading 2007: 23-28
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantine Arkoudas, Martin C. Rinard: Deductive Runtime Certification. Electr. Notes Theor. Comput. Sci. 113: 45-63 (2005)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexandru Salcianu, Konstantine Arkoudas: Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses. Electr. Notes Theor. Comput. Sci. 141(2): 53-68 (2005)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantine Arkoudas: Simplifying Proofs in Fitch-Style Natural Deduction Systems. J. Autom. Reasoning 34(3): 239-294 (2005)
2004
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Selmer Bringsjord, Konstantine Arkoudas: The modal argument for hypercomputing minds. Theor. Comput. Sci. 317(1-3): 167-190 (2004)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantine Arkoudas: Specification, Abduction, and Proof. ATVA 2004: 294-309
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantine Arkoudas, Selmer Bringsjord: Metareasoning for Multi-agent Epistemic Logics. CLIMA 2004: 111-125
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard: Verifying a File System Implementation. ICFEM 2004: 373-390
2003
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard: Integrating Model Checking and Theorem Proving for Relational Reasoning. RelMiCS 2003: 21-33

Coauthor Index

1Paul Bello
[j5]
2Elizabeth Bringsjord
[c5]
3Selmer Bringsjord
[j9] [j8] [c9] [c7] [j6] [c6] [c5] [j5] [j1] [c3]
4Ritu Chadha
[c10]
5C. Jason Chiang
[c10]
6Micah Clark
[c6]
7Micah Henry Clark
[c5]
8Sangeet Khemlani
[c9]
9Sarfraz Khurshid
[c1]
10Viktor Kuncak
[c2]
11Shoshana Loeb
[c10]
12Darko Marinov
[c1]
13Deepa Mukherjee
[c5]
14Martin C. Rinard
[j4] [c2] [c1]
15Alexandru Salcianu
[j3]
16Bettina Schimanski
[c6]
17Andrew Shilliday (Andrew Edward Shilliday)
[c6] [c5]
18Olin Shivers
[c8]
19Joshua Taylor
[c6] [c5]
20Akshay Vashist
[c11]
21Keith Whittaker
[c10]
22Yingrui Yang
[c6]
23Karen Zee
[c2]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 07:58:07 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page