John Etchemendy

According to our database, John Etchemendy authored at least 12 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Artificial Intelligence Index Report 2023.

Nestor Maslej, Loredana Fattorini, Erik Brynjolfsson, John Etchemendy, Katrina Ligett, Terah Lyons, James Manyika, Helen Ngo, Juan Carlos Niebles, Vanessa Parli, Yoav Shoham, Russell Wald, Jack Clark, C. Raymond Perrault

CoRR, 2023

2022

The AI Index 2022 Annual Report.

Daniel Zhang, Nestor Maslej, Erik Brynjolfsson, John Etchemendy, Terah Lyons, James Manyika, Helen Ngo, Juan Carlos Niebles, Michael Sellitto, Ellie Sakhaee, Yoav Shoham, Jack Clark, C. Raymond Perrault

CoRR, 2022

2021

On the Opportunities and Risks of Foundation Models.

Rishi Bommasani, Drew A. Hudson, Ehsan Adeli, Russ B. Altman, Simran Arora, Sydney von Arx, Michael S. Bernstein, Jeannette Bohg, Antoine Bosselut, Emma Brunskill, Erik Brynjolfsson, Shyamal Buch, Dallas Card, Rodrigo Castellon, Niladri S. Chatterji, Annie S. Chen, Kathleen Creel, Jared Quincy Davis, Dorottya Demszky, Chris Donahue, Moussa Doumbouya, Esin Durmus, Stefano Ermon, John Etchemendy, Kawin Ethayarajh, Li Fei-Fei, Chelsea Finn, Trevor Gale, Lauren Gillespie, Karan Goel, Noah D. Goodman, Shelby Grossman, Neel Guha, Tatsunori Hashimoto, Peter Henderson, John Hewitt, Daniel E. Ho, Jenny Hong, Kyle Hsu, Jing Huang, Thomas Icard, Saahil Jain, Dan Jurafsky, Pratyusha Kalluri, Siddharth Karamcheti, Geoff Keeling, Fereshte Khani, Omar Khattab, Pang Wei Koh, Mark S. Krass, Ranjay Krishna, Rohith Kuditipudi, et al.

CoRR, 2021

The AI Index 2021 Annual Report.

Daniel Zhang, Saurabh Mishra, Erik Brynjolfsson, John Etchemendy, Deep Ganguli, Barbara J. Grosz, Terah Lyons, James Manyika, Juan Carlos Niebles, Michael Sellitto, Yoav Shoham, Jack Clark, C. Raymond Perrault

CoRR, 2021

2013

Online education.

John Etchemendy

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.

Dave Barker-Plummer, John Etchemendy, Michael D. Murray, Emma Pease, Nik Swoboda

Proceedings of the Diagrammatic Representation and Inference, 2012

2008

Heterogeneous Reasoning.

John Etchemendy

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

Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic.

Richard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer

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

Openproof - A Flexible Framework for Heterogeneous Reasoning.

Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael D. Murray, Nik Swoboda

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

2007

A computational architecture for heterogeneous reasoning.

Dave Barker-Plummer, John Etchemendy

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.

Jon Barwise, John Etchemendy

CSLI lecture notes series 23, CSLI, ISBN: 978-0-937073-99-5, 1993

1988

Tarski on Truth and Logical Consequence.

John Etchemendy

J. Symb. Log., 1988