## James J. Lu's Research Summary Page

My interest in Computer Science started with a couple of Programming Languages courses that I took as an undergraduate at Iowa. The first is the undergraduate concepts course, taught by Professor Arthur Fleck, and second the graduate semantics course, taught by Professor Ray Ford. At Syracuse I took two more language theory courses, from Professor John C. Reynolds, on Floyd-Hoare Logic and Scott Domain Theory. At the same time, I was introduced to Theorem Proving by Professor Ernest Sibert. After a two plus year stint in the "real world", I returned to pursue a Ph.D at Northwestern in Automated Theorem Proving under Professor Lawrence Henschen. Among my "unofficial" mentors, I am grateful to Professor V.S. Subrahmanian who, as a fellow Syracuse graduate student, introduced me to Logic Programming, and to Professors Neil Murray and Erik Rosenthal for the many marathon research sessions.

I remain interested in various aspects of logic programming and theorem proving, particularly inference techniques for certain non-standard logics. But I also have interest in data models, query processing, data integration, constraint databases, heuristic search and propositional satisfiability. Recently, I have been involved in projects that explores the nexus between human and machine intelligence, including probablistic record linkage, adaptive-learning based information extraction, and computer-assisted patchwriting. Below are select references in these and other areas.

- Shuai Zheng, Fusheng Wang, James J. Lu.
Enabling Ontology Based Semantic Queries in Biomedical Database
Systems,
*International Journal of Semantic Computing*, accepted to appear. - Shuai Zheng, Fusheng Wang, James J. Lu. ASLForm: An Adaptive
Self Learning Medical Form Generating System,
*Proceedings of the AMIA Annual Symposium*(AMIA `13), 2013. - Luca Bonomi, Li Xiong, James J. Lu. LinkIT: Privacy
Preserving Record Linkage and Integration via Transformations,
*Proceedings of SIGMOD*, 2013. (demonstration) - Shuai Zheng, Fusheng Wang, James J. Lu. Bridging
the unstructured and structured worlds: an adaptive self learning
medical form generating system,
*Proceedings of the 2nd international workshop on Managing interoperability and compleXity in health systems*(MIX-HS `12), ACM, 2012. - Shuai Zheng, Fusheng Wang, James J. Lu, Joel H. Saltz.
Enabling ontology based semantic queries in biomedical database
systems,
*Proceedings of the 21st ACM international conference on Information and knowledge management*(CIKM `12), ACM, 2012. - Sebastien Siva, James J. Lu. Solving Relational Constraint
Satisfaction Problems by Automated Decomposition,
*Proceedings of the International Conference onTools with AI*(ICTAI `11), IEEE Computer Society, 2011. - Sebastien Siva, James J. Lu, Ojas Parekh, George
H.L. Fletcher, Hantao Zhang. Constraint Processing in
Relational
Database Systems: From Theory to Implementation,
*Proceedings of the 25th ACM Symposium on Applied Computing*(SAC `10), ACM Press, 2010. - George H.L. Fletcher, James J. Lu. Thinking About
Computational Thinking,
*Proceedings of the ACM Technical Symposium on Computer Science Education*(SIGCSE `09), ACM Press, 2009. - Pawel Jurczyk, James J. Lu, Li Xiong, Janet D. Cragan, Adolfo
Correa, Fine-grained record integration and linkage tool,
*Birth Defects Research. Part A, Clinical and Molecular Teratology*, 82(11): 822-9, 2008. - Sebastien Siva, James J. Lu, Hantao Zhang. A Case Study in
Engineering SQL Constraint Database Systems (Extended Abstract),
*Proceedings of the International Conference on Logic Programming*(ICLP `08), Springer, 2008. - Lin Liu, Li Xiong, James J. Lu, Kim Gernert, Vicki Hertzberg.
Sample Clustering of Flow Cytometry Data,
*Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine*(BIBM `08), 2008. - Pawel Jurczyk, James J. Lu, Li Xiong, Janet D. Cragan, Adolfo
Correa. FRIL: A Tool for Comparative Record Linkage,
*Proceedings of the AMIA Annual Symposium*(AMIA `08), 2008. - Robin Lohfert, James J. Lu, Dongfang Zhao. Solving Database
Constraints Through Incremental SAT Encoding,
*Proceedings of the 21st International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems*(IEA/AIE `08), Lecture Notes in AI, Springer, 2008. - James J. Lu, Chia-Hsin Huang, Tyng-Ruey Chuang. Querying and
Browsing XML and Relational Data Sources,
*Proceedings of the 22nd ACM Symposium on Applied Computing*(SAC `07), ACM Press, 2007. - Chia-Hsin Huang, Tyng-Ruey Chuang, James J. Lu, Hahn-Ming Lee.
Two-phase XML Processing Model Using XML Prefiltering Techniques
(demonstration),
*Proceedings of the 32nd Conference on Very Large Databases*(VLDB `06), Morgan Kaufmann, 2006. (demonstration) - James J. Lu, M. Jeremy Scoggins. Specifying and Solving Boolean
Constraints in Relational Databases: A Case Study,
*Proceedings of the 44th ACM Southeast Conference*(ACMSE `06), ACM Press, 2006. - James J. Lu. A Data Model for Data Integration,
*Electronic Notes in Theoretical Computer Science*, 150(2): 3-19, 2006. - James J. Lu, Neil V. Murray, Erik Rosenthal. Deduction in
Regular Multiple-Valued Logics,
*Journal of Multiple-Valued Logic and Soft Computing*, 11(3-4), 2005. - James J. Lu. Logical Data Independence Reconsidered,
*Proceedings of the 15th International Symposium on Methodologies for Intelligent Systems*(ISMIS `05), Lecture Notes in Computer Science, Springer, 2005. - James J. Lu, Erik Rosenthal. Logic-based Reasoning in AI
Systems,
*COMPUTER SCIENCE AND ENGINEERING Handbook 2nd edition*(A.B. Tucker ed.), CRC/ACM Press, Chapter 61:1--24, 2004. - James J. Lu, Jeffrey S. Rosenthal, Andrew E. Shaffer.
A Case Study in the Meta Reasoning Procedure ND,
*Journal of Experimental and Theoretical Artificial Intelligence*, 15(1):47-71, 2003. - Catharine M. Wyss, James J. Lu, Shun-Yan Cheung, Mehdi
M. Akhavein. Intrinsic Support for Dynamic Restructuring in
Relational Federations,
*Proceedings of the Engineering Federated Information Systems Workshop*(EFIS 2003), aka / IOS Press / infix, 2003. - James J. Lu, Neil V. Murray, Erik Rosenthal.
Inference for Annotated Logics over Distributed Lattices,
*Proceedings of the 13th International Symposium on Methodologies for Intelligent Systems*(ISMIS `02), Lecture Notes in Computer Science, Springer, 2002. - Thomas Eiter, James J. Lu, Thomas Lukasiewicz,
V.S. Subrahmanian. Probablistic Object Bases,
*ACM Transaction on Database Systems*, 26(3):264-312, 2001. - Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal.
Mho-resolution and Hybrid Knowledge Bases,
*Journal of the Franklin Institute*, 338(5): 583 -- 600, 2001. - James J. Lu, Neil V. Murray, Erik Rosenthal. Annotated
Hyperresolution for Non-Horn Regular Multiple-Valued Logics,
*Proceedings of the 12th International Symposium on Methodologies for Intelligent Systems*(ISMIS `00), Lecture Notes in Computer Science, Springer, 2000. - Andrew E. Shaffer, James J. Lu. The Design and
Performance of CSato: A Propositional Reasoning Object,
*Association for Automated Reasoning Newsletter*, No. 49, October 2000. - James J. Lu, Neil V. Murray, Erik Rosenthal. A
Foundation for Hybrid Knowledge Bases,
*Proceedings of the 19th International Conference on Foundations of Software Technology and Theoretical Computer Science*(FST&TCS `99), Lecture Notes in Computer Science, Springer, 1999. - James J. Lu, Bertram Ludascher, Joachim Schü,
V.S. Subrahmanian. Maintaining Well-Founded Views in
Constraint Databases,
*Logic Programming and Soft Computing*(eds. T.P. Martin and F.A. Fontana), 129-144, 1998. - Thomas Eiter, James J. Lu, V.S. Subrahmanian. A
First-Order Representation of Stable Models,
*AI Communications Journal*, 11(1):53-73, 1998. - James J. Lu, Neil V. Murray, Erik Rosenthal. A
Framework for Automated Reasoning in Multiple-Valued Logics,
*Journal of Automated Reasoning*, 21:39-67, 1998. - Sonia M. Leach, James J. Lu, Neil V. Murray,
Erik Rosenthal. Mho-Resolution: An Inference Rule for
Regular Multiple-Valued Logics,
*Proceedings of the 6th European Workshop on Logics in AI*, (JELIA `98), Lecture Notes in Computer Science, Springer, 1998. - Thomas Eiter, James J. Lu, V.S. Subrahmanian.
Computing Non-Ground Representations of Stable Models,
*Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning*(LPNMR `97), Lecture Notes in Computer Science, Springer, 1997. - James J. Lu, Jaques Calmet, Joachim Schü.
Computing Multiple-Valued Logic Programs,
*Journal of Mathware and Soft Computing*, IV(2):129-153, 1997. - James J. Lu, Anil Nerode, V.S. Subrahmanian. Hybrid
Knowledge Bases,
*IEEE Transactions on Knowledge and Data Engineering*, 8(5):773-785, 1996. - James J. Lu. Logic Programming with Signs and
Annotations,
*Journal of Logic and Computation*, 6(6):755-778, 1996. - James J. Lu, Guido Morkotte, Joachim Schü,
V.S. Subrahmanian. Efficient Maintenance of Materialized
Mediated Views,
*Proceedings of the ACM Conference on Management of Data*(SIGMOD `95), ACM Press, 1995. - Sonia M. Leach, James J. Lu. Computing Annotated
Logic Programs,
*Proceedings of the International Conference on Logic Programming*(ICLP `94), MIT Press, 1994. - James J. Lu, Neil V. Murray, Erik Rosenthal. Signed
Formulas and Fuzzy Operator Logics,
*Proceedings of the International Symposium on Methodologies for Intelligent Systems*, (ISMIS `94), Lecture Notes in Computer Science, Springer, 1994. - James J. Lu, V.S. Subrahmanian. Completeness Issues
in RUE-Resolution: the Undecidability of Viability,
*Journal of Automated Reasoning*, 10:371-388, 1993. - 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:345-370, 1993. - James J. Lu, Neil V. Murray, Erik Rosenthal. Signed
Formulas and Annotated Logics,
*Proceedings of the 23rd IEEE International Symposium on Multiple-Valued Logic*(ISMVL `93), IEEE Computer Society Press, 1993. - Monica D. Barback, James J. Lu, Jorge Lobo.
Minimizing Indefinite Information in Disjunctive Deductive
Databases,
*Proceedings of the International Conference on Database Theory*(ICDT `92), Lecture Notes in Computer Science, Springer, 1992. - James J. Lu, Lawrence J. Henschen. The Completeness
of GP-Resolution for Annotated Logics,
*Information Processing Letters*, 44:135-140, 1992. - James J. Lu, Lawrence J. Henschen, V.S. Subrahmanian,
Newton C.A. daCosta. Reasoning in paraconsistent logics,
*Automated Reasoning: Essays in Honor of Woody Bledsoe*(R. Boyer ed.), Kluwer Academic, 181-210, 1991. - James J. Lu, Lawrence J. Henschen, V.S. Subrahmanian,
Newton C.A. daCosta. Automatic Theorem Proving in
Paraconsistent Logics: Theory and Implementation,
*Proceedings of the International Conference on Automated Deduction*, Lecture Notes in Computer Science (CADE `90), Springer, 1990. - Vicent J. Digricoli, James J. Lu, V.S. Subrahmanian.
And-Or Graphs Applied to RUE-Resolution,
*Proceedings of the International Joint Conference on Artificial Intelligence*(IJCAI `89), Morgan Kaufmann, 1989.