scientific article; zbMATH DE number 1149406

MaRDI QIDQ4386925zbMATH OpenFDO

Authors Rachel Ben-Eliyahu

Publication date 11 May 1998

Mathematics Subject Classification ID

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

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

(7)

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

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)