参考文献

1

Gelfond, M. and Lifschitz, V. Representing Action and Change by Logic Programs. Journal of Logic Programming, 17(2,3,4):301--321, 1993.

2

井上 克已，壷内 敬吾，山本 友和. 高度問題解決のための推論プログラムの開発 --- アブダクティブ論理プログラミング処理系の開発（平成7年度委託研究報告書）. 豊橋技術科学大学工学部, 1996.

3

Kartha, G. N. and Lifschitz, V. Actions with indirect effects (preliminary report). In: Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, pages 341--350, 1994.

4

Turner, H. Representing Actions in Logic Programs and Default Theories. Journal of Logic Programming, to appear, 1997.