A logical and operational model of scalable knowledge- and perception-based agents

This publication has 7 references indexed in Scilit:

• An introduction to assertional reasoning for concurrent systems
  ACM Computing Surveys, 1993
• Agent-oriented programming
  Artificial Intelligence, 1993
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• The architecture of an active database management system
  Published by Association for Computing Machinery (ACM) ,1989
• A Useful Four-Valued Logic
  Published by Springer Nature ,1977
• Strips: A new approach to the application of theorem proving to problem solving
  Artificial Intelligence, 1971
• An axiomatic basis for computer programming
  Communications of the ACM, 1969