scientific article; zbMATH DE number 67457

zbMATH Open0745.68095MaRDI QIDQ4012182FDOQ4012182

Authors: Katsumi Inoue 

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

Recommendations

• Linear resolution for consequence finding
• A resolution principle for constrained logics
• SOLAR: a consequence finding system for advanced reasoning
• SOLAR: An automated deduction system for consequence finding
• Consequence finding algorithms

zbMATH Keywords

consequence-findingSOL-resolution

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Mechanization of proofs and logical operations (03B35)

Cited In (9)

• How to produce information about a given entity using automated deduction methods
• Merging regulations: Analysis of a practical example
• Special issue: Data and knowledge fusion. Part 2 of 2
• SOLAR: a consequence finding system for advanced reasoning
• Conjunctive abstract interpretation using paramodulation
• Linear resolution for consequence finding
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
• Consequence finding algorithms

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