![]() | 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 |