The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lawrence J. Henschen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lawrence J. Henschen, Shamim A. Naqvi
    On compiling queries in recursive first-order databases. [Citation Graph (92, 0)][DBLP]
    J. ACM, 1984, v:31, n:1, pp:47-85 [Journal]
  2. Lawrence J. Henschen, William McCune, Shamim A. Naqvi
    Compiling Constraint-Checking Programs from First-Order Formulas. [Citation Graph (20, 0)][DBLP]
    Advances in Data Base Theory, 1982, pp:145-169 [Conf]
  3. Adnan H. Yahya, Lawrence J. Henschen
    Deduction in Non-Horn Databases. [Citation Graph (18, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:2, pp:141-160 [Journal]
  4. Jiawei Han, Lawrence J. Henschen
    Handling Redundancy in the Processing of Recursive Database Queries. [Citation Graph (14, 13)][DBLP]
    SIGMOD Conference, 1987, pp:73-81 [Conf]
  5. William McCune, Lawrence J. Henschen
    Maintaining state constraints in relational databases: a proof theoretic basis. [Citation Graph (9, 0)][DBLP]
    J. ACM, 1989, v:36, n:1, pp:46-68 [Journal]
  6. Ghassan Z. Qadah, Lawrence J. Henschen, Jung J. Kim
    Efficient Algorithms for the Instantiated Transitive Closure Queries. [Citation Graph (7, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:3, pp:296-309 [Journal]
  7. Sang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah
    Semantic Query Reformulation in Deductive Databases. [Citation Graph (4, 9)][DBLP]
    ICDE, 1991, pp:232-239 [Conf]
  8. Shamim A. Naqvi, Lawrence J. Henschen
    Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. [Citation Graph (4, 0)][DBLP]
    IJCAI, 1983, pp:25-28 [Conf]
  9. Cheong Youn, Lawrence J. Henschen, Jiawei Han
    Classification of Recursive Formulas in Deductive Databases. [Citation Graph (4, 11)][DBLP]
    SIGMOD Conference, 1988, pp:320-328 [Conf]
  10. Shamim A. Naqvi, Lawrence J. Henschen
    Performing Inferences over Recursive Data Bases. [Citation Graph (3, 0)][DBLP]
    AAAI, 1980, pp:263-265 [Conf]
  11. Jiawei Han, Lawrence J. Henschen
    The Level-Cycle Merging Method. [Citation Graph (3, 0)][DBLP]
    DOOD, 1989, pp:65-81 [Conf]
  12. Shan Chi, Lawrence J. Henschen
    Recursive Query Answering with Non-Horn Clauses. [Citation Graph (2, 0)][DBLP]
    CADE, 1988, pp:294-312 [Conf]
  13. Sang Ho Lee, Lawrence J. Henschen
    Substitution-based Compilation of Extended Rules in Deductive Databases. [Citation Graph (2, 0)][DBLP]
    CADE, 1990, pp:57-71 [Conf]
  14. Newton C. A. da Costa, Lawrence J. Henschen, James J. Lu, V. S. Subrahmanian
    Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation. [Citation Graph (1, 0)][DBLP]
    CADE, 1990, pp:72-86 [Conf]
  15. Ching-Shyan Wu, Lawrence J. Henschen
    Answering Linear Recursive Queries in Cyclic Databases. [Citation Graph (1, 0)][DBLP]
    FGCS, 1988, pp:727-734 [Conf]
  16. Cheong Youn, Lawrence J. Henschen, Jiawei Han
    One-Directional Recursive Formulas. [Citation Graph (1, 0)][DBLP]
    JCDKB, 1988, pp:69-78 [Conf]
  17. Pintsang Chang, Lawrence J. Henschen
    Parallel Transitive Closure and Transitive Reduction Algorithms. [Citation Graph (1, 0)][DBLP]
    PARBASE, 1990, pp:152-154 [Conf]
  18. Ismail H. Toroslu, Ghassan Z. Qadah, Lawrence J. Henschen
    An efficient database transitive closure algorithm. [Citation Graph (1, 0)][DBLP]
    Appl. Intell., 1994, v:4, n:2, pp:205-218 [Journal]
  19. Sang Ho Lee, Lawrence J. Henschen
    Semantics and Properties of Existential Quantifiers in Deductive Databases. [Citation Graph (1, 0)][DBLP]
    Inf. Process. Lett., 1993, v:47, n:2, pp:101-108 [Journal]
  20. James J. Lu, Lawrence J. Henschen
    The Completeness of GP-Resolution for Annotated Logics. [Citation Graph (1, 0)][DBLP]
    Inf. Process. Lett., 1992, v:44, n:3, pp:135-140 [Journal]
  21. Cyril S. Ku, Heung D. Kim, Lawrence J. Henschen
    An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases. [Citation Graph (1, 10)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1994, v:6, n:5, pp:713-722 [Journal]
  22. Sang Ho Lee, Lawrence J. Henschen
    Evaluation of Recursive Queries with Extended Rules in Deductive Databases. [Citation Graph (1, 8)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1995, v:7, n:2, pp:328-331 [Journal]
  23. Cheong Youn, Hyoung-Joo Kim, Lawrence J. Henschen, Jiawei Han
    Classification and Compilation of Linear Recursive Queries in Deductive Databases. [Citation Graph (1, 16)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1992, v:4, n:1, pp:52-67 [Journal]
  24. Lawrence J. Henschen, Hyung-Sik Park
    Indefinite and GCWA Inference in Indefinite Deductive Databases. [Citation Graph (0, 0)][DBLP]
    AAAI, 1986, pp:191-197 [Conf]
  25. Michael C. Chen, Lawrence J. Henschen
    Assumption analysis in compiled logic-based decision support systems (LDSSs) (abstract only). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1985, pp:429- [Conf]
  26. Kathleen Neumann, Lawrence J. Henschen
    Partitioning Algorithms for a Distributed Deductive Databases. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1994, pp:288-295 [Conf]
  27. James J. Lu, Lawrence J. Henschen, V. S. Subrahmanian, Newton C. A. da Costa
    Reasoning in Paraconsistent Logics. [Citation Graph (0, 0)][DBLP]
    Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:181-210 [Conf]
  28. Young K. Nam, Lawrence J. Henschen
    Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages. [Citation Graph (0, 0)][DBLP]
    Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:211-230 [Conf]
  29. Mark Franzen, Lawrence J. Henschen
    A New Approach to Universal Unification and Its Application to AC-Unification. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:643-657 [Conf]
  30. Lawrence J. Henschen, Shamim A. Naqvi
    Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:342-359 [Conf]
  31. Yusuf Ozturk, Lawrence J. Henschen
    Hyper Resolution and Equality Axioms without Function Substitutions. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:456-469 [Conf]
  32. Larry Wos, Ross A. Overbeek, Lawrence J. Henschen
    Hyperparamodulation: A Refinement of Paramodulation. [Citation Graph (0, 0)][DBLP]
    CADE, 1980, pp:208-219 [Conf]
  33. Suk-Chung Yoon, Lawrence J. Henschen, E. K. Park, S. A. M. Makki
    Using Domain Knowledge in Knowledge Discovery. [Citation Graph (0, 0)][DBLP]
    CIKM, 1999, pp:243-250 [Conf]
  34. Dong-Hoon Choi, Lawrence J. Henschen
    On Exclusive Disjunctions in Deductive Database. [Citation Graph (0, 9)][DBLP]
    DASFAA, 1993, pp:353-359 [Conf]
  35. Sang Ho Lee, Lawrence J. Henschen
    Evaluation of Extended Recursive Queries in Deductive Databases. [Citation Graph (0, 10)][DBLP]
    DASFAA, 1991, pp:209-215 [Conf]
  36. Ismail H. Toroslu, Ghassan Z. Qadah, Lawrence J. Henschen
    Method Inheritance with Object Updates in an Object-Oriented Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    Workshop on Deductive Databases, JICSLP, 1992, pp:106-115 [Conf]
  37. Jonghoon Chun, Lawrence J. Henschen
    Processing Knowledge-Based Systems Containing Rules With Complex Bodies. [Citation Graph (0, 0)][DBLP]
    DEXA, 1992, pp:38-43 [Conf]
  38. Chan Chi, Lawrence J. Henschen
    CAP - A Three-Phase Query Processing Technique for Indefinite Databases. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:735-744 [Conf]
  39. Ismail H. Toroslu, Lawrence J. Henschen
    An Efficient Transitive Closure Algorithm for Distributed Databases. [Citation Graph (0, 0)][DBLP]
    ICCI, 1993, pp:185-189 [Conf]
  40. Joonyeoub Sung, Lawrence J. Henschen
    A New Recursive Subclass of Domain Independent Formulas Based on Subimplication. [Citation Graph (0, 10)][DBLP]
    ICDE, 1995, pp:475-484 [Conf]
  41. Ta-Cheng Yu, Lawrence J. Henschen
    Integrating External Functions in an Object Oriented Reasoning System. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1994, pp:712-715 [Conf]
  42. Lawrence J. Henschen
    Semantic Resolution for Horn Sets. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1975, pp:46-52 [Conf]
  43. Lawrence J. Henschen, W. M. Evangelist
    Theorem Proving by Covering Expressions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1977, pp:541-542 [Conf]
  44. Lawrence J. Henschen, Shamim A. Naqvi
    An Improved Filter for Literal Indexing in Resolution Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1981, pp:525-529 [Conf]
  45. Younghwan Lim, Lawrence J. Henschen
    A New Hyperparamodulation Strategy for the Equality Relation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1138-1145 [Conf]
  46. William McCune, Lawrence J. Henschen
    Semantic Paramodula tion for Horn Sets. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:902-908 [Conf]
  47. Peter C. Nelson, Lawrence J. Henschen
    Multi-Dimensional Heuristic Searching. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:316-321 [Conf]
  48. S. L. Taylor, Gilbert K. Krulee, Lawrence J. Henschen
    Automatic Abstracting of Textual Material. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1977, pp:117-118 [Conf]
  49. Robert Veroff, Lawrence J. Henschen
    Application of Automatic Transformations to Program Verification. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1981, pp:472-479 [Conf]
  50. Hichul An, Lawrence J. Henschen
    Knowledge Based Semantic Query Optimization. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1991, pp:82-91 [Conf]
  51. Chris Fernandes, Lawrence J. Henschen
    Discovering and Resolving User Intent in Heterogeneous Databases. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2000, pp:389-399 [Conf]
  52. Suk-Chung Yoon, Lawrence J. Henschen
    Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query Optimization. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:108-115 [Conf]
  53. Jung-Hong Kao, Lawrence J. Henschen
    A Graph Proof Procedure for Real Time Logic. [Citation Graph (0, 0)][DBLP]
    SEKE, 1992, pp:300-306 [Conf]
  54. K. Kim, Lawrence J. Henschen
    Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment. [Citation Graph (0, 0)][DBLP]
    SEKE, 1992, pp:63-70 [Conf]
  55. Jonghoon Chun, Lawrence J. Henschen
    Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach. [Citation Graph (0, 0)][DBLP]
    SEKE, 1992, pp:109-115 [Conf]
  56. Jiawei Han, Lawrence J. Henschen, Ning Zhuang
    Derivation of Magic Sets by Compilation. [Citation Graph (0, 0)][DBLP]
    SEKE, 1989, pp:164-171 [Conf]
  57. Abdallah Al-Sukairi, Lawrence J. Henschen
    Query-Independent Compilation of Linear Recursions. [Citation Graph (0, 0)][DBLP]
    SEKE, 1990, pp:177-182 [Conf]
  58. Larry Wos, S. Winker, B. Smith, Robert Veroff, Lawrence J. Henschen
    A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1984, v:22, n:3, pp:303-356 [Journal]
  59. Lawrence J. Henschen, Ross A. Overbeek, Larry Wos
    A Theorem-Proving Language for Experimentation. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1974, v:17, n:6, pp:308-314 [Journal]
  60. Lawrence J. Henschen, Bob P. Weems
    A Top-Down Inference Procedure for Template Dependencies. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1988, v:31, n:1, pp:51-55 [Journal]
  61. Young K. Nam, Lawrence J. Henschen
    A Controlling Scheme for Prolog Through Count Terms. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1993, v:19, n:4, pp:235-245 [Journal]
  62. Chris Fernandes, Lawrence J. Henschen
    Discovering and Resolving User Intent in Heterogeneous Databases. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:47, n:1-2, pp:137-154 [Journal]
  63. Sang-goo Lee, Lawrence J. Henschen, Jonghun Chun, Taehee Lee
    Identifying relevant constraints for semantic query optimization. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2000, v:42, n:13, pp:899-914 [Journal]
  64. Lawrence J. Henschen
    Theorem Proving by Covering Expressions. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1979, v:26, n:3, pp:385-400 [Journal]
  65. Lawrence J. Henschen, Larry Wos
    Unit Refutations and Horn Sets. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1974, v:21, n:4, pp:590-605 [Journal]
  66. W. W. Bledsoe, Lawrence J. Henschen
    What Is Automated Theorem Proving? [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:1, pp:23-28 [Journal]
  67. James J. Lu, Monica D. Barback, Lawrence J. Henschen
    Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:10, n:3, pp:345-370 [Journal]
  68. William McCune, Lawrence J. Henschen
    Experiments with Semantic Paramodulation. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:3, pp:231-261 [Journal]
  69. Lawrence J. Henschen
    Introduction: Tutorial on Resolution. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1976, v:25, n:8, pp:769-772 [Journal]
  70. Lawrence J. Henschen
    Semantic Resolution for Horn Sets. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1976, v:25, n:8, pp:816-822 [Journal]

  71. Using Semantic-Level Tags in HTML/XML Documents. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002