Paper

Belief Base Revision for Further Improvement of Unified Answer Set Programming

A belief base revision is developed. The belief base is represented using Unified Answer Set Programs which is capable of representing imprecise and uncertain information and perform nonomonotonic reasoning with them. The base revision operator is developed using Removed Set Revision strategy. The operator is characterized with respect to the postulates for base revisions operator satisfies.

Results in Papers With Code
(↓ scroll down to see all results)