John Etchemendy

According to our database1, John Etchemendy authored at least 13 papers between 1988 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Artificial Intelligence Index Report 2024.
CoRR, 2024

2023
Artificial Intelligence Index Report 2023.
CoRR, 2023

2022
The AI Index 2022 Annual Report.
CoRR, 2022

2021
On the Opportunities and Risks of Foundation Models.
CoRR, 2021

The AI Index 2021 Annual Report.
CoRR, 2021

2013
Online education.
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

2012
Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning.
Proceedings of the Diagrammatic Representation and Inference, 2012

2008
Heterogeneous Reasoning.
Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic.
Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

Openproof - A Flexible Framework for Heterogeneous Reasoning.
Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

2007
A computational architecture for heterogeneous reasoning.
J. Exp. Theor. Artif. Intell., 2007

1993
The language of first-order logic - including the Macintosh version of Tarski's world 4.0, Third Edition.
CSLI lecture notes series 23, CSLI, ISBN: 978-0-937073-99-5, 1993

1988
Tarski on Truth and Logical Consequence.
J. Symb. Log., 1988


  Loading...