Lorena Chavarría-Báez, Xiaoou Li. ECAPNVer: A Software Tool to Verify Active Rule Bases. In 22nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2010, Arras, France, 27-29 October 2010 - Volume 2. pages 138-141, IEEE Computer Society, 2010. [doi]
Abstract is missing.