Sciweavers

ICTAI
1993
IEEE

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

15 years 28 days ago
The Implementation of a First-Order Logic AGM Belief Revision System
Simon Dixon, Wayne Wobcke
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1993
Where ICTAI
Authors Simon Dixon, Wayne Wobcke
Comments (0)