|
|
Using Message Passing Instead of the GOTO Construct
– Carl Hewitt, Carl Hewitt
- 1978
|
|
38
|
A model for deliberation, action, and introspection
– Jon Doyle
- 1980
|
|
64
|
Scheme: An interpreter for extended lambda calculus
– Gerald Jay Sussman, Guy L Steele Jr.
- 1975
|
|
6
|
Dynamic Graphics using Quasi Parallelism
– Kenneth M. Kahn, Carl Hewitt
- 1978
|
|
28
|
Representing Knowledge of Large-Scale Space
– Benjamin Jack Kuipers
- 1977
|
|
198
|
A Foundation for Actor Computation
– Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
- 1998
|
|
13
|
Foundations of a Theory of Specification for Distributed Systems
– Eugene W. Stark, Eugene William Stark, Of Teghnology
- 1984
|
|
4
|
Developing Formally Verified Ada Programs
– Norman Ramsey
- 1988
|
|
58
|
The Logical Modelling of Computational Multi-Agent Systems
– Michael John Wooldridge
- 1992
|
|
|
Role Transfer for Robot Tasking
– Paul Fitzpatrick
- 2002
|
|
7
|
A Multi-Agent Planner for Modelling Dialogue
– A. Taylor
- 1994
|
|
1
|
Reasoning about Beliefs: An Inference Network Approach
– Boon Toh Low, Boon Toh, Tang Tong-gao, Abhaya Nayak, Rex Kwok, David Stirling
- 1994
|
|
3
|
Learning as Knowledge Integration
– Kenneth S. Murray
- 1995
|
|
3
|
Hierarchical Reinforcement Learning: A Hybrid Approach
– Malcolm Ross Kinsella Ryan
- 2002
|
|
1
|
A.: Definition and correct refinement of operation specification
– Thomas Baar, Frédéric Fondement, Alfred Strohmeier, École Polytechnique
- 2006
|
|
2
|
Scalable specification and reasoning: Technical challenges for program logic
– Peter W. O’Hearn
- 2005
|
|
|
Floyd-Hoare Verifiers 'Considered Harmful'
– Howard E. Shrobe
- 1978
|
|
6
|
Strengthening eiffel contracts using models
– Bernd Schoeller
- 2003
|
|
1
|
A Concurrent, Hierarchical approach to Symbolic Dynamic Scene Interpretation
– Sandy Dance, Terry Caelli, Zhi-qiang Liu
- 1996
|
