| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. James J. Lu 25 James J. Lu, Neil V. Murray , Heydar Radjavi , Erik Rosenthal , Peter Rosenthal : Inference for Annotated Logics over Distributive Lattices. ISMIS 2002 : 285-293 24 Thomas Eiter , James J. Lu, Thomas Lukasiewicz , V. S. Subrahmanian : Probabilistic object bases. TODS 26 (3): 264-312 (2001) 23 James J. Lu, Neil V. Murray , Erik Rosenthal : Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics. ISMIS 2000 : 301-310 22 James J. Lu, Neil V. Murray , Erik Rosenthal : A Foundation for Hybrid Knowledge Bases. FSTTCS 1999 : 155-167 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 Communications 11 (1): 53-73 (1998) 19 James J. Lu, Neil V. Murray , Erik Rosenthal : A Framework for Automated Reasoning in Multiple-Valued Logics. Journal of Automated Reasoning 21 (1): 39-67 (1998) 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 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 Sonia M. Leach , James J. Lu: Query Processing in Annotated Logic Programming: Theory and Implementation. JIIS 6 (1): 33-58 (1996) 14 James J. Lu: Logic Programming with Signs and Annotations. Journal of Logic and Computation 6 (6): 755-778 (1996) 13 James J. Lu, Anil Nerode , V. S. Subrahmanian : Hybrid Knowledge Bases. TKDE 8 (5): 773-785 (1996) 12 James J. Lu, Guido Moerkotte , Joachim Schü , V. S. Subrahmanian : Efficient Maintenance of Materialized Mediated Views. SIGMOD Conference 1995 : 340-351 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 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. Journal of Automated Reasoning 10 (3): 345-370 (1993) 7 James J. Lu, V. S. Subrahmanian : Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability. Journal of Automated Reasoning 10 (3): 371-388 (1993) 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. Information Processing Letters 44 (3): 135-140 (1992) 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 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. Journal of Automated Reasoning 6 (2): 147-172 (1990) 1 Vincent J. Digricoli , James J. Lu, V. S. Subrahmanian : And-Or Graphs Applied to RUE Resolution. IJCAI 1989 : 354-358  DiSC'02 © 2003 Association for Computing Machinery |
