scientific article; zbMATH DE number 67452
From MaRDI portal
Publication:4012176
zbMATH Open0745.68087MaRDI QIDQ4012176FDOQ4012176
Authors: Toni Bollinger 
Publication date: 27 September 1992
Title of this publication is not available (Why is that?)
Recommendations
- Publication:3490931
- scientific article; zbMATH DE number 1330425
- A unifying principle for clause elimination in first-order logic
- Generic modal cut elimination applied to conditional logics
- Generic Modal Cut Elimination Applied to Conditional Logics
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
- Computing finite models by reduction to function-free clause logic
- scientific article; zbMATH DE number 1252393
- scientific article; zbMATH DE number 7267155
- scientific article; zbMATH DE number 1500560
Cited In (12)
- An order-sorted logic for knowledge representation systems
- A unifying principle for clause elimination in first-order logic
- Title not available (Why is that?)
- Generalized DEL-Sequents
- Title not available (Why is that?)
- CLP(ℛ) as a general finite element model definition language
- Title not available (Why is that?)
- Generalized resolution and NC-resolution
- QUANTIZED DETECTOR NETWORKS: A REVIEW OF RECENT DEVELOPMENTS
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
- Linear and unit-resulting refutations for Horn theories
- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison
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 Q4012176)
