A Method of Belief Base Revision for Extended Logic Programs Based on State Transition Diagrams.

Yasuo Kudo, Tetsuya Murai

Browse the full KES paper archive.