scientific article; zbMATH DE number 1149406

zbMATH Open0900.68399MaRDI QIDQ4386925FDOQ4386925

Authors: Rachel Ben-Eliyahu 

Publication date: 11 May 1998

Title of this publication is not available (Why is that?)

Recommendations

• Propositional truth maintenance systems: Classification and complexity analysis
• scientific article; zbMATH DE number 176519
• An incremental algorithm for generating all minimal models
• Logic Programming
• On computing minimal models

Mathematics Subject Classification ID

Knowledge representation (68T30) Database theory (68P15)

Cited In (6)

• An incremental algorithm for generating all minimal models
• Reasoning with minimal models: efficient algorithms and applications
• Backdoors to tractable answer set programming
• Realization of stable models with subspace methods
• Specifying causality in action theories: A default logic approach
• Graph-based construction of minimal models

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4386925)