Deriving invariants and constraints from action theories

Authors:
Yan Zhang;Norman Y. Foo
Affiliations:
-;-
Venue:
Fundamenta Informaticae
Year:
1997

Citing 0
Cited 3

Compiling causal theories to successor state axioms and STRIPS-like systems

Journal of Artificial Intelligence Research
System properties of action theories

AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Constraints from STRIPS — preliminary report

AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract