Maintenance goals of agents in a dynamic environment: Formulation and policy construction
- 31 August 2008
- journal article
- Published by Elsevier BV in Artificial Intelligence
- Vol. 172 (12-13), 1429-1469
- https://doi.org/10.1016/j.artint.2008.03.005
Abstract
No abstract availableKeywords
This publication has 38 references indexed in Scilit:
- The DLV system for knowledge representation and reasoningACM Transactions on Computational Logic, 2006
- Complexity and expressive power of logic programmingACM Computing Surveys, 2001
- Representing actions: Laws, observations and hypothesesThe Journal of Logic Programming, 1997
- Closure and convergence: a foundation of fault-tolerant computingIEEE Transactions on Software Engineering, 1993
- On uniformity within NC1Journal of Computer and System Sciences, 1990
- Action and planning in embedded agentsRobotics and Autonomous Systems, 1990
- Realizable and unrealizable specifications of reactive systemsLecture Notes in Computer Science, 1989
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984
- Self-stabilizing systems in spite of distributed controlCommunications of the ACM, 1974
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1972