scientific article; zbMATH DE number 67457

MaRDI QIDQ4012182zbMATH OpenFDO

Authors Katsumi Inoue

Publication date 27 September 1992

zbMATH Keywords

consequence-findingSOL-resolution

Mathematics Subject Classification ID

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

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

Cited in

(10)

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

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)