The Implementation of a First-Order Logic AGM Belief Revision System.

Simon Dixon, Wayne Wobcke

Browse the full ICTAI paper archive.