Keith Devlin

15 papers Misc 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2018 J jnl
The Development of Data Science: Implications for Education, Employment, Research, and the Data Revolution for Sustainable Development.
Big Data Cogn. Comput.
Fionn Murtagh, Keith Devlin
2017 — conf
Modeling the Resituation of Memory in Neurobiology and Narrative.
AAAI Spring Symposia
Beth Cardier, Larry D. Sanford, H. Ted Goranson, Patric S. Lundberg, Richard P. Ciavarra, Keith Devlin, Niccolo Cassas, Alessio Erioli
2015 J jnl
Editorial: is Game-Based Math Learning Finally Coming of Age?
Int. J. Serious Games
Kristian Juha Mikael Kiili, Keith Devlin, Jari Multisilta
2015 J jnl
Using video games to combine learning and assessment in mathematics education.
Int. J. Serious Games
Kristian Juha Mikael Kiili, Keith Devlin, Arttu Perttula, Pauliina Tuomi, Antero Lindstedt
2009 — conf
Modeling Real Reasoning.
Formal Theories of Information
Keith Devlin
2006 — ch.
Situation theory and situation semantics.
Logic and the Modalities in the Twentieth Century
Keith Devlin
2004 J jnl
Jon Barwise's papers on natural language semantics.
Bull. Symb. Log.
Keith Devlin
2003 J jnl
Introduction.
Commun. ACM
Keith Devlin
2001 J jnl
The real reason why software engineers need math.
Commun. ACM
Keith Devlin
2000 Misc conf
The Role of Conceptual Structure in Human Evolution.
ICCS
Keith Devlin
1998 J jnl
Information flow: the logic of distributed systems by Jon Barwise and Jerry Seligman.
Complex.
Keith Devlin
1996 — book
Language at work - analyzing communication in the workplace to inform systems design.
Keith Devlin, Duska Rosenberg
1992 — conf
Situation Theory and Social Structure.
Logic at Work
Keith Devlin
1991 — book
Logic and information.
Keith Devlin
1982 J jnl
The Combinatorial Principle.
J. Symb. Log.
Keith Devlin