dblp.uni-trier.dewww.uni-trier.de

Lawrence J. Henschen Vis

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

*2009
72EELawrence J. Henschen, Julia C. Lee: Using Semantic-Level Tags in HTML/XML Documents. HCI (7) 2009: 683-692
2001
71 Chris Fernandes, Lawrence J. Henschen: Discovering and Resolving User Intent in Heterogeneous Databases. Fundam. Inform. 47(1-2): 137-154 (2001)
2000
70EEChris Fernandes, Lawrence J. Henschen: Discovering and Resolving User Intent in Heterogeneous Databases. ISMIS 2000: 389-399
69EESang-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
68EESuk-Chung Yoon, Lawrence J. Henschen, E. K. Park, S. A. M. Makki: Using Domain Knowledge in Knowledge Discovery. CIKM 1999: 243-250
1996
67 Suk-Chung Yoon, Lawrence J. Henschen: Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query Optimization. SEKE 1996: 108-115
1995
66EEJoonyeoub Sung, Lawrence J. Henschen: A New Recursive Subclass of Domain Independent Formulas Based on Subimplication. ICDE 1995: 475-484
65EESang 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
64EEKathleen Neumann, Lawrence J. Henschen: Partitioning Algorithms for a Distributed Deductive Databases. ACM Conference on Computer Science 1994: 288-295
63 Ta-Cheng Yu, Lawrence J. Henschen: Integrating External Functions in an Object Oriented Reasoning System. ICTAI 1994: 712-715
62EEIsmail H. Toroslu, Ghassan Z. Qadah, Lawrence J. Henschen: An efficient database transitive closure algorithm. Appl. Intell. 4(2): 205-218 (1994)
61EECyril 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
60EEDong-Hoon Choi, Lawrence J. Henschen: On Exclusive Disjunctions in Deductive Database. DASFAA 1993: 353-359
59 Ismail H. Toroslu, Lawrence J. Henschen: An Efficient Transitive Closure Algorithm for Distributed Databases. ICCI 1993: 185-189
58 Young K. Nam, Lawrence J. Henschen: A Controlling Scheme for Prolog Through Count Terms. Comput. Lang. 19(4): 235-245 (1993)
57 Sang Ho Lee, Lawrence J. Henschen: Semantics and Properties of Existential Quantifiers in Deductive Databases. Inf. Process. Lett. 47(2): 101-108 (1993)
56 James 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
55 Jonghoon Chun, Lawrence J. Henschen: Processing Knowledge-Based Systems Containing Rules With Complex Bodies. DEXA 1992: 38-43
54EEJonghoon Chun, Lawrence J. Henschen: Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach. SEKE 1992: 109-115
53EEJung-Hong Kao, Lawrence J. Henschen: A Graph Proof Procedure for Real Time Logic. SEKE 1992: 300-306
52EEK. Kim, Lawrence J. Henschen: Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment. SEKE 1992: 63-70
51 Ismail 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
50EECheong 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)
49 James J. Lu, Lawrence J. Henschen: The Completeness of GP-Resolution for Annotated Logics. Inf. Process. Lett. 44(3): 135-140 (1992)
1991
48 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
47 Young 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
46EESang Ho Lee, Lawrence J. Henschen: Evaluation of Extended Recursive Queries in Deductive Databases. DASFAA 1991: 209-215
45EESang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah: Semantic Query Reformulation in Deductive Databases. ICDE 1991: 232-239
44EEHichul An, Lawrence J. Henschen: Knowledge Based Semantic Query Optimization. ISMIS 1991: 82-91
43EEGhassan 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
42EEYusuf Ozturk, Lawrence J. Henschen: Hyper Resolution and Equality Axioms without Function Substitutions. CADE 1990: 456-469
41EESang Ho Lee, Lawrence J. Henschen: Substitution-based Compilation of Extended Rules in Deductive Databases. CADE 1990: 57-71
40EENewton 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
39 Pintsang Chang, Lawrence J. Henschen: Parallel Transitive Closure and Transitive Reduction Algorithms. PARBASE 1990: 152-154
38 Abdallah Al-Sukairi, Lawrence J. Henschen: Query-Independent Compilation of Linear Recursions. SEKE 1990: 177-182
1989
37 Jiawei Han, Lawrence J. Henschen: The Level-Cycle Merging Method. DOOD 1989: 65-81
36 Peter C. Nelson, Lawrence J. Henschen: Multi-Dimensional Heuristic Searching. IJCAI 1989: 316-321
35 Jiawei Han, Lawrence J. Henschen, Ning Zhuang: Derivation of Magic Sets by Compilation. SEKE 1989: 164-171
34EEWilliam McCune, Lawrence J. Henschen: Maintaining state constraints in relational databases: a proof theoretic basis. J. ACM 36(1): 46-68 (1989)
1988
33EEShan Chi, Lawrence J. Henschen: Recursive Query Answering with Non-Horn Clauses. CADE 1988: 294-312
32EEMark Franzen, Lawrence J. Henschen: A New Approach to Universal Unification and Its Application to AC-Unification. CADE 1988: 643-657
31 Ching-Shyan Wu, Lawrence J. Henschen: Answering Linear Recursive Queries in Cyclic Databases. FGCS 1988: 727-734
30 Chan Chi, Lawrence J. Henschen: CAP - A Three-Phase Query Processing Technique for Indefinite Databases. FGCS 1988: 735-744
29 Cheong Youn, Lawrence J. Henschen, Jiawei Han: One-Directional Recursive Formulas. JCDKB 1988: 69-78
28EECheong Youn, Lawrence J. Henschen, Jiawei Han: Classification of Recursive Formulas in Deductive Databases. SIGMOD Conference 1988: 320-328
27 Lawrence J. Henschen, Hyung-Sik Park: Compiling the GCWA in Indefinite Deductive Databases. Foundations of Deductive Databases and Logic Programming. 1988: 395-438
26 Lawrence J. Henschen, Bob P. Weems: A Top-Down Inference Procedure for Template Dependencies. Comput. J. 31(1): 51-55 (1988)
1987
25EEJiawei Han, Lawrence J. Henschen: Handling Redundancy in the Processing of Recursive Database Queries. SIGMOD Conference 1987: 73-81
1986
24 Lawrence J. Henschen, Hyung-Sik Park: Indefinite and GCWA Inference in Indefinite Deductive Databases. AAAI 1986: 191-197
1985
23EEMichael C. Chen, Lawrence J. Henschen: Assumption analysis in compiled logic-based decision support systems (LDSSs) (abstract only). ACM Conference on Computer Science 1985: 429
22 Younghwan Lim, Lawrence J. Henschen: A New Hyperparamodulation Strategy for the Equality Relation. IJCAI 1985: 1138-1145
21 W. W. Bledsoe, Lawrence J. Henschen: What Is Automated Theorem Proving? J. Autom. Reasoning 1(1): 23-28 (1985)
20 Adnan H. Yahya, Lawrence J. Henschen: Deduction in Non-Horn Databases. J. Autom. Reasoning 1(2): 141-160 (1985)
19 William McCune, Lawrence J. Henschen: Experiments with Semantic Paramodulation. J. Autom. Reasoning 1(3): 231-261 (1985)
1984
18 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. Artif. Intell. 22(3): 303-356 (1984)
17EELawrence J. Henschen, Shamim A. Naqvi: On compiling queries in recursive first-order databases. J. ACM 31(1): 47-85 (1984)
1983
16 Shamim A. Naqvi, Lawrence J. Henschen: Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. IJCAI 1983: 25-28
15 William McCune, Lawrence J. Henschen: Semantic Paramodula tion for Horn Sets. IJCAI 1983: 902-908
1982
14 Lawrence J. Henschen, William McCune, Shamim A. Naqvi: Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Data Base Theory 1982: 145-169
13EELawrence J. Henschen, Shamim A. Naqvi: Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. CADE 1982: 342-359
1981
12 Robert Veroff, Lawrence J. Henschen: Application of Automatic Transformations to Program Verification. IJCAI 1981: 472-479
11 Lawrence J. Henschen, Shamim A. Naqvi: An Improved Filter for Literal Indexing in Resolution Systems. IJCAI 1981: 525-529
1980
10 Shamim A. Naqvi, Lawrence J. Henschen: Performing Inferences over Recursive Data Bases. AAAI 1980: 263-265
9EELarry Wos, Ross A. Overbeek, Lawrence J. Henschen: Hyperparamodulation: A Refinement of Paramodulation. CADE 1980: 208-219
1979
8EELawrence J. Henschen: Theorem Proving by Covering Expressions. J. ACM 26(3): 385-400 (1979)
1977
7 S. L. Taylor, Gilbert K. Krulee, Lawrence J. Henschen: Automatic Abstracting of Textual Material. IJCAI 1977: 117-118
6 Lawrence J. Henschen, W. M. Evangelist: Theorem Proving by Covering Expressions. IJCAI 1977: 541-542
1976
5 Lawrence J. Henschen: Introduction: Tutorial on Resolution. IEEE Trans. Computers 25(8): 769-772 (1976)
4 Lawrence J. Henschen: Semantic Resolution for Horn Sets. IEEE Trans. Computers 25(8): 816-822 (1976)
1975
3 Lawrence J. Henschen: Semantic Resolution for Horn Sets. IJCAI 1975: 46-52
1974
2 Lawrence J. Henschen, Ross A. Overbeek, Larry Wos: A Theorem-Proving Language for Experimentation. Commun. ACM 17(6): 308-314 (1974)
1EELawrence 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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)