| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | James J. Lu, Sebastien Siva |
Key-Based Problem Decomposition for Relational Constraint Satisfaction Problems.  |
ICTAI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Lu, Sebastien Siva, Ojas Parekh, George H. L. Fletcher, Hantao Zhang |
Constraint processing in relational database systems: from theory to implementation. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
CSP tools, KR languages, relational databases |
| 1 | George H. L. Fletcher, James J. Lu |
Education - Human computing skills: rethinking the K-12 experience. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Gardner, Li Xiong, Kanwei Li, James J. Lu |
HIDE: heterogeneous information DE-identification. |
EDBT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Lu, George H. L. Fletcher |
Thinking about computational thinking. |
SIGCSE |
2009 |
DBLP DOI BibTeX RDF |
language, computational thinking, k-12 education |
| 1 | Sebastien Siva, James J. Lu, Hantao Zhang |
A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract). |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Lohfert, James J. Lu, Dongfang Zhao |
Solving SQL Constraints by Incremental Translation to SAT. |
IEA/AIE |
2008 |
DBLP DOI BibTeX RDF |
intelligent database systems, heuristics, satisfiability, constraint analysis |
| 1 | Lin Liu, Li Xiong, James J. Lu, Kim M. Gernert, Vicki Hertzberg |
Comparing and Clustering Flow Cytometry Data. |
BIBM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Lohfert, James J. Lu |
Propositional reasoning by dimensional reduction: a preliminary report. |
ACM Southeast Regional Conference |
2007 |
DBLP DOI BibTeX RDF |
artificial intelligence, deduction |
| 1 | James J. Lu, Chia-Hsin Huang, Tyng-Ruey Chuang |
Querying and browsing XML and relational data sources. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
schemaless data model, XML, query processing |
| 1 | James J. Lu |
A Data Model for Data Integration. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Lu, M. Jeremy Scoggins |
Specifying and solving Boolean constraint problems in relational databases: a case study. |
ACM Southeast Regional Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | James J. Lu |
Logical Data Independence Reconsidered (Extended Abstract). |
ISMIS |
2005 |
DBLP DOI BibTeX RDF |
context-based query language, information retrieval, data integration, data model, keyword searches, universal relation |
| 1 | Shun Yan Cheung, James J. Lu, Catharine M. Wyss |
Metadata management and relational databases. |
ACM Southeast Regional Conference |
2005 |
DBLP DOI BibTeX RDF |
parameterized and meta-queries, data integration, metadata management |
| 1 | James J. Lu, Sonali Renjen |
Normalizing XML schemas through relational databases. |
ACM Southeast Regional Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Lu, Jeffrey S. Rosenthal, Andrew E. Shaffer |
A case study in the meta-reasoning procedure ND. |
J. Exp. Theor. Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Lu, Catharine M. Wyss, Shun Yan Cheung, Mehdi M. Akhavein |
Managing XML Schemas through XRDB. |
IKE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Catharine M. Wyss, James J. Lu, Shun Yan Cheung, Mehdi M. Akhavein |
Intrinsic Support for Metadata Integration in Relation Federations. |
EFIS |
2003 |
DBLP BibTeX RDF |
|
| 1 | James J. Lu, Neil V. Murray, Heydar Radjavi, Erik Rosenthal, Peter Rosenthal |
Inference for Annotated Logics over Distributive Lattices. |
ISMIS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, James J. Lu, Thomas Lukasiewicz, V. S. Subrahmanian |
Probabilistic object bases. |
ACM Trans. Database Syst. |
2001 |
DBLP DOI BibTeX RDF |
probabilistic object algebra, probabilistic object base, probability, Consistency, query optimization, query language, object-oriented database |
| 1 | James J. Lu, Neil V. Murray, Erik Rosenthal |
Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics. |
ISMIS |
2000 |
DBLP BibTeX RDF |
|
| 1 | James J. Lu, Neil V. Murray, Erik Rosenthal |
A Foundation for Hybrid Knowledge Bases. |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
hybrid knowledge bases, inference, deduction |
| 1 | Thomas Eiter, James J. Lu, V. S. Subrahmanian |
A First-Order Representation of Stable Models. |
AI Commun. |
1998 |
DBLP BibTeX RDF |
|
| 1 | James J. Lu, Neil V. Murray, Erik Rosenthal |
A Framework for Automated Reasoning in Multiple-Valued Logics. |
J. Autom. Reasoning |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal |
Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Lu, Erik Rosenthal |
Logic-Based Deductive Reasoning. |
The Computer Science and Engineering Handbook |
1997 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, James J. Lu, V. S. Subrahmanian |
Computing Non-Ground Representations of Stable Models. |
LPNMR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Lu, Anil Nerode, V. S. Subrahmanian |
Hybrid Knowledge Bases. |
IEEE Trans. Knowl. Data Eng. |
1996 |
DBLP DOI BibTeX RDF |
mediator, heterogeneous system, constraint logic programming, stable model, Annotated logic |
| 1 | James J. Lu |
Logic Programming with Signs and Annotations. |
J. Log. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonia M. Leach, James J. Lu |
Query Processing in Annotated Logic Programming: Theory and Implementation. |
J. Intell. Inf. Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Calmet, James J. Lu, Maria Rodriguez, Joachim Schü |
Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract). |
ISMIS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Lu, Guido Moerkotte, Joachim Schü, V. S. Subrahmanian |
Efficient Maintenance of Materialized Mediated Views. |
SIGMOD Conference |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Lu, Neil V. Murray, Erik Rosenthal |
Signed Formulas and Fuzzy Operator Logics. |
ISMIS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonia M. Leach, James J. Lu |
Computing Annotated Logic Programs. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | James J. Lu, V. S. Subrahmanian |
Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability. |
J. Autom. Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Lu, Monica D. Barback, Lawrence J. Henschen |
Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction. |
J. Autom. Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Lu, Neil V. Murray, Erik Rosenthal |
Signed Formulas and Annotated Logics. |
ISMVL |
1993 |
DBLP BibTeX RDF |
|
| 1 | James J. Lu, Lawrence J. Henschen |
The Completeness of GP-Resolution for Annotated Logics. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Monica D. Barback, Jorge Lobo, James J. Lu |
Minimizing Indefinite Information in Disjunctive Deductive Databases. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | James J. Lu, V. S. Subrahmanian |
Protected Completions of First-Order General Logic Programs. |
J. Autom. Reasoning |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent J. Digricoli, James J. Lu, V. S. Subrahmanian |
And-Or Graphs Applied to RUE Resolution. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")