James J. Lu

Available identifiers

Publication	Date of Publication	Type
Automatic theorem proving in paraconsistent logics: Theory and implementation	2023-04-28	Paper
Probabilistic object bases	2008-06-18	Paper
Logical Data Independence Reconsidered (Extended Abstract)	2008-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q5692880	2005-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q3046854	2004-08-12	Paper
A case study in the meta-reasoning procedure ND	2003-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q2766946	2002-04-25	Paper
\(\mho\)-resolution and hybrid knowledge bases	2001-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q4501669	2001-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4246967	1999-10-05	Paper
A framework for automated reasoning in multiple-valued logics	1999-03-23	Paper
Logic programming with signs and annotations	1997-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4360108	1997-10-20	Paper
Interpreting disjunctive logic programs based on a strong sense of disjunction	1994-01-13	Paper
Completeness issues in RUE-NRF deduction: The undecidability of viability	1994-01-13	Paper
The completeness of gp-resolution for annotated logics	1993-04-01	Paper
Protected completions of first-order general logic programs	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3490992	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3490993	1989-01-01	Paper

This page was built for person: James J. Lu