Lawrence J. Henschen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 95 from 95

2023

A Conceptual Design of Management Interface for Wireless Sensor Network SystemJulia Lee, Lawrence J. Henschen. hci 2023: 509-521 [doi]

2022

Designer Interface for a Class of Wearable Computer ApplicationsLawrence J. Henschen, Julia C. Lee. hci 2022: 197-210 [doi]

A Broad Platform for Smart City Projects Idea Contribution and InteractionJulia Lee, Lawrence J. Henschen. hci 2022: 158-168 [doi]

2021

User Interface for Vehicle Theft Recovery SystemLawrence J. Henschen, Julia C. Lee. hci 2021: 56-72 [doi]

A Smart City Stakeholder Online Meeting InterfaceJulia C. Lee, Lawrence J. Henschen. hci 2021: 554-565 [doi]

2020

On the Integration of Multiple Modeling Methodologies into a Single User InterfaceLawrence J. Henschen, Julia C. Lee. hci 2020: 193-206 [doi]

Design Interface and Modeling TechniqueJulia C. Lee, Lawrence J. Henschen. hci 2020: 97-111 [doi]

2018

Automatic Generation of Human-Computer Interfaces from BACnet DescriptionsLawrence J. Henschen, Julia C. Lee, Ries Guthmann. hci 2018: 71-84 [doi]

2016

Human-Computer Interfaces for Sensor/Actuator NetworksLawrence J. Henschen, Julia C. Lee. hci 2016: 379-387 [doi]

2015

Generating User Interfaces for Users with Disabilities Using Libraries of XSLT, UIML, and Stylesheet FilesLawrence J. Henschen, Julia C. Lee, Ning Li, Xia Hou. hci 2015: 174-182 [doi]

On the Need for Assistance in HTML5 Web Authoring SystemsJulia C. Lee, Lawrence J. Henschen. hci 2015: 213-220 [doi]

On-chip integration of thermoelectric energy harvesting in 3D ICsDawei Li, Seda Ogrenci Memik, Lawrence J. Henschen. iscas 2015: 1078-1081 [doi]

2014

Intelligent Document User Interface Design Using MVC and UIMLLawrence J. Henschen, Ning Li, Yunmei Shi, Yuhan Zhang, Julia C. Lee. hci 2014: 423-432 [doi]

2013

A Web-Based Interface for a System That Designs Sensor NetworksLawrence J. Henschen, Julia C. Lee. hci 2013: 688-697 [doi]

Design and Interface Considerations for Web-Enabled Data Management in Civil Infrastructure Health MonitoringDavid E. Kosnik, Lawrence J. Henschen. hci 2013: 107-116 [doi]

2011

A Framework for a User Friendly Wireless Sensor Network Configuration SystemJulia C. Lee, Lawrence J. Henschen. hci 2011: 57-61 [doi]

2009

Using Semantic-Level Tags in HTML/XML DocumentsLawrence J. Henschen, Julia C. Lee. hci 2009: 683-692 [doi]

2001

Discovering and Resolving User Intent in Heterogeneous DatabasesChris Fernandes, Lawrence J. Henschen. FUIN, 47(1-2):137-154, 2001.

2000

Discovering and Resolving User Intent in Heterogeneous DatabasesChris Fernandes, Lawrence J. Henschen. ismis 2000: 389-399 [doi]

Identifying relevant constraints for semantic query optimizationSang-goo Lee, Lawrence J. Henschen, Jonghun Chun, Taehee Lee. INFSOF, 42(13):899-914, 2000. [doi]

1999

Using Domain Knowledge in Knowledge DiscoverySuk-Chung Yoon, Lawrence J. Henschen, E. K. Park, S. A. M. Makki. CIKM 1999: 243-250 [doi]

1996

Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query OptimizationSuk-Chung Yoon, Lawrence J. Henschen. seke 1996: 108-115

1995

Evaluation of Recursive Queries with Extended Rules in Deductive DatabasesSang Ho Lee, Lawrence J. Henschen. tkde, 7(2):328-331, 1995. [doi]

A New Recursive Subclass of Domain Independent Formulas Based on SubimplicationJoonyeoub Sung, Lawrence J. Henschen. icde 1995: 475-484 [doi]

1994

1993

1992

Processing Knowledge-Based Systems Containing Rules With Complex BodiesJonghoon Chun, Lawrence J. Henschen. DEXA 1992: 38-43

Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based ApproachJonghoon Chun, Lawrence J. Henschen. seke 1992: 109-115 [doi]

A Graph Proof Procedure for Real Time LogicJung-Hong Kao, Lawrence J. Henschen. seke 1992: 300-306 [doi]

Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel EnvironmentK. Kim, Lawrence J. Henschen. seke 1992: 63-70 [doi]

Enforcement of integrity constraints against transactions with transition axiomsSang Ho Lee, Lawrence J. Henschen, Myoung-Ho Kim, Yoon-Joon Lee. compsac 1992: 162-167 [doi]

The Completeness of GP-Resolution for Annotated LogicsJames J. Lu, Lawrence J. Henschen. ipl, 44(3):135-140, 1992.

Method Inheritance with Object Updates in an Object-Oriented Logic Programming LanguageIsmail H. Toroslu, Ghassan Z. Qadah, Lawrence J. Henschen. deductive 1992: 106-115

Classification and Compilation of Linear Recursive Queries in Deductive DatabasesCheong Youn, Hyoung-Joo Kim, Lawrence J. Henschen, Jiawei Han. tkde, 4(1):52-67, 1992. [doi]

1991

Knowledge Based Semantic Query OptimizationHichul An, Lawrence J. Henschen. ismis 1991: 82-91

Evaluation of Extended Recursive Queries in Deductive DatabasesSang Ho Lee, Lawrence J. Henschen. dasfaa 1992: 209-215 [doi]

Semantic Query Reformulation in Deductive DatabasesSang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah. icde 1991: 232-239 [doi]

Reasoning in Paraconsistent LogicsJames J. Lu, Lawrence J. Henschen, V. S. Subrahmanian, Newton C. A. da Costa. BIRTHDAY 1991: 181-210

Compiling Recursive Functional Prolog Programs with List Structure into Procedural LanguagesYoung K. Nam, Lawrence J. Henschen. BIRTHDAY 1991: 211-230

Compiling recursive Prolog programs with list structure into procedural languagesYoung K. Nam, Lawrence J. Henschen. compsac 1991: 281-287 [doi]

Efficient Algorithms for the Instantiated Transitive Closure QueriesGhassan Z. Qadah, Lawrence J. Henschen, Jung J. Kim. TSE, 17(3):296-309, 1991. [doi]

1990

Query-Independent Compilation of Linear RecursionsAbdallah Al-Sukairi, Lawrence J. Henschen. seke 1990: 177-182

Parallel Transitive Closure and Transitive Reduction AlgorithmsPintsang Chang, Lawrence J. Henschen. parbase 1990: 152-154

Automatic Theorem Proving in Paraconsistent Logics: Theory and ImplementationNewton C. A. da Costa, Lawrence J. Henschen, James J. Lu, V. S. Subrahmanian. cade 1990: 72-86

Substitution-based Compilation of Extended Rules in Deductive DatabasesSang Ho Lee, Lawrence J. Henschen. cade 1990: 57-71

Knowledge-directed query processing in expert database systemsSang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah. ictai 1990: 640-646 [doi]

Compiling linear recursive Prolog programs with list structure into procedural languageYoung K. Nam, Lawrence J. Henschen. compsac 1990: 391-398 [doi]

Hyper Resolution and Equality Axioms without Function SubstitutionsYusuf Ozturk, Lawrence J. Henschen. cade 1990: 456-469

1989

The Level-Cycle Merging MethodJiawei Han, Lawrence J. Henschen. DOOD 1989: 65-81

Derivation of Magic Sets by CompilationJiawei Han, Lawrence J. Henschen, Ning Zhuang. seke 1989: 164-171

Maintaining state constraints in relational databases: a proof theoretic basisWilliam McCune, Lawrence J. Henschen. JACM, 36(1):46-68, 1989. [doi]

Multi-Dimensional Heuristic SearchingPeter C. Nelson, Lawrence J. Henschen. IJCAI 1989: 316-321

1988

CAP - A Three-Phase Query Processing Technique for Indefinite DatabasesChan Chi, Lawrence J. Henschen. fgcs 1988: 735-744

Recursive Query Answering with Non-Horn ClausesShan Chi, Lawrence J. Henschen. cade 1988: 294-312

A New Approach to Universal Unification and Its Application to AC-UnificationMark Franzen, Lawrence J. Henschen. cade 1988: 643-657

Compiling the GCWA in Indefinite Deductive DatabasesLawrence J. Henschen, Hyung-Sik Park. In Foundations of Deductive Databases and Logic Programming.. pages 395-438, 1988.

A Top-Down Inference Procedure for Template DependenciesLawrence J. Henschen, Bob P. Weems. cj, 31(1):51-55, 1988.

Answering Linear Recursive Queries in Cyclic DatabasesChing-Shyan Wu, Lawrence J. Henschen. fgcs 1988: 727-734

Classification of Recursive Formulas in Deductive DatabasesCheong Youn, Lawrence J. Henschen, Jiawei Han. SIGMOD 1988: 320-328 [doi]

One-Directional Recursive FormulasCheong Youn, Lawrence J. Henschen, Jiawei Han. jcdkb 1988: 69-78

1987

Handling Redundancy in the Processing of Recursive Database QueriesJiawei Han, Lawrence J. Henschen. SIGMOD 1987: 73-81 [doi]

1986

Indefinite and GCWA Inference in Indefinite Deductive DatabasesLawrence J. Henschen, Hyung-Sik Park. AAAI 1986: 191-197

1985

1984

Utilizing first-order logic in query processingDjamshid Asgari, Lawrence J. Henschen. acmcsc 1984: 147-154 [doi]

On compiling queries in recursive first-order databasesLawrence J. Henschen, Shamim A. Naqvi. JACM, 31(1):47-85, 1984. [doi]

A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite DomainsLarry Wos, S. Winker, B. Smith, Robert Veroff, Lawrence J. Henschen. ai, 22(3):303-356, 1984.

1983

Semantic Paramodula tion for Horn SetsWilliam McCune, Lawrence J. Henschen. IJCAI 1983: 902-908

Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative ProgramsShamim A. Naqvi, Lawrence J. Henschen. IJCAI 1983: 25-28

1982

Representing Infinite Sequences of Resolvents in recursive First-Order Horn DatabasesLawrence J. Henschen, Shamim A. Naqvi. cade 1982: 342-359

Compiling Constraint-Checking Programs from First-Order FormulasLawrence J. Henschen, William McCune, Shamim A. Naqvi. adbt 1982: 145-169

1981

An Improved Filter for Literal Indexing in Resolution SystemsLawrence J. Henschen, Shamim A. Naqvi. IJCAI 1981: 525-529

Application of Automatic Transformations to Program VerificationRobert Veroff, Lawrence J. Henschen. IJCAI 1981: 472-479

1980

Performing Inferences over Recursive Data BasesShamim A. Naqvi, Lawrence J. Henschen. AAAI 1980: 263-265

Hyperparamodulation: A Refinement of ParamodulationLarry Wos, Ross A. Overbeek, Lawrence J. Henschen. cade 1980: 208-219

1979

Theorem Proving by Covering ExpressionsLawrence J. Henschen. JACM, 26(3):385-400, 1979. [doi]

1977

Theorem Proving by Covering ExpressionsLawrence J. Henschen, W. M. Evangelist. IJCAI 1977: 541-542

Automatic Abstracting of Textual MaterialS. L. Taylor, Gilbert K. Krulee, Lawrence J. Henschen. IJCAI 1977: 117-118

1976

Introduction: Tutorial on ResolutionLawrence J. Henschen. TC, 25(8):769-772, 1976.

Semantic Resolution for Horn SetsLawrence J. Henschen. TC, 25(8):816-822, 1976.

1975

Semantic Resolution for Horn SetsLawrence J. Henschen. IJCAI 1975: 46-52

1974

A Theorem-Proving Language for ExperimentationLawrence J. Henschen, Ross A. Overbeek, Larry Wos. CACM, 17(6):308-314, 1974.

Unit Refutations and Horn SetsLawrence J. Henschen, Larry Wos. JACM, 21(4):590-605, 1974. [doi]

1972

N-sorted logic for automatic theorem-proving in higher-order logicLawrence J. Henschen. acm 1972: 71-81 [doi]

Sign in or sign up to see more results.

runs on WebDSL