Konstantine Arkoudas

	2012
19		Konstantine Arkoudas, Akshay Vashist: A model-theoretic approach to data anonymity and inference control. CODASPY 2012: 249-256
	2009
18		Konstantine Arkoudas, Selmer Bringsjord, Sangeet Khemlani: Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic. KEOD 2009: 80-87
17		Konstantine Arkoudas, Selmer Bringsjord: Vivid: A framework for heterogeneous problem solving. Artif. Intell. 173(15): 1367-1405 (2009)
16		Konstantine Arkoudas, Selmer Bringsjord: Propositional Attitudes and Causation. Int. J. Software and Informatics 3(1): 47-65 (2009)
	2008
15		Konstantine Arkoudas, Olin Shivers: Trusted Theorem Proving: A Case Study in SLD-Resolution. ISoLA 2008: 782-796
14		Konstantine Arkoudas, Selmer Bringsjord: Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task. PRICAI 2008: 17-29
13		Konstantine Arkoudas: Computation, hypercomputation, and physical science. J. Applied Logic 6(4): 461-475 (2008)
	2007
12		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
11		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
10		Konstantine Arkoudas, Selmer Bringsjord: Computers, Justification, and Mathematical Knowledge. Minds and Machines 17(2): 185-202 (2007)
	2006
9		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		Konstantine Arkoudas, Martin C. Rinard: Deductive Runtime Certification. Electr. Notes Theor. Comput. Sci. 113: 45-63 (2005)
7		Alexandru Salcianu, Konstantine Arkoudas: Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses. Electr. Notes Theor. Comput. Sci. 141(2): 53-68 (2005)
6		Konstantine Arkoudas: Simplifying Proofs in Fitch-Style Natural Deduction Systems. J. Autom. Reasoning 34(3): 239-294 (2005)
	2004
5		Konstantine Arkoudas: Specification, Abduction, and Proof. ATVA 2004: 294-309
4		Konstantine Arkoudas, Selmer Bringsjord: Metareasoning for Multi-agent Epistemic Logics. CLIMA 2004: 111-125
3		Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard: Verifying a File System Implementation. ICFEM 2004: 373-390
2		Selmer Bringsjord, Konstantine Arkoudas: The modal argument for hypercomputing minds. Theor. Comput. Sci. 317(1-3): 167-190 (2004)
	2003
1		Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard: Integrating Model Checking and Theorem Proving for Relational Reasoning. RelMiCS 2003: 21-33

Coauthor Index

1	Paul Bello	[9]
2	Elizabeth Bringsjord	[11]
3	Selmer Bringsjord	[2] [4] [9] [10] [11] [12] [14] [16] [17] [18]
4	Micah Clark	[12]
5	Micah Henry Clark	[11]
6	Sangeet Khemlani	[18]
7	Sarfraz Khurshid	[1]
8	Viktor Kuncak	[3]
9	Darko Marinov	[1]
10	Deepa Mukherjee	[11]
11	Martin C. Rinard	[1] [3] [8]
12	Alexandru Salcianu	[7]
13	Bettina Schimanski	[12]
14	Andrew Shilliday (Andrew Edward Shilliday)	[11] [12]
15	Olin Shivers	[15]
16	Joshua Taylor	[11] [12]
17	Akshay Vashist	[19]
18	Yingrui Yang	[12]
19	Karen Zee	[3]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page