Knowledge-based situated agents among us a preliminary report

This publication has 13 references indexed in Scilit:

• A survey of concurrent MetateM — The language and its applications
  Published by Springer Nature ,2005
• A theory of diagnosis from first principles
  Published by Elsevier ,2003
• A knowledge-theoretic semantics for concurrent MetateM
  Published by Springer Nature ,1997
• A deliberative and reactive diagnosis agent based on logic programming
  Published by Springer Nature ,1997
• On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations
  Logic Journal of the IGPL, 1995
• REVISE: An Extended Logic Programming System for Revising Knowledge Bases
  Published by Elsevier ,1994
• Internalized plans: A representation for action resources
  Robotics and Autonomous Systems, 1990
• On the Declarative Semantics of Deductive Databases and Logic Programs
  Published by Elsevier ,1988
• Counterfactuals
  Artificial Intelligence, 1986
• On the logic of theory change: Partial meet contraction and revision functions
  The Journal of Symbolic Logic, 1985