- 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.
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...
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,...
The Loops knowledge programming system integrates function-oriented, object-oriented, rule-oriented, and—something notfound in most other systems—access-oriented programming.
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">></ETX>
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...
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...
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...
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...
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...
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...
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...