2009 |
41 | EE | James Gardner,
Li Xiong,
Kanwei Li,
James J. Lu:
HIDE: heterogeneous information DE-identification.
EDBT 2009: 1116-1119 |
40 | EE | James J. Lu,
George H. L. Fletcher:
Thinking about computational thinking.
SIGCSE 2009: 260-264 |
39 | EE | George H. L. Fletcher,
James J. Lu:
Education - Human computing skills: rethinking the K-12 experience.
Commun. ACM 52(2): 23-25 (2009) |
2008 |
38 | EE | Sebastien Siva,
James J. Lu,
Hantao Zhang:
A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract).
ICLP 2008: 774-778 |
37 | EE | Robin Lohfert,
James J. Lu,
Dongfang Zhao:
Solving SQL Constraints by Incremental Translation to SAT.
IEA/AIE 2008: 669-676 |
2007 |
36 | EE | Robin Lohfert,
James J. Lu:
Propositional reasoning by dimensional reduction: a preliminary report.
ACM Southeast Regional Conference 2007: 525-526 |
35 | EE | James J. Lu,
Chia-Hsin Huang,
Tyng-Ruey Chuang:
Querying and browsing XML and relational data sources.
SAC 2007: 489-493 |
2006 |
34 | EE | James J. Lu,
M. Jeremy Scoggins:
Specifying and solving Boolean constraint problems in relational databases: a case study.
ACM Southeast Regional Conference 2006: 399-404 |
33 | EE | Chia-Hsin Huang,
Tyng-Ruey Chuang,
James J. Lu,
Hahn-Ming Lee:
XML Evolution: A Two-phase XML Processing Model Using XML Prefiltering Techniques.
VLDB 2006: 1215-1218 |
32 | EE | James J. Lu:
A Data Model for Data Integration.
Electr. Notes Theor. Comput. Sci. 150(2): 3-19 (2006) |
2005 |
31 | EE | James J. Lu,
Sonali Renjen:
Normalizing XML schemas through relational databases.
ACM Southeast Regional Conference (1) 2005: 220-221 |
30 | EE | Shun Yan Cheung,
James J. Lu,
Catharine M. Wyss:
Metadata management and relational databases.
ACM Southeast Regional Conference (1) 2005: 227-232 |
29 | EE | James J. Lu:
Logical Data Independence Reconsidered (Extended Abstract).
ISMIS 2005: 678-687 |
2003 |
28 | | Catharine M. Wyss,
James J. Lu,
Shun Yan Cheung,
Mehdi M. Akhavein:
Intrinsic Support for Metadata Integration in Relation Federations.
EFIS 2003: 117- |
27 | | James J. Lu,
Catharine M. Wyss,
Shun Yan Cheung,
Mehdi M. Akhavein:
Managing XML Schemas through XRDB.
IKE 2003: 225-231 |
26 | EE | James J. Lu,
Jeffrey S. Rosenthal,
Andrew E. Shaffer:
A case study in the meta-reasoning procedure ND.
J. Exp. Theor. Artif. Intell. 15(1): 47-71 (2003) |
2002 |
25 | EE | James J. Lu,
Neil V. Murray,
Heydar Radjavi,
Erik Rosenthal,
Peter Rosenthal:
Inference for Annotated Logics over Distributive Lattices.
ISMIS 2002: 285-293 |
2001 |
24 | EE | Thomas Eiter,
James J. Lu,
Thomas Lukasiewicz,
V. S. Subrahmanian:
Probabilistic object bases.
ACM Trans. Database Syst. 26(3): 264-312 (2001) |
2000 |
23 | EE | James J. Lu,
Neil V. Murray,
Erik Rosenthal:
Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics.
ISMIS 2000: 301-310 |
1999 |
22 | EE | James J. Lu,
Neil V. Murray,
Erik Rosenthal:
A Foundation for Hybrid Knowledge Bases.
FSTTCS 1999: 155-167 |
1998 |
21 | EE | Sonia M. Leach,
James J. Lu,
Neil V. Murray,
Erik Rosenthal:
Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics.
JELIA 1998: 154-168 |
20 | | Thomas Eiter,
James J. Lu,
V. S. Subrahmanian:
A First-Order Representation of Stable Models.
AI Commun. 11(1): 53-73 (1998) |
19 | | James J. Lu,
Neil V. Murray,
Erik Rosenthal:
A Framework for Automated Reasoning in Multiple-Valued Logics.
J. Autom. Reasoning 21(1): 39-67 (1998) |
1997 |
18 | | Thomas Eiter,
James J. Lu,
V. S. Subrahmanian:
Computing Non-Ground Representations of Stable Models.
LPNMR 1997: 198-217 |
17 | | James J. Lu,
Erik Rosenthal:
Logic-Based Deductive Reasoning.
The Computer Science and Engineering Handbook 1997: 654-675 |
1996 |
16 | | Jacques Calmet,
James J. Lu,
Maria Rodriguez,
Joachim Schü:
Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract).
ISMIS 1996: 202-211 |
15 | EE | James J. Lu,
Anil Nerode,
V. S. Subrahmanian:
Hybrid Knowledge Bases.
IEEE Trans. Knowl. Data Eng. 8(5): 773-785 (1996) |
14 | | Sonia M. Leach,
James J. Lu:
Query Processing in Annotated Logic Programming: Theory and Implementation.
J. Intell. Inf. Syst. 6(1): 33-58 (1996) |
13 | | James J. Lu:
Logic Programming with Signs and Annotations.
J. Log. Comput. 6(6): 755-778 (1996) |
1995 |
12 | EE | James J. Lu,
Guido Moerkotte,
Joachim Schü,
V. S. Subrahmanian:
Efficient Maintenance of Materialized Mediated Views.
SIGMOD Conference 1995: 340-351 |
1994 |
11 | | Sonia M. Leach,
James J. Lu:
Computing Annotated Logic Programs.
ICLP 1994: 257-271 |
10 | | James J. Lu,
Neil V. Murray,
Erik Rosenthal:
Signed Formulas and Fuzzy Operator Logics.
ISMIS 1994: 75-84 |
1993 |
9 | | James J. Lu,
Neil V. Murray,
Erik Rosenthal:
Signed Formulas and Annotated Logics.
ISMVL 1993: 48-53 |
8 | | James J. Lu,
Monica D. Barback,
Lawrence J. Henschen:
Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction.
J. Autom. Reasoning 10(3): 345-370 (1993) |
7 | | James J. Lu,
V. S. Subrahmanian:
Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability.
J. Autom. Reasoning 10(3): 371-388 (1993) |
1992 |
6 | EE | Monica D. Barback,
Jorge Lobo,
James J. Lu:
Minimizing Indefinite Information in Disjunctive Deductive Databases.
ICDT 1992: 246-260 |
5 | | James J. Lu,
Lawrence J. Henschen:
The Completeness of GP-Resolution for Annotated Logics.
Inf. Process. Lett. 44(3): 135-140 (1992) |
1991 |
4 | | James J. Lu,
Lawrence J. Henschen,
V. S. Subrahmanian,
Newton C. A. da Costa:
Reasoning in Paraconsistent Logics.
Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 181-210 |
1990 |
3 | | Newton C. A. da Costa,
Lawrence J. Henschen,
James J. Lu,
V. S. Subrahmanian:
Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation.
CADE 1990: 72-86 |
2 | | James J. Lu,
V. S. Subrahmanian:
Protected Completions of First-Order General Logic Programs.
J. Autom. Reasoning 6(2): 147-172 (1990) |
1989 |
1 | | Vincent J. Digricoli,
James J. Lu,
V. S. Subrahmanian:
And-Or Graphs Applied to RUE Resolution.
IJCAI 1989: 354-358 |