Lawrence J. Henschen

Affiliations:
  • Northwestern University, Illinois, USA


According to our database1, Lawrence J. Henschen authored at least 93 papers between 1972 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
A Smart City Stakeholder Online Meeting Interface.
Proceedings of the Human-Computer Interaction. Design and User Experience Case Studies, 2021

User Interface for Vehicle Theft Recovery System.
Proceedings of the HCI in Mobility, Transport, and Automotive Systems, 2021

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

On the Integration of Multiple Modeling Methodologies into a Single User Interface.
Proceedings of the Distributed, Ambient and Pervasive Interactions, 2020

2018
Automatic Generation of Human-Computer Interfaces from BACnet Descriptions.
Proceedings of the Distributed, Ambient and Pervasive Interactions: Understanding Humans, 2018

2016
Human-Computer Interfaces for Sensor/Actuator Networks.
Proceedings of the Human-Computer Interaction. Interaction Platforms and Techniques, 2016

2015
On-chip integration of thermoelectric energy harvesting in 3D ICs.
Proceedings of the 2015 IEEE International Symposium on Circuits and Systems, 2015

On the Need for Assistance in HTML5 Web Authoring Systems.
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.
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.
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.
Appl. Soft Comput., 2013

Design and Interface Considerations for Web-Enabled Data Management in Civil Infrastructure Health Monitoring.
Proceedings of the Human-Computer Interaction. Applications and Services, 2013

A Web-Based Interface for a System That Designs Sensor Networks.
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.
Appl. Soft Comput., 2011

A Framework for a User Friendly Wireless Sensor Network Configuration System.
Proceedings of the HCI International 2011 - Posters' Extended Abstracts, 2011

2009
Using Semantic-Level Tags in HTML/XML Documents.
Proceedings of the Universal Access in Human-Computer Interaction. Applications and Services, 2009

2001
Discovering and Resolving User Intent in Heterogeneous Databases.
Fundam. Informaticae, 2001

2000
Identifying relevant constraints for semantic query optimization.
Inf. Softw. Technol., 2000

1999
Using Domain Knowledge in Knowledge Discovery.
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.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

1995
Evaluation of Recursive Queries with Extended Rules in Deductive Databases.
IEEE Trans. Knowl. Data Eng., 1995

A New Recursive Subclass of Domain Independent Formulas Based on Subimplication.
Proceedings of the Eleventh International Conference on Data Engineering, 1995

1994
An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases.
IEEE Trans. Knowl. Data Eng., 1994

An efficient database transitive closure algorithm.
Appl. Intell., 1994

Integrating External Functions in an Object Oriented Reasoning System.
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

Partitioning Algorithms for a Distributed Deductive Databases.
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.
J. Autom. Reason., 1993

Semantics and Properties of Existential Quantifiers in Deductive Databases.
Inf. Process. Lett., 1993

A Controlling Scheme for Prolog Through Count Terms.
Comput. Lang., 1993

An Efficient Transitive Closure Algorithm for Distributed Databases.
Proceedings of the Computing and Information, 1993

On Exclusive Disjunctions in Deductive Database.
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.
IEEE Trans. Knowl. Data Eng., 1992

The Completeness of GP-Resolution for Annotated Logics.
Inf. Process. Lett., 1992

Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment.
Proceedings of the SEKE'92, 1992

A Graph Proof Procedure for Real Time Logic.
Proceedings of the SEKE'92, 1992

Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach.
Proceedings of the SEKE'92, 1992

Processing Knowledge-Based Systems Containing Rules With Complex Bodies.
Proceedings of the International Conference on Database and Expert Systems Applications, 1992

Method Inheritance with Object Updates in an Object-Oriented Logic Programming Language.
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.
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991
Efficient Algorithms for the Instantiated Transitive Closure Queries.
IEEE Trans. Software Eng., 1991

Knowledge Based Semantic Query Optimization.
Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Semantic Query Reformulation in Deductive Databases.
Proceedings of the Seventh International Conference on Data Engineering, 1991

Evaluation of Extended Recursive Queries in Deductive Databases.
Proceedings of the Database Systems for Advanced Applications '91, 1991

Compiling recursive Prolog programs with list structure into procedural languages.
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages.
Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

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

1990
Query-Independent Compilation of Linear Recursions.
Proceedings of the SEKE'90, 1990

Parallel Transitive Closure and Transitive Reduction Algorithms.
Proceedings of the First International Conference on Databases, 1990

Knowledge-directed query processing in expert database systems.
Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

Compiling linear recursive Prolog programs with list structure into procedural language.
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

Hyper Resolution and Equality Axioms without Function Substitutions.
Proceedings of the 10th International Conference on Automated Deduction, 1990

Substitution-based Compilation of Extended Rules in Deductive Databases.
Proceedings of the 10th International Conference on Automated Deduction, 1990

Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation.
Proceedings of the 10th International Conference on Automated Deduction, 1990

1989
Maintaining state constraints in relational databases: a proof theoretic basis.
J. ACM, 1989

Derivation of Magic Sets by Compilation.
Proceedings of the SEKE'89, 1989

Multi-Dimensional Heuristic Searching.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

The Level-Cycle Merging Method.
Proceedings of the Deductive and Object-Oriented Databases, 1989

1988
A Top-Down Inference Procedure for Template Dependencies.
Comput. J., 1988

Classification of Recursive Formulas in Deductive Databases.
Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 1988

One-Directional Recursive Formulas.
Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, 1988

Answering Linear Recursive Queries in Cyclic Databases.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

CAP - A Three-Phase Query Processing Technique for Indefinite Databases.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

A New Approach to Universal Unification and Its Application to AC-Unification.
Proceedings of the 9th International Conference on Automated Deduction, 1988

Recursive Query Answering with Non-Horn Clauses.
Proceedings of the 9th International Conference on Automated Deduction, 1988

Compiling the GCWA in Indefinite Deductive Databases.
Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987
Handling Redundancy in the Processing of Recursive Database Queries.
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.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985
Deduction in Non-Horn Databases.
J. Autom. Reason., 1985

Experiments with Semantic Paramodulation.
J. Autom. Reason., 1985

What Is Automated Theorem Proving?
J. Autom. Reason., 1985

On the use and internal structure of logic-based decision support systems.
Decis. Support Syst., 1985

A New Hyperparamodulation Strategy for the Equality Relation.
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).
Proceedings of the 13th ACM Annual Conference on Computer Science, 1985

1984
On compiling queries in recursive first-order databases.
J. ACM, 1984

A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains.
Artif. Intell., 1984

Utilizing first-order logic in query processing.
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.
Notre Dame J. Formal Log., 1983

Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Semantic Paramodulation for Horn Sets.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982
Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases.
Proceedings of the 6th Conference on Automated Deduction, 1982

Compiling Constraint-Checking Programs from First-Order Formulas.
Proceedings of the Advances in Data Base Theory, 1982

1981
Application of Automatic Transformations to Program Verification.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

An Improved Filter for Literal Indexing in Resolution Systems.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980
Hyperparamodulation: A Refinement of Paramodulation.
Proceedings of the 5th Conference on Automated Deduction, 1980

Performing Inferences over Recursive Data Bases.
Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1979
Theorem Proving by Covering Expressions.
J. ACM, 1979

1977
Automatic Abstracting of Textual Material.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Theorem Proving by Covering Expressions.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976
Semantic Resolution for Horn Sets.
IEEE Trans. Computers, 1976

Introduction: Tutorial on Resolution.
IEEE Trans. Computers, 1976

1974
Unit Refutations and Horn Sets.
J. ACM, 1974

A Theorem-Proving Language for Experimentation.
Commun. ACM, 1974

1972
N-sorted logic for automatic theorem-proving in higher-order logic.
Proceedings of the ACM annual conference, 1972


  Loading...