scientific article; zbMATH DE number 1301750
From MaRDI portal
Publication:4246965
zbMATH Open0928.03031MaRDI QIDQ4246965FDOQ4246965
Authors: François Bry, Sunna Torge 
Publication date: 12 January 2000
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 4049135
- Methods for proving completeness via logical reductions
- scientific article; zbMATH DE number 4088977
- scientific article; zbMATH DE number 1323296
- Proving refutational completeness of theorem-proving strategies
- A generalisation of a refutation-related method in paraconsistent logics
- scientific article; zbMATH DE number 7699443
- Publication:4731166
- Complete problems for fixed-point logics
- scientific article; zbMATH DE number 1761886
Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)
Cited In (10)
- Blocking and other enhancements for bottom-up model generation methods
- Theorem proving techniques for view deletion in databases
- A sound and complete model-generation procedure for consistent and confidentiality-preserving databases
- Individual Reuse in Description Logic Reasoning
- Exploring theories with a model-finding assistant
- Using tableau to decide description logics with full role negation and identity
- Refutation systems: an overview and some applications to philosophical logics
- Computing finite models by reduction to function-free clause logic
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
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 Q4246965)
