scientific article; zbMATH DE number 1696822

MaRDI QIDQ2767089zbMATH OpenFDO

Authors Michael Dierkes

Publication date 28 January 2002

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Using resolution for testing modal satisfiability and building models
• Using resolution for testing modal satisfiability and building models
• Decidability Results for Saturation-Based Model Building
• Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
• Guarded resolution for answer set programming
• A model of guarded recursion via generalised equilogical spaces
• A model-constructing satisfiability calculus
• scientific article; zbMATH DE number 1765670
• scientific article; zbMATH DE number 1303345
• Computational Space Efficiency and Minimal Model Generation for Guarded Formulae

Cited in

(7)

• Hyperresolution for guarded formulae
• Deciding the guarded fragments by resolution
• Computational Space Efficiency and Minimal Model Generation for Guarded Formulae
• scientific article; zbMATH DE number 1303345 (Why is no real title available?)
• scientific article; zbMATH DE number 1405457 (Why is no real title available?)
• Decidability Results for Saturation-Based Model Building
• Automated Reasoning

Describes a project that uses

Uses Software

• SCOTT

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 Q2767089)