Ken Kahn

ORCID: 0000-0002-8208-7423
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Teaching and Learning Programming
  • Logic, programming, and type systems
  • Logic, Reasoning, and Knowledge
  • Parallel Computing and Optimization Techniques
  • AI-based Problem Solving and Planning
  • Educational Games and Gamification
  • Semantic Web and Ontologies
  • Distributed systems and fault tolerance
  • Innovative Teaching and Learning Methods
  • Advanced Database Systems and Queries
  • Constraint Satisfaction and Optimization
  • Human Motion and Animation
  • Augmented Reality Applications
  • Open Education and E-Learning
  • Multi-Agent Systems and Negotiation
  • Model-Driven Software Engineering Techniques
  • Mathematics Education and Teaching Techniques
  • Software Engineering Research
  • Artificial Intelligence in Games
  • Formal Methods in Verification
  • Spreadsheets and End-User Computing
  • Computability, Logic, AI Algorithms
  • Online Learning and Analytics
  • Software Testing and Debugging Techniques
  • Computer Graphics and Visualization Techniques

University of Oxford
2010-2022

Genomics (United Kingdom)
2018-2019

University College London
2007-2016

University of London
2004-2011

Birkbeck, University of London
2009

Science Oxford
2007

RCVS Knowledge
2005-2006

Institute for Research in Schools
2006

University of Essex
2004

Palo Alto Research Center
1986-2002

Although individual use of computers is fairly widespread, in meetings we tend to leave them behind. At Xerox PARC, an experimental meeting room called the Colab has been created study computer support collaborative problem solving face-to-face meetings. The long-term goal understand how build tools make more effective.

10.1145/7885.7887 article EN Communications of the ACM 1987-01-01

CommonLoops blends object-oriented programming smoothly and tightly with the procedure-oriented design of Lisp. Functions methods are combined in a more general abstraction. Message passing is invoked via normal Lisp function call. Methods viewed as partial descriptions procedures. data types integrated object classes. With these integrations, it easy to incrementally move program between procedure styles. One most important properties its extensive use meta-objects. We discuss three kinds...

10.1145/960112.28700 article EN ACM SIGPLAN Notices 1986-06-01

10.1016/0004-3702(77)90015-7 article EN Artificial Intelligence 1977-08-01

Abstract Constructionism, long before it had a name, was intimately tied to the field of Artificial Intelligence. Soon after birth Logo at BBN, Seymour Papert set up Group as part MIT AI Lab. based upon Lisp, first prominent programming language. Many early activities involved natural language processing, robotics, artificial game players, and generating poetry, art, music. In 1970s researchers explored enhancements support by children. 1980s Prolog community, inspired Logo's successes,...

10.1111/bjet.13088 article EN cc-by-nc British Journal of Educational Technology 2021-05-01

10.1006/jvlc.1996.0011 article EN Journal of Visual Languages & Computing 1996-06-01

The Loops knowledge programming system integrates function-oriented, object-oriented, rule-oriented, and—something notfound in most other systems—access-oriented programming.

10.1109/ms.1986.232428 article EN IEEE Software 1986-01-01

The theory and methods for a completely visual formalism programs their executions are presented. appearance, not the construction, describes programs, data, states of execution. Programs, model execution, execution traces visualized in same pictorial terms. A list advantages this is given. case study using Janus language presented.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>

10.1109/wvl.1990.128375 article EN 2002-12-04

Logo is more than a programming language. It learning environment where children explore mathematical ideas and create projects of their own design. Logo, the first computer language explicitly designed for children, was invented by Seymour Papert, Wallace Feurzeig, Daniel Bobrow, Cynthia Solomon in 1966 at Bolt, Beranek Newman, Inc. (BBN). Logo’s design drew upon two theoretical frameworks: Jean Piaget’s constructivism Marvin Minsky’s artificial intelligence research MIT. One foundational...

10.1145/3386329 article EN Proceedings of the ACM on Programming Languages 2020-06-12

Abstract Religion is, at the very least, a highly complex social phenomenon. The theories we use to understand religion – and sociocultural systems more generally are often so that even experts in field may not be able see all their consequences. Social simulations can help us communicate consequences of theory, provided describe theory with sufficient precision comprehensiveness order run it on computer. In this article demonstrate benefits simulating predictions well-known Cognitive...

10.1080/2153599x.2012.691033 article EN Religion Brain & Behavior 2012-09-11

article Objects in concurrent logic programming languages Share on Authors: Kenneth Kahn Knowledge Systems Area, Intelligent System Laboratory, Xerox Palo Alto Research Center CenterView Profile , Eric Dean Tribble Mark S. Miller Daniel G. Bobrow Authors Info & Claims ACM SIGPLAN NoticesVolume 21Issue 10Oct. 1986 pp 29–38https://doi.org/10.1145/323648.323739Online:01 June 1986Publication History 5citation217DownloadsMetricsTotal Citations5Total Downloads217Last 12 Months2Last 6 weeks1 Get...

10.1145/323648.323739 article EN ACM SIGPLAN Notices 1986-06-01

article Free AccessDrawings on napkins, video-game animation, and other ways to program computers Author: Ken Kahn 1748 Monticello Road, San Mateo, CA CAView Profile Authors Info & Claims Communications of the ACMVolume 39Issue 8Aug. 1996 pp 49–59https://doi.org/10.1145/232014.232028Published:01 August 1996Publication History 27citation1,413DownloadsMetricsTotal Citations27Total Downloads1,413Last 12 Months130Last 6 weeks16 Get Citation AlertsNew Alert added!This alert has been successfully...

10.1145/232014.232028 article EN Communications of the ACM 1996-08-01

Saraswat recently introduced the framework of concurrent constraint programming [14]. The essence is that computations consist agents interacting by communicating constraints. Several languages have been defined. They differ in kinds constraints can be used as well operations on which are available. In this paper we introduce a very simple language call Lucy, designed to closely mimic actor model computation. Agents communicate only posting upon bags (un-ordered collections possibly with...

10.1145/97945.97955 article EN 1990-01-01

Abstract A cell's phenotype is the set of observable characteristics resulting from interaction genotype with surrounding environment, determining cell behavior. Deciphering genotype-phenotype relationships has been crucial to understanding normal and disease biology. Analysis molecular pathways provided an invaluable tool such understanding; however, typically it does not consider physical microenvironment, which a key determinant phenotype. In this study, we present novel modeling...

10.1093/gigascience/giz010 article EN cc-by GigaScience 2019-01-31

Knowledge bases built in object-oriented systems use networks of interconnected objects their representations. The mechanism described here provides a way to such network as prototype by making virtual copies it. copy is created incrementally. Values instance variables the are inherited from until locally overridden copy, similar inheritance defaults between instances and classes Loops. A preserves topology original network. Virtual can be made copies. Alternative implementations allow...

10.1145/960112.28713 article EN ACM SIGPLAN Notices 1986-06-01
Coming Soon ...