Lawrence J. Henschen

According to our database, Lawrence J. Henschen authored at least 96 papers between 1972 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Conceptual Design of Management Interface for Wireless Sensor Network System.

Julia Lee, Lawrence J. Henschen

Proceedings of the Human Interface and the Management of Information, 2023

2022

A Broad Platform for Smart City Projects Idea Contribution and Interaction.

Julia Lee, Lawrence J. Henschen

Proceedings of the Distributed, Ambient and Pervasive Interactions. Smart Environments, Ecosystems, and Cities, 2022

Designer Interface for a Class of Wearable Computer Applications.

Lawrence J. Henschen, Julia C. Lee

Proceedings of the Human-Computer Interaction. Theoretical Approaches and Design Methods, 2022

2021

A Smart City Stakeholder Online Meeting Interface.

Julia C. Lee, Lawrence J. Henschen

Proceedings of the Human-Computer Interaction. Design and User Experience Case Studies, 2021

User Interface for Vehicle Theft Recovery System.

Lawrence J. Henschen, Julia C. Lee

Proceedings of the HCI in Mobility, Transport, and Automotive Systems, 2021

2020

Design Interface and Modeling Technique.

Julia C. Lee, Lawrence J. Henschen

Proceedings of the Human-Computer Interaction. Design and User Experience, 2020

On the Integration of Multiple Modeling Methodologies into a Single User Interface.

Lawrence J. Henschen, Julia C. Lee

Proceedings of the Distributed, Ambient and Pervasive Interactions, 2020

2018

Automatic Generation of Human-Computer Interfaces from BACnet Descriptions.

Lawrence J. Henschen, Julia C. Lee, Ries Guthmann

Proceedings of the Distributed, Ambient and Pervasive Interactions: Understanding Humans, 2018

2016

Human-Computer Interfaces for Sensor/Actuator Networks.

Lawrence J. Henschen, Julia C. Lee

Proceedings of the Human-Computer Interaction. Interaction Platforms and Techniques, 2016

2015

On-chip integration of thermoelectric energy harvesting in 3D ICs.

Dawei Li, Seda Ogrenci Memik, Lawrence J. Henschen

Proceedings of the 2015 IEEE International Symposium on Circuits and Systems, 2015

On the Need for Assistance in HTML5 Web Authoring Systems.

Julia C. Lee, Lawrence J. Henschen

Proceedings of the Universal Access in Human-Computer Interaction. Access to Today's Technologies, 2015

Generating User Interfaces for Users with Disabilities Using Libraries of XSLT, UIML, and Stylesheet Files.

Lawrence J. Henschen, Julia C. Lee, Ning Li, Xia Hou

Proceedings of the Universal Access in Human-Computer Interaction. Access to Today's Technologies, 2015

2014

Intelligent Document User Interface Design Using MVC and UIML.

Lawrence J. Henschen, Ning Li, Yunmei Shi, Yuhan Zhang, Julia C. Lee

Proceedings of the Human-Computer Interaction. Theories, Methods, and Tools, 2014

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

Design and Interface Considerations for Web-Enabled Data Management in Civil Infrastructure Health Monitoring.

David E. Kosnik, Lawrence J. Henschen

Proceedings of the Human-Computer Interaction. Applications and Services, 2013

A Web-Based Interface for a System That Designs Sensor Networks.

Lawrence J. Henschen, Julia C. Lee

Proceedings of the Human-Computer Interaction. Interaction Modalities and Techniques, 2013

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 Framework for a User Friendly Wireless Sensor Network Configuration System.

Julia C. Lee, Lawrence J. Henschen

Proceedings of the HCI International 2011 - Posters' Extended Abstracts, 2011

2009

Using Semantic-Level Tags in HTML/XML Documents.

Lawrence J. Henschen, Julia C. Lee

Proceedings of the Universal Access in Human-Computer Interaction. Applications and Services, 2009

2001

Discovering and Resolving User Intent in Heterogeneous Databases.

Chris Fernandes, Lawrence J. Henschen

Fundam. Informaticae, 2001

2000

Identifying relevant constraints for semantic query optimization.

Sang-goo Lee, Lawrence J. Henschen, Jonghun Chun, Taehee Lee

Inf. Softw. Technol., 2000

1999

Using Domain Knowledge in Knowledge Discovery.

Suk-Chung Yoon, Lawrence J. Henschen, E. K. Park, S. A. M. Makki

Proceedings of the 1999 ACM CIKM International Conference on Information and Knowledge Management, 1999

1996

Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query Optimization.

Suk-Chung Yoon, Lawrence J. Henschen

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

1995

Evaluation of Recursive Queries with Extended Rules in Deductive Databases.

Sang Ho Lee, Lawrence J. Henschen

IEEE Trans. Knowl. Data Eng., 1995

A New Recursive Subclass of Domain Independent Formulas Based on Subimplication.

Joonyeoub Sung, Lawrence J. Henschen

Proceedings of the Eleventh International Conference on Data Engineering, 1995

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

An efficient database transitive closure algorithm.

Ismail H. Toroslu, Ghassan Z. Qadah, Lawrence J. Henschen

Appl. Intell., 1994

Integrating External Functions in an Object Oriented Reasoning System.

Ta-Cheng Yu, Lawrence J. Henschen

Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

Partitioning Algorithms for a Distributed Deductive Databases.

Kathleen Neumann, Lawrence J. Henschen

Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994

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

Semantics and Properties of Existential Quantifiers in Deductive Databases.

Sang Ho Lee, Lawrence J. Henschen

Inf. Process. Lett., 1993

A Controlling Scheme for Prolog Through Count Terms.

Young K. Nam, Lawrence J. Henschen

Comput. Lang., 1993

An Efficient Transitive Closure Algorithm for Distributed Databases.

Ismail H. Toroslu, Lawrence J. Henschen

Proceedings of the Computing and Information, 1993

On Exclusive Disjunctions in Deductive Database.

Dong-Hoon Choi, Lawrence J. Henschen

Proceedings of the 3rd International Conference on Database Systems for Advanced Applications (DASFAA), 1993

1992

Classification and Compilation of Linear Recursive Queries in Deductive Databases.

Cheong Youn, Hyoung-Joo Kim, Lawrence J. Henschen, Jiawei Han

IEEE Trans. Knowl. Data Eng., 1992

The Completeness of GP-Resolution for Annotated Logics.

James J. Lu, Lawrence J. Henschen

Inf. Process. Lett., 1992

Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment.

K. Kim, Lawrence J. Henschen

Proceedings of the SEKE'92, 1992

A Graph Proof Procedure for Real Time Logic.

Jung-Hong Kao, Lawrence J. Henschen

Proceedings of the SEKE'92, 1992

Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach.

Jonghoon Chun, Lawrence J. Henschen

Proceedings of the SEKE'92, 1992

Processing Knowledge-Based Systems Containing Rules With Complex Bodies.

Jonghoon Chun, Lawrence J. Henschen

Proceedings of the International Conference on Database and Expert Systems Applications, 1992

Method Inheritance with Object Updates in an Object-Oriented Logic Programming Language.

Ismail H. Toroslu, Ghassan Z. Qadah, Lawrence J. Henschen

Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, 1992

Enforcement of integrity constraints against transactions with transition axioms.

Sang Ho Lee, Lawrence J. Henschen, Myoung-Ho Kim, Yoon-Joon Lee

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991

Efficient Algorithms for the Instantiated Transitive Closure Queries.

Ghassan Z. Qadah, Lawrence J. Henschen, Jung J. Kim

IEEE Trans. Software Eng., 1991

Knowledge Based Semantic Query Optimization.

Hichul An, Lawrence J. Henschen

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Semantic Query Reformulation in Deductive Databases.

Sang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah

Proceedings of the Seventh International Conference on Data Engineering, 1991

Evaluation of Extended Recursive Queries in Deductive Databases.

Sang Ho Lee, Lawrence J. Henschen

Proceedings of the Database Systems for Advanced Applications '91, 1991

Compiling recursive Prolog programs with list structure into procedural languages.

Young K. Nam, Lawrence J. Henschen

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages.

Young K. Nam, Lawrence J. Henschen

Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

Reasoning in Paraconsistent Logics.

James J. Lu, Lawrence J. Henschen, V. S. Subrahmanian, Newton C. A. da Costa

Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

1990

Query-Independent Compilation of Linear Recursions.

Abdallah Al-Sukairi, Lawrence J. Henschen

Proceedings of the SEKE'90, 1990

Parallel Transitive Closure and Transitive Reduction Algorithms.

Pintsang Chang, Lawrence J. Henschen

Proceedings of the First International Conference on Databases, 1990

Knowledge-directed query processing in expert database systems.

Sang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

Compiling linear recursive Prolog programs with list structure into procedural language.

Young K. Nam, Lawrence J. Henschen

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

Hyper Resolution and Equality Axioms without Function Substitutions.

Yusuf Ozturk, Lawrence J. Henschen

Proceedings of the 10th International Conference on Automated Deduction, 1990

Substitution-based Compilation of Extended Rules in Deductive Databases.

Sang Ho Lee, Lawrence J. Henschen

Proceedings of the 10th International Conference on Automated Deduction, 1990

Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation.

Newton C. A. da Costa, Lawrence J. Henschen, James J. Lu, V. S. Subrahmanian

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Maintaining state constraints in relational databases: a proof theoretic basis.

William McCune, Lawrence J. Henschen

J. ACM, 1989

Derivation of Magic Sets by Compilation.

Jiawei Han, Lawrence J. Henschen, Ning Zhuang

Proceedings of the SEKE'89, 1989

Multi-Dimensional Heuristic Searching.

Peter C. Nelson, Lawrence J. Henschen

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

The Level-Cycle Merging Method.

Jiawei Han, Lawrence J. Henschen

Proceedings of the Deductive and Object-Oriented Databases, 1989

1988

A Top-Down Inference Procedure for Template Dependencies.

Lawrence J. Henschen, Bob P. Weems

Comput. J., 1988

Classification of Recursive Formulas in Deductive Databases.

Cheong Youn, Lawrence J. Henschen, Jiawei Han

Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 1988

One-Directional Recursive Formulas.

Cheong Youn, Lawrence J. Henschen, Jiawei Han

Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, 1988

Answering Linear Recursive Queries in Cyclic Databases.

Ching-Shyan Wu, Lawrence J. Henschen

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

CAP - A Three-Phase Query Processing Technique for Indefinite Databases.

Chan Chi, Lawrence J. Henschen

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

A New Approach to Universal Unification and Its Application to AC-Unification.

Mark Franzen, Lawrence J. Henschen

Proceedings of the 9th International Conference on Automated Deduction, 1988

Recursive Query Answering with Non-Horn Clauses.

Shan Chi, Lawrence J. Henschen

Proceedings of the 9th International Conference on Automated Deduction, 1988

Compiling the GCWA in Indefinite Deductive Databases.

Lawrence J. Henschen, Hyung-Sik Park

Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987

Handling Redundancy in the Processing of Recursive Database Queries.

Jiawei Han, Lawrence J. Henschen

Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, 1987

1986

Indefinite and GCWA Inference in Indefinite Deductive Databases.

Lawrence J. Henschen, Hyung-Sik Park

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985

Deduction in Non-Horn Databases.

Adnan H. Yahya, Lawrence J. Henschen

J. Autom. Reason., 1985

Experiments with Semantic Paramodulation.

William McCune, Lawrence J. Henschen

J. Autom. Reason., 1985

What Is Automated Theorem Proving?

W. W. Bledsoe, Lawrence J. Henschen

J. Autom. Reason., 1985

On the use and internal structure of logic-based decision support systems.

Michael C. Chen, Lawrence J. Henschen

Decis. Support Syst., 1985

A New Hyperparamodulation Strategy for the Equality Relation.

Younghwan Lim, Lawrence J. Henschen

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

Assumption analysis in compiled logic-based decision support systems (LDSSs) (abstract only).

Michael C. Chen, Lawrence J. Henschen

Proceedings of the 13th ACM Annual Conference on Computer Science, 1985

1984

On compiling queries in recursive first-order databases.

Lawrence J. Henschen, Shamim A. Naqvi

J. ACM, 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, Robert Veroff, Lawrence J. Henschen

Artif. Intell., 1984

Utilizing first-order logic in query processing.

Djamshid Asgari, Lawrence J. Henschen

Proceedings of the ACM 12th annual computer science conference on SIGCSE symposium, 1984

1983

Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.

Larry Henschen, Barry Smith, Robert Veroff, Steve Winker, Larry Wos

Notre Dame J. Formal Log., 1983

Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs.

Shamim A. Naqvi, Lawrence J. Henschen

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Semantic Paramodulation for Horn Sets.

William McCune, Lawrence J. Henschen

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases.

Lawrence J. Henschen, Shamim A. Naqvi

Proceedings of the 6th Conference on Automated Deduction, 1982

Compiling Constraint-Checking Programs from First-Order Formulas.

Lawrence J. Henschen, William McCune, Shamim A. Naqvi

Proceedings of the Advances in Data Base Theory, 1982

1981

Application of Automatic Transformations to Program Verification.

Robert Veroff, Lawrence J. Henschen

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

An Improved Filter for Literal Indexing in Resolution Systems.

Lawrence J. Henschen, Shamim A. Naqvi

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980

Hyperparamodulation: A Refinement of Paramodulation.

Larry Wos, Ross A. Overbeek, Lawrence J. Henschen

Proceedings of the 5th Conference on Automated Deduction, 1980

Performing Inferences over Recursive Data Bases.

Shamim A. Naqvi, Lawrence J. Henschen

Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1979

Theorem Proving by Covering Expressions.

Lawrence J. Henschen

J. ACM, 1979

1977

Automatic Abstracting of Textual Material.

Stephen L. Taylor, Gilbert K. Krulee, Lawrence J. Henschen

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Theorem Proving by Covering Expressions.

Lawrence J. Henschen, W. M. Evangelist

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

Semantic Resolution for Horn Sets.

Lawrence J. Henschen

IEEE Trans. Computers, 1976

Introduction: Tutorial on Resolution.

Lawrence J. Henschen

IEEE Trans. Computers, 1976

1974

Unit Refutations and Horn Sets.

Lawrence J. Henschen, Larry Wos

J. ACM, 1974

A Theorem-Proving Language for Experimentation.

Lawrence J. Henschen, Ross A. Overbeek, Larry Wos

Commun. ACM, 1974

1972

N-sorted logic for automatic theorem-proving in higher-order logic.

Lawrence J. Henschen

Proceedings of the ACM annual conference, 1972