Highly Influenced

# (De)Composition of Situation Calculus Theories

@inproceedings{Amir2000DeCompositionOS, title={(De)Composition of Situation Calculus Theories}, author={Eyal Amir}, booktitle={AAAI/IAAI}, year={2000} }

- Published 2000 in AAAI/IAAI

We show that designing large situation calculus theories can be simplified by using object-oriented techniques and tools together with established solutions to the frame problem. Situation calculus (McCarthy & Hayes 1969) is one of the leading logical representations for action and change, but large situation calculus theories are not easy to design and maintain, nor are they flexible for extension or reuse. However, we wish to use it to represent large, complex domains. To address this problemâ€¦Â CONTINUE READING

Highly Cited

This paper has 26 citations. REVIEW CITATIONS

#### From This Paper

##### Figures, tables, and topics from this paper.

17 Citations

23 References

Similar Papers