Lawrence J. Henschen

	2009
72		Lawrence 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
70		Chris Fernandes, Lawrence J. Henschen: Discovering and Resolving User Intent in Heterogeneous Databases. ISMIS 2000: 389-399
69		Sang-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
68		Suk-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
66		Joonyeoub Sung, Lawrence J. Henschen: A New Recursive Subclass of Domain Independent Formulas Based on Subimplication. ICDE 1995: 475-484
65		Sang 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
64		Kathleen 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
62		Ismail H. Toroslu, Ghassan Z. Qadah, Lawrence J. Henschen: An efficient database transitive closure algorithm. Appl. Intell. 4(2): 205-218 (1994)
61		Cyril 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
60		Dong-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
54		Jonghoon Chun, Lawrence J. Henschen: Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach. SEKE 1992: 109-115
53		Jung-Hong Kao, Lawrence J. Henschen: A Graph Proof Procedure for Real Time Logic. SEKE 1992: 300-306
52		K. 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
50		Cheong 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
46		Sang Ho Lee, Lawrence J. Henschen: Evaluation of Extended Recursive Queries in Deductive Databases. DASFAA 1991: 209-215
45		Sang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah: Semantic Query Reformulation in Deductive Databases. ICDE 1991: 232-239
44		Hichul An, Lawrence J. Henschen: Knowledge Based Semantic Query Optimization. ISMIS 1991: 82-91
43		Ghassan 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
42		Yusuf Ozturk, Lawrence J. Henschen: Hyper Resolution and Equality Axioms without Function Substitutions. CADE 1990: 456-469
41		Sang Ho Lee, Lawrence J. Henschen: Substitution-based Compilation of Extended Rules in Deductive Databases. CADE 1990: 57-71
40		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: 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
34		William McCune, Lawrence J. Henschen: Maintaining state constraints in relational databases: a proof theoretic basis. J. ACM 36(1): 46-68 (1989)
	1988
33		Shan Chi, Lawrence J. Henschen: Recursive Query Answering with Non-Horn Clauses. CADE 1988: 294-312
32		Mark 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
28		Cheong 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
25		Jiawei 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
23		Michael 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)
17		Lawrence 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
13		Lawrence 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
9		Larry Wos, Ross A. Overbeek, Lawrence J. Henschen: Hyperparamodulation: A Refinement of Paramodulation. CADE 1980: 208-219
	1979
8		Lawrence 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)
1		Lawrence J. Henschen, Larry Wos: Unit Refutations and Horn Sets. J. ACM 21(4): 590-605 (1974)

Coauthor Index

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

Colors in the list of coauthors