Control of inconsistency and redundancy in Prolog-type knowledge bases

• Authors:

• Thomas J. Murray;Mohan R. Tanniru

• Affiliations:

• Syracuse Univ., Syracuse, NY;Syracuse Univ., Syracuse, NY

• Venue:
• Proceedings of the Twenty-First Annual Hawaii International Conference on Decision Support and Knowledge Based Systems Track
• Year:
• 1988