Search results for "Etchemendy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
37	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	Artificial Intelligence Index Report 2023.	CoRR	2023	DBLP DOI BibTeX RDF
37	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	The AI Index 2022 Annual Report.	CoRR	2022	DBLP DOI BibTeX RDF
37	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	The AI Index 2021 Annual Report.	CoRR	2021	DBLP BibTeX RDF
37	Rishi Bommasani, Drew A. Hudson, Ehsan Adeli 0001, 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 0001, Chelsea Finn, Trevor Gale, Lauren Gillespie, Karan Goel, Noah D. Goodman, Shelby Grossman, Neel Guha, Tatsunori Hashimoto, Peter Henderson 0002, 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.	On the Opportunities and Risks of Foundation Models.	CoRR	2021	DBLP BibTeX RDF
37	Cristina Botella, Rosa María Baños, Ernestina Etchemendy, Azucena García-Palacios, Mariano Alcañiz Raya	Psychological countermeasures in manned space missions: "EARTH" system for the Mars-500 project.	Comput. Hum. Behav.	2016	DBLP DOI BibTeX RDF
37	Macarena Espinoza, Ernestina Etchemendy, Luis Farfallini, Cristina Botella, Rosa María Baños	A Positive Technology System for the Promotion of Well-Being: From the Lab to the Hospital Setting.	MindCare	2015	DBLP DOI BibTeX RDF
37	Giulia Corno, Guadalupe Molinari, Macarena Espinoza, Rocio Herrero, Ernestina Etchemendy, Alba Carrillo Vega, Rosa María Baños	An Innovative Online Positive Psychology Training Addressed to Pregnant Youth.	MindCare	2015	DBLP DOI BibTeX RDF
37	Diana Castilla, Azucena García-Palacios, Juana Bretón-López, Ignacio Miralles, Rosa María Baños, Ernestina Etchemendy, Luis Farfallini, Cristina Botella	Process of design and usability evaluation of a telepsychology web and virtual reality system for the elderly: Butler.	Int. J. Hum. Comput. Stud.	2013	DBLP DOI BibTeX RDF
37	John Etchemendy	Online education.	SIGCSE	2013	DBLP DOI BibTeX RDF
37	Rosa María Baños, Ernestina Etchemendy, Diana Castilla, Azucena García-Palacios, Soledad Quero, Cristina Botella	Positive mood induction procedures for virtual environments designed for elderly people.	Interact. Comput.	2012	DBLP DOI BibTeX RDF
37	Rosa María Baños, Cristina Botella, Ernestina Etchemendy, Luis Farfallini	EARTH of Wellbeing: A Place to Live Positive Emotions.	Annual Review of Cybertherapy and Telemedicine	2012	DBLP DOI BibTeX RDF
37	Dave Barker-Plummer, John Etchemendy, Michael D. Murray, Emma Pease, Nik Swoboda	Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning.	Diagrams	2012	DBLP DOI BibTeX RDF
37	Ernestina Etchemendy, Rosa María Baños, Cristina Botella, Diana Castilla, Mariano Alcañiz Raya, Paloma Rasal, Luis Farfallini	An e-health platform for the elderly population: The butler system.	Comput. Educ.	2011	DBLP DOI BibTeX RDF
37	Cristina Botella, Ernestina Etchemendy, Diana Castilla, Rosa María Baños, Azucena García-Palacios, Soledad Quero, Mariano Alcañiz Raya, José Antonio Lozano 0002	An e-Health System for the Elderly (Butler Project): A Pilot Study on Acceptance and Satisfaction.	Cyberpsychology Behav. Soc. Netw.	2009	DBLP DOI BibTeX RDF
37	Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael D. Murray, Nik Swoboda	Openproof - A Flexible Framework for Heterogeneous Reasoning.	Diagrams	2008	DBLP DOI BibTeX RDF
37	Richard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer	Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic.	Diagrams	2008	DBLP DOI BibTeX RDF	natural language, first-order logic, errors, graphical representations
37	John Etchemendy	Heterogeneous Reasoning.	Diagrams	2008	DBLP DOI BibTeX RDF
37	Dave Barker-Plummer, John Etchemendy	A computational architecture for heterogeneous reasoning.	J. Exp. Theor. Artif. Intell.	2007	DBLP DOI BibTeX RDF
37	Jon Barwise, John Etchemendy	The language of first-order logic - including the Macintosh version of Tarski's world 4.0, Third Edition.		1993	RDF
37	John Etchemendy	Tarski on Truth and Logical Consequence.	J. Symb. Log.	1988	DBLP DOI BibTeX RDF
36	Robert Charles Koons	The Logic of Causal Explanation An Axiomatization.	Stud Logica	2004	DBLP DOI BibTeX RDF	causal explanation, strong Kleene, Quine, Kim, Davidson, Barwise, Etchemendy, facta, causal relata, actuality, truth-makers, ontology, modal logic, events, modality, three-valued logic, mereology, facts, causation, situation theory
26	Li Li, Robert C. Koons, Jianjun Zhang	From the Logical Point of View: The Chain Store Paradox Revisited.	LORI	2009	DBLP DOI BibTeX RDF	Selten chainstore paradox, belief revision, situation theory
26	Nik Swoboda, Gerard Allwein	Modeling Heterogeneous Systems.	Diagrams	2002	DBLP DOI BibTeX RDF
26	Keith Stenning	Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems.	Diagrams	2000	DBLP DOI BibTeX RDF
26	Keith Stenning	Jon Barwise: A Heterogeneous Appreciation.	Diagrams	2000	DBLP DOI BibTeX RDF