scientific article; zbMATH DE number 67452
From MaRDI portal
Publication:4012176
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
- Generalized DEL-Sequents
- A unifying principle for clause elimination in first-order logic
- Generalized resolution and NC-resolution
- scientific article; zbMATH DE number 2169302 (Why is no real title available?)
- scientific article; zbMATH DE number 1330425 (Why is no real title available?)
- QUANTIZED DETECTOR NETWORKS: A REVIEW OF RECENT DEVELOPMENTS
- scientific article; zbMATH DE number 7267155 (Why is no real title available?)
- Linear and unit-resulting refutations for Horn theories
- CLP(ℛ) as a general finite element model definition language
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
- 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)
