Lawrence J. Henschen Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Abdallah Al-Sukairi [38]
2Hichul An [44]
3Monica D. Barback [56]
4W. W. Bledsoe [21]
5Pintsang Chang [39]
6Michael C. Chen [23]
7Chan Chi [30]
8Shan Chi [33]
9Dong-Hoon Choi [60]
10Jonghoon Chun [54] [55]
11Jonghun Chun [69]
12Newton C. A. da Costa [40] [48]
13W. M. Evangelist [6]
14Chris Fernandes [70] [71]
15Mark Franzen [32]
16Jiawei Han [25] [28] [29] [35] [37] [50]
17Jung-Hong Kao [53]
18Heung D. Kim [61]
19Hyoung-Joo Kim [50]
20Jung J. Kim [43]
21K. Kim [52]
22Gilbert K. Krulee [7]
23Cyril S. Ku [61]
24Julia C. Lee [72]
25Sang Ho Lee [41] [46] [57] [65]
26Sang-goo Lee [45] [69]
27Taehee Lee [69]
28Younghwan Lim [22]
29James J. Lu [40] [48] [49] [56]
30S. A. M. Makki (Shamila Makki) [68]
31William McCune [14] [15] [19] [34]
32Young K. Nam [47] [58]
33Shamim A. Naqvi [10] [11] [13] [14] [16] [17]
34Peter C. Nelson [36]
35Kathleen Neumann [64]
36Ross A. Overbeek [2] [9]
37Yusuf Ozturk [42]
38E. K. Park (Eun Kyo Park) [68]
39Hyung-Sik Park [24] [27]
40Ghassan Z. Qadah [43] [45] [51] [62]
41B. Smith [18]
42V. S. Subrahmanian [40] [48]
43Joonyeoub Sung [66]
44S. L. Taylor [7]
45Ismail Hakki Toroslu (Ismail H. Toroslu) [51] [59] [62]
46Robert Veroff [12] [18]
47Bob P. Weems [26]
48S. Winker [18]
49Larry Wos [1] [2] [9] [18]
50Ching-Shyan Wu [31]
51Adnan H. Yahya [20]
52Suk-Chung Yoon [67] [68]
53Cheong Youn [28] [29] [50]
54Ta-Cheng Yu [63]
55Ning Zhuang [35]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)