Incorporating top-down information into bottom-up hypothetical reasoning

DOI10.1007/BF03037185zbMath0780.68104MaRDI QIDQ688821

Yoshihiko Ohta, Katsumi Inoue

Publication date: 6 February 1994

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

program transformationdefault reasoninghypothetical reasoningupside down meta-interpretation

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

• Unnamed Item
• Compiling a default reasoning system into Prolog
• A logical framework for default reasoning
• A logic for default reasoning
• Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
• The Alexander Method - a technique for the processing of recursive axioms in deductive databases
• On the power of magic

This page was built for publication: Incorporating top-down information into bottom-up hypothetical reasoning