Lawrence Henschen

Available identifiers

zbMath Open henschen.lawrence-jMaRDI QIDQ685470

List of research outcomes

Publication	Date of Publication	Type
Substitution-based compilation of extended rules in deductive databases	2023-04-28	Paper
Automatic theorem proving in paraconsistent logics: Theory and implementation	2023-04-28	Paper
Hyper resolution and equality axioms without function substitutions	2023-04-28	Paper
Discovering and resolving user intent in heterogeneous databases	2002-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q2766963	2002-01-28	Paper
An efficient database transitive closure algorithm	1994-07-21	Paper
Interpreting disjunctive logic programs based on a strong sense of disjunction	1994-01-13	Paper
Semantics and properties of existential quantifiers in deductive databases	1994-01-09	Paper
The completeness of gp-resolution for annotated logics	1993-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q3490992	1990-01-01	Paper
Maintaining state constraints in relational databases: a proof theoretic basis	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3489507	1989-01-01	Paper
Errata to, ``Deduction in non-Horn databases	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3820060	1988-01-01	Paper
A Top-down Inference Procedure for Template Dependencies	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3820054	1988-01-01	Paper
Deduction in non-Horn databases	1985-01-01	Paper
Experiments with semantic paramodulation	1985-01-01	Paper
On compiling queries in recursive first-order databases	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3939271	1982-01-01	Paper
Theorem Proving by Covering Expressions	1979-01-01	Paper
Semantic Resolution for Horn Sets	1976-01-01	Paper
Unit Refutations and Horn Sets	1974-01-01	Paper
A theorem-proving language for experimentation	1974-01-01	Paper

Research outcomes over time

This page was built for person: Lawrence Henschen