N-sorted logic for automatic theorem-proving in higher-order logic. - Lawrence J. Henschen (ACM Annual Conference (1), 1972)

A Theorem-Proving Language for Experimentation. - Lawrence J. Henschen; Ross A. Overbeek; Larry Wos (Commun. ACM, 1974)

Unit Refutations and Horn Sets. - Lawrence J. Henschen; Larry Wos (J. ACM, 1974)

Introduction: Tutorial on Resolution. - Lawrence J. Henschen (IEEE Trans. Computers, 1976)

Semantic Resolution for Horn Sets. - Lawrence J. Henschen (IEEE Trans. Computers, 1976)

Theorem Proving by Covering Expressions. - Lawrence J. Henschen; W. M. Evangelist (IJCAI, 1977)

Automatic Abstracting of Textual Material. - Stephen L. Taylor; Gilbert K. Krulee; Lawrence J. Henschen (IJCAI, 1977)

Theorem Proving by Covering Expressions. - Lawrence J. Henschen (J. ACM, 1979)

Performing Inferences over Recursive Data Bases. - Shamim A. Naqvi; Lawrence J. Henschen (AAAI, 1980)

Hyperparamodulation: A Refinement of Paramodulation. - Larry Wos; Ross A. Overbeek; Lawrence J. Henschen (CADE, 1980)

An Improved Filter for Literal Indexing in Resolution Systems. - Lawrence J. Henschen; Shamim A. Naqvi (IJCAI, 1981)

Application of Automatic Transformations to Program Verification. - Robert Veroff; Lawrence J. Henschen (IJCAI, 1981)

Compiling Constraint-Checking Programs from First-Order Formulas. - Lawrence J. Henschen; William McCune; Shamim A. Naqvi (Advances in Data Base Theory, 1982)

Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. - Lawrence J. Henschen; Shamim A. Naqvi (CADE, 1982)

Semantic Paramodulation for Horn Sets. - William McCune; Lawrence J. Henschen (IJCAI, 1983)

Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. - Shamim A. Naqvi; Lawrence J. Henschen (IJCAI, 1983)

Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. - Larry Henschen; Barry Smith 002; Robert Veroff; Steve Winker; Larry Wos (Notre Dame J. Formal Log., 1983)

Utilizing first-order logic in query processing. - Djamshid Asgari; Lawrence J. Henschen (ACM Conference on Computer Science, 1984)

A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains. - Larry Wos; Steve Winker; Barry Smith 002; Robert Veroff; Lawrence J. Henschen (Artif. Intell., 1984)

On compiling queries in recursive first-order databases. - Lawrence J. Henschen; Shamim A. Naqvi (J. ACM, 1984)

Assumption analysis in compiled logic-based decision support systems (LDSSs) (abstract only). - Michael C. Chen; Lawrence J. Henschen (ACM Conference on Computer Science, 1985)

A New Hyperparamodulation Strategy for the Equality Relation. - Younghwan Lim; Lawrence J. Henschen (IJCAI, 1985)

On the use and internal structure of logic-based decision support systems. - Michael C. Chen; Lawrence J. Henschen (Decis. Support Syst., 1985)

What Is Automated Theorem Proving? - W. W. Bledsoe; Lawrence J. Henschen (J. Autom. Reason., 1985)

Experiments with Semantic Paramodulation. - William McCune; Lawrence J. Henschen (J. Autom. Reason., 1985)

Deduction in Non-Horn Databases. - Adnan H. Yahya; Lawrence J. Henschen (J. Autom. Reason., 1985)

Indefinite and GCWA Inference in Indefinite Deductive Databases. - Lawrence J. Henschen; Hyung-Sik Park (AAAI, 1986)

Handling Redundancy in the Processing of Recursive Database Queries. - Jiawei Han 001; Lawrence J. Henschen (SIGMOD Conference, 1987)

Compiling the GCWA in Indefinite Deductive Databases. - Lawrence J. Henschen; Hyung-Sik Park (Foundations of Deductive Databases and Logic Programming., 1988)

Recursive Query Answering with Non-Horn Clauses. - Shan Chi; Lawrence J. Henschen (CADE, 1988)

A New Approach to Universal Unification and Its Application to AC-Unification. - Mark Franzen; Lawrence J. Henschen (CADE, 1988)

CAP - A Three-Phase Query Processing Technique for Indefinite Databases. - Chan Chi; Lawrence J. Henschen (FGCS, 1988)

Answering Linear Recursive Queries in Cyclic Databases. - Ching-Shyan Wu; Lawrence J. Henschen (FGCS, 1988)

One-Directional Recursive Formulas. - Cheong Youn; Lawrence J. Henschen; Jiawei Han 001 (JCDKB, 1988)

Classification of Recursive Formulas in Deductive Databases. - Cheong Youn; Lawrence J. Henschen; Jiawei Han 001 (SIGMOD Conference, 1988)

A Top-Down Inference Procedure for Template Dependencies. - Lawrence J. Henschen; Bob P. Weems (Comput. J., 1988)

The Level-Cycle Merging Method. - Jiawei Han 001; Lawrence J. Henschen (DOOD, 1989)

Multi-Dimensional Heuristic Searching. - Peter C. Nelson; Lawrence J. Henschen (IJCAI, 1989)

Derivation of Magic Sets by Compilation. - Jiawei Han 001; Lawrence J. Henschen; Ning Zhuang (SEKE, 1989)

Maintaining state constraints in relational databases: a proof theoretic basis. - William McCune; Lawrence J. Henschen (J. ACM, 1989)

Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation. - Newton C. A. da Costa; Lawrence J. Henschen; James J. Lu; V. S. Subrahmanian (CADE, 1990)

Substitution-based Compilation of Extended Rules in Deductive Databases. - Sang Ho Lee; Lawrence J. Henschen (CADE, 1990)

Hyper Resolution and Equality Axioms without Function Substitutions. - Yusuf Ozturk; Lawrence J. Henschen (CADE, 1990)

Compiling linear recursive Prolog programs with list structure into procedural language. - Young K. Nam; Lawrence J. Henschen (COMPSAC, 1990)

Knowledge-directed query processing in expert database systems. - Sang-goo Lee; Lawrence J. Henschen; Ghassan Z. Qadah (TAI, 1990)

Parallel Transitive Closure and Transitive Reduction Algorithms. - Pintsang Chang; Lawrence J. Henschen (PARBASE, 1990)

Query-Independent Compilation of Linear Recursions. - Abdallah Al-Sukairi; Lawrence J. Henschen (SEKE, 1990)

Reasoning in Paraconsistent Logics. - James J. Lu; Lawrence J. Henschen; V. S. Subrahmanian; Newton C. A. da Costa (Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991)

Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages. - Young K. Nam; Lawrence J. Henschen (Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991)

Compiling recursive Prolog programs with list structure into procedural languages. - Young K. Nam; Lawrence J. Henschen (COMPSAC, 1991)

Evaluation of Extended Recursive Queries in Deductive Databases. - Sang Ho Lee; Lawrence J. Henschen (DASFAA, 1991)

Semantic Query Reformulation in Deductive Databases. - Sang-goo Lee; Lawrence J. Henschen; Ghassan Z. Qadah (ICDE, 1991)

Knowledge Based Semantic Query Optimization. - Hichul An; Lawrence J. Henschen (ISMIS, 1991)

Efficient Algorithms for the Instantiated Transitive Closure Queries. - Ghassan Z. Qadah; Lawrence J. Henschen; Jung J. Kim (IEEE Trans. Software Eng., 1991)

Enforcement of integrity constraints against transactions with transition axioms. - Sang Ho Lee; Lawrence J. Henschen; Myoung-Ho Kim; Yoon-Joon Lee (COMPSAC, 1992)

Method Inheritance with Object Updates in an Object-Oriented Logic Programming Language. - Ismail H. Toroslu; Ghassan Z. Qadah; Lawrence J. Henschen (Workshop on Deductive Databases, JICSLP, 1992)

Processing Knowledge-Based Systems Containing Rules With Complex Bodies. - Jonghoon Chun; Lawrence J. Henschen (DEXA, 1992)

Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach. - Jonghoon Chun; Lawrence J. Henschen (SEKE, 1992)

A Graph Proof Procedure for Real Time Logic. - Jung-Hong Kao; Lawrence J. Henschen (SEKE, 1992)

Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment. - K. Kim; Lawrence J. Henschen (SEKE, 1992)

The Completeness of GP-Resolution for Annotated Logics. - James J. Lu; Lawrence J. Henschen (Inf. Process. Lett., 1992)

Classification and Compilation of Linear Recursive Queries in Deductive Databases. - Cheong Youn; Hyoung-Joo Kim; Lawrence J. Henschen; Jiawei Han 001 (IEEE Trans. Knowl. Data Eng., 1992)

On Exclusive Disjunctions in Deductive Database. - Dong-Hoon Choi; Lawrence J. Henschen (DASFAA, 1993)

An Efficient Transitive Closure Algorithm for Distributed Databases. - Ismail H. Toroslu; Lawrence J. Henschen (ICCI, 1993)

A Controlling Scheme for Prolog Through Count Terms. - Young K. Nam; Lawrence J. Henschen (Comput. Lang., 1993)

Semantics and Properties of Existential Quantifiers in Deductive Databases. - Sang Ho Lee; Lawrence J. Henschen (Inf. Process. Lett., 1993)

Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction. - James J. Lu; Monica D. Barback; Lawrence J. Henschen (J. Autom. Reason., 1993)

Partitioning Algorithms for a Distributed Deductive Databases. - Kathleen Neumann; Lawrence J. Henschen (ACM Conference on Computer Science, 1994)

Integrating External Functions in an Object Oriented Reasoning System. - Ta-Cheng Yu; Lawrence J. Henschen (ICTAI, 1994)

An efficient database transitive closure algorithm. - Ismail H. Toroslu; Ghassan Z. Qadah; Lawrence J. Henschen (Appl. Intell., 1994)

An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases. - Cyril S. Ku; Heung D. Kim; Lawrence J. Henschen (IEEE Trans. Knowl. Data Eng., 1994)

A New Recursive Subclass of Domain Independent Formulas Based on Subimplication. - Joonyeoub Sung; Lawrence J. Henschen (ICDE, 1995)

Evaluation of Recursive Queries with Extended Rules in Deductive Databases. - Sang Ho Lee; Lawrence J. Henschen (IEEE Trans. Knowl. Data Eng., 1995)

Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query Optimization. - Suk-Chung Yoon; Lawrence J. Henschen (SEKE, 1996)

Using Domain Knowledge in Knowledge Discovery. - Suk-Chung Yoon; Lawrence J. Henschen; E. K. Park; S. A. M. Makki (CIKM, 1999)

Identifying relevant constraints for semantic query optimization. - Sang-goo Lee; Lawrence J. Henschen; Jonghun Chun; Taehee Lee 001 (Inf. Softw. Technol., 2000)

Discovering and Resolving User Intent in Heterogeneous Databases. - Chris Fernandes; Lawrence J. Henschen (Fundam. Informaticae, 2001)

Using Semantic-Level Tags in HTML/XML Documents. - Lawrence J. Henschen; Julia C. Lee (HCI (7), 2009)

A Framework for a User Friendly Wireless Sensor Network Configuration System. - Julia C. Lee; Lawrence J. Henschen (HCI (23), 2011)

A new robot navigation algorithm for dynamic unknown environments based on dynamic path re-computation and an improved scout ant algorithm. - Qingbao Zhu; Jun Hu; Wenbin Cai; Larry Henschen (Appl. Soft Comput., 2011)

A Web-Based Interface for a System That Designs Sensor Networks. - Lawrence J. Henschen; Julia C. Lee (HCI (4), 2013)

Design and Interface Considerations for Web-Enabled Data Management in Civil Infrastructure Health Monitoring. - David E. Kosnik; Lawrence J. Henschen (HCI (2), 2013)

A new moving target interception algorithm for mobile robots based on sub-goal forecasting and an improved scout ant algorithm. - Qingbao Zhu; Jun Hu; Larry Henschen (Appl. Soft Comput., 2013)

Intelligent Document User Interface Design Using MVC and UIML. - Lawrence J. Henschen; Ning Li 024; Yunmei Shi; Yuhan Zhang; Julia C. Lee (HCI (1), 2014)

Generating User Interfaces for Users with Disabilities Using Libraries of XSLT, UIML, and Stylesheet Files. - Lawrence J. Henschen; Julia C. Lee; Ning Li 024; Xia Hou (HCI (7), 2015)

On the Need for Assistance in HTML5 Web Authoring Systems. - Julia C. Lee; Lawrence J. Henschen (HCI (7), 2015)

On-chip integration of thermoelectric energy harvesting in 3D ICs. - Dawei Li; Seda Ogrenci Memik; Lawrence J. Henschen (ISCAS, 2015)

Human-Computer Interfaces for Sensor/Actuator Networks. - Lawrence J. Henschen; Julia C. Lee (HCI (2), 2016)

Automatic Generation of Human-Computer Interfaces from BACnet Descriptions. - Lawrence J. Henschen; Julia C. Lee; Ries Guthmann (HCI (21), 2018)

On the Integration of Multiple Modeling Methodologies into a Single User Interface. - Lawrence J. Henschen; Julia C. Lee (HCI (23), 2020)

Design Interface and Modeling Technique. - Julia C. Lee; Lawrence J. Henschen (HCI (1), 2020)

User Interface for Vehicle Theft Recovery System. - Lawrence J. Henschen; Julia C. Lee (HCI (30), 2021)

A Smart City Stakeholder Online Meeting Interface. - Julia C. Lee; Lawrence J. Henschen (HCI (3), 2021)

Designer Interface for a Class of Wearable Computer Applications. - Lawrence J. Henschen; Julia C. Lee (HCI (1), 2022)

A Broad Platform for Smart City Projects Idea Contribution and Interaction. - Julia Lee; Lawrence J. Henschen (HCI (24), 2022)

A Conceptual Design of Management Interface for Wireless Sensor Network System. - Julia Lee; Lawrence J. Henschen (HCI (6), 2023)