\(\mho\)-resolution and hybrid knowledge bases

DOI10.1016/S0016-0032(01)00022-9zbMath0983.68062MaRDI QIDQ5947353

Sonia M. Leach, James J. Lu, Erik Rosenthal, Neil V. Murray

Publication date: 16 October 2001

Published in: Journal of the Franklin Institute (Search for Journal in Brave)

zbMATH Keywords

generalized annotated logic programminghybrid knowledge bases

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (1)

Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)

Cites Work

• Unnamed Item
• A framework for automated reasoning in multiple-valued logics
• Bilattices and the semantics of logic programming
• Tabled evaluation with delaying for general logic programs

This page was built for publication: \(\mho\)-resolution and hybrid knowledge bases