scientific article; zbMATH DE number 1149406

MaRDI QIDQ4386925zbMATH OpenFDO

Authors Rachel Ben-Eliyahu

Publication date 11 May 1998

Mathematics Subject Classification ID

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

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

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)