2009 | ||
---|---|---|
42 | James J. Gardner, Li Xiong, Kanwei Li, James J. Lu: HIDE: heterogeneous information DE-identification. EDBT 2009: 1116-1119 | |
41 | James J. Lu, George H. L. Fletcher: Thinking about computational thinking. SIGCSE 2009: 260-264 | |
40 | George H. L. Fletcher, James J. Lu: Education - Human computing skills: rethinking the K-12 experience. Commun. ACM 52(2): 23-25 (2009) | |
2008 | ||
39 | Lin Liu, Li Xiong, James J. Lu, Kim M. Gernert, Vicki Hertzberg: Comparing and Clustering Flow Cytometry Data. BIBM 2008: 305-309 | |
38 | Sebastien Siva, James J. Lu, Hantao Zhang: A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract). ICLP 2008: 774-778 | |
37 | Robin Lohfert, James J. Lu, Dongfang Zhao: Solving SQL Constraints by Incremental Translation to SAT. IEA/AIE 2008: 669-676 | |
2007 | ||
36 | Robin Lohfert, James J. Lu: Propositional reasoning by dimensional reduction: a preliminary report. ACM Southeast Regional Conference 2007: 525-526 | |
35 | James J. Lu, Chia-Hsin Huang, Tyng-Ruey Chuang: Querying and browsing XML and relational data sources. SAC 2007: 489-493 | |
2006 | ||
34 | 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 | 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 | James J. Lu: A Data Model for Data Integration. Electr. Notes Theor. Comput. Sci. 150(2): 3-19 (2006) | |
2005 | ||
31 | James J. Lu, Sonali Renjen: Normalizing XML schemas through relational databases. ACM Southeast Regional Conference (1) 2005: 220-221 | |
30 | Shun Yan Cheung, James J. Lu, Catharine M. Wyss: Metadata management and relational databases. ACM Southeast Regional Conference (1) 2005: 227-232 | |
29 | 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 | 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 | 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 | Thomas Eiter, James J. Lu, Thomas Lukasiewicz, V. S. Subrahmanian: Probabilistic object bases. ACM Trans. Database Syst. 26(3): 264-312 (2001) | |
2000 | ||
23 | James J. Lu, Neil V. Murray, Erik Rosenthal: Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics. ISMIS 2000: 301-310 | |
1999 | ||
22 | James J. Lu, Neil V. Murray, Erik Rosenthal: A Foundation for Hybrid Knowledge Bases. FSTTCS 1999: 155-167 | |
1998 | ||
21 | 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 | 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 | 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 | 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 |