Sciweavers

AAAI
2000

A Demand-Driven Algorithm for Generating Minimal Models

13 years 5 months ago
A Demand-Driven Algorithm for Generating Minimal Models
The task of generating minimal models of a knowledge base is a significant computational problem in artificial intelligence. This task is at the computational heart of diagnosis systems like truth maintenance systems, and of nonmonotonic systems like autoepistemic logic, default logic, and disjunctive logic programs. Unfortunately, it is NP-hard. In this paper we present a hierarchy of classes of knowledge bases,
Rachel Ben-Eliyahu-Zohary
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2000
Where AAAI
Authors Rachel Ben-Eliyahu-Zohary
Comments (0)