![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Lawrence J. Henschen
Person information
- affiliation: Northwestern University, Illinois, USA
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2013
- [j27]Qingbao Zhu, Jun Hu, Larry Henschen:
A new moving target interception algorithm for mobile robots based on sub-goal forecasting and an improved scout ant algorithm. Appl. Soft Comput. 13(1): 539-549 (2013) - 2011
- [j26]Qingbao Zhu, Jun Hu, Wenbin Cai, Larry Henschen:
A new robot navigation algorithm for dynamic unknown environments based on dynamic path re-computation and an improved scout ant algorithm. Appl. Soft Comput. 11(8): 4667-4676 (2011) - 2001
- [j25]Chris Fernandes, Lawrence J. Henschen:
Discovering and Resolving User Intent in Heterogeneous Databases. Fundam. Informaticae 47(1-2): 137-154 (2001) - 2000
- [j24]Sang-goo Lee, Lawrence J. Henschen, Jonghun Chun, Taehee Lee:
Identifying relevant constraints for semantic query optimization. Inf. Softw. Technol. 42(13): 899-914 (2000) - 1995
- [j23]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
- [j22]Ismail H. Toroslu
, Ghassan Z. Qadah, Lawrence J. Henschen:
An efficient database transitive closure algorithm. Appl. Intell. 4(2): 205-218 (1994) - [j21]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
- [j20]Young K. Nam, Lawrence J. Henschen:
A Controlling Scheme for Prolog Through Count Terms. Comput. Lang. 19(4): 235-245 (1993) - [j19]Sang Ho Lee, Lawrence J. Henschen:
Semantics and Properties of Existential Quantifiers in Deductive Databases. Inf. Process. Lett. 47(2): 101-108 (1993) - [j18]James J. Lu, Monica D. Barback, Lawrence J. Henschen:
Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction. J. Autom. Reason. 10(3): 345-370 (1993) - 1992
- [j17]James J. Lu, Lawrence J. Henschen:
The Completeness of GP-Resolution for Annotated Logics. Inf. Process. Lett. 44(3): 135-140 (1992) - [j16]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) - 1991
- [j15]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) - 1989
- [j14]William McCune, Lawrence J. Henschen:
Maintaining state constraints in relational databases: a proof theoretic basis. J. ACM 36(1): 46-68 (1989) - 1988
- [j13]Lawrence J. Henschen, Bob P. Weems:
A Top-Down Inference Procedure for Template Dependencies. Comput. J. 31(1): 51-55 (1988) - 1985
- [j12]Michael C. Chen, Lawrence J. Henschen:
On the use and internal structure of logic-based decision support systems. Decis. Support Syst. 1(3): 205-219 (1985) - [j11]W. W. Bledsoe, Lawrence J. Henschen:
What Is Automated Theorem Proving? J. Autom. Reason. 1(1): 23-28 (1985) - [j10]Adnan H. Yahya, Lawrence J. Henschen:
Deduction in Non-Horn Databases. J. Autom. Reason. 1(2): 141-160 (1985) - [j9]William McCune, Lawrence J. Henschen:
Experiments with Semantic Paramodulation. J. Autom. Reason. 1(3): 231-261 (1985) - 1984
- [j8]Larry Wos, Steve Winker, Barry 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) - [j7]Lawrence J. Henschen, Shamim A. Naqvi:
On compiling queries in recursive first-order databases. J. ACM 31(1): 47-85 (1984) - 1983
- [j6]Larry Henschen, Barry Smith, Robert Veroff, Steve Winker, Larry Wos:
Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. Notre Dame J. Formal Log. 24(2): 205-223 (1983) - 1979
- [j5]Lawrence J. Henschen:
Theorem Proving by Covering Expressions. J. ACM 26(3): 385-400 (1979) - 1976
- [j4]Lawrence J. Henschen:
Introduction: Tutorial on Resolution. IEEE Trans. Computers 25(8): 769-772 (1976) - [j3]Lawrence J. Henschen:
Semantic Resolution for Horn Sets. IEEE Trans. Computers 25(8): 816-822 (1976) - 1974
- [j2]Lawrence J. Henschen, Ross A. Overbeek, Larry Wos:
A Theorem-Proving Language for Experimentation. Commun. ACM 17(6): 308-314 (1974) - [j1]Lawrence J. Henschen, Larry Wos:
Unit Refutations and Horn Sets. J. ACM 21(4): 590-605 (1974)
Conference and Workshop Papers
- 2023
- [c70]Julia Lee, Lawrence J. Henschen:
A Conceptual Design of Management Interface for Wireless Sensor Network System. HCI (6) 2023: 509-521 - 2022
- [c69]Julia Lee, Lawrence J. Henschen:
A Broad Platform for Smart City Projects Idea Contribution and Interaction. HCI (24) 2022: 158-168 - [c68]Lawrence J. Henschen, Julia C. Lee:
Designer Interface for a Class of Wearable Computer Applications. HCI (1) 2022: 197-210 - 2021
- [c67]Lawrence J. Henschen, Julia C. Lee:
User Interface for Vehicle Theft Recovery System. HCI (30) 2021: 56-72 - [c66]Julia C. Lee, Lawrence J. Henschen:
A Smart City Stakeholder Online Meeting Interface. HCI (3) 2021: 554-565 - 2020
- [c65]Julia C. Lee, Lawrence J. Henschen:
Design Interface and Modeling Technique. HCI (1) 2020: 97-111 - [c64]Lawrence J. Henschen, Julia C. Lee:
On the Integration of Multiple Modeling Methodologies into a Single User Interface. HCI (23) 2020: 193-206 - 2018
- [c63]Lawrence J. Henschen, Julia C. Lee, Ries Guthmann:
Automatic Generation of Human-Computer Interfaces from BACnet Descriptions. HCI (21) 2018: 71-84 - 2016
- [c62]Lawrence J. Henschen, Julia C. Lee:
Human-Computer Interfaces for Sensor/Actuator Networks. HCI (2) 2016: 379-387 - 2015
- [c61]Lawrence J. Henschen, Julia C. Lee, Ning Li, Xia Hou:
Generating User Interfaces for Users with Disabilities Using Libraries of XSLT, UIML, and Stylesheet Files. HCI (7) 2015: 174-182 - [c60]Julia C. Lee, Lawrence J. Henschen:
On the Need for Assistance in HTML5 Web Authoring Systems. HCI (7) 2015: 213-220 - [c59]Dawei Li, Seda Ogrenci Memik, Lawrence J. Henschen:
On-chip integration of thermoelectric energy harvesting in 3D ICs. ISCAS 2015: 1078-1081 - 2014
- [c58]Lawrence J. Henschen, Ning Li, Yunmei Shi, Yuhan Zhang, Julia C. Lee:
Intelligent Document User Interface Design Using MVC and UIML. HCI (1) 2014: 423-432 - 2013
- [c57]David E. Kosnik
, Lawrence J. Henschen:
Design and Interface Considerations for Web-Enabled Data Management in Civil Infrastructure Health Monitoring. HCI (2) 2013: 107-116 - [c56]Lawrence J. Henschen, Julia C. Lee:
A Web-Based Interface for a System That Designs Sensor Networks. HCI (4) 2013: 688-697 - 2011
- [c55]Julia C. Lee, Lawrence J. Henschen:
A Framework for a User Friendly Wireless Sensor Network Configuration System. HCI (23) 2011: 57-61 - 2009
- [c54]Lawrence J. Henschen, Julia C. Lee:
Using Semantic-Level Tags in HTML/XML Documents. HCI (7) 2009: 683-692 - 2000
- [c53]Chris Fernandes, Lawrence J. Henschen:
Discovering and Resolving User Intent in Heterogeneous Databases. ISMIS 2000: 389-399 - 1999
- [c52]Suk-Chung Yoon, Lawrence J. Henschen, E. K. Park, S. A. M. Makki:
Using Domain Knowledge in Knowledge Discovery. CIKM 1999: 243-250 - 1996
- [c51]Suk-Chung Yoon, Lawrence J. Henschen:
Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query Optimization. SEKE 1996: 108-115 - 1995
- [c50]Joonyeoub Sung, Lawrence J. Henschen:
A New Recursive Subclass of Domain Independent Formulas Based on Subimplication. ICDE 1995: 475-484 - 1994
- [c49]Kathleen Neumann, Lawrence J. Henschen:
Partitioning Algorithms for a Distributed Deductive Databases. ACM Conference on Computer Science 1994: 288-295 - [c48]Ta-Cheng Yu, Lawrence J. Henschen:
Integrating External Functions in an Object Oriented Reasoning System. ICTAI 1994: 712-715 - 1993
- [c47]Dong-Hoon Choi, Lawrence J. Henschen:
On Exclusive Disjunctions in Deductive Database. DASFAA 1993: 353-359 - [c46]Ismail H. Toroslu, Lawrence J. Henschen:
An Efficient Transitive Closure Algorithm for Distributed Databases. ICCI 1993: 185-189 - 1992
- [c45]Sang Ho Lee, Lawrence J. Henschen, Myoung-Ho Kim, Yoon-Joon Lee:
Enforcement of integrity constraints against transactions with transition axioms. COMPSAC 1992: 162-167 - [c44]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 - [c43]Jonghoon Chun, Lawrence J. Henschen:
Processing Knowledge-Based Systems Containing Rules With Complex Bodies. DEXA 1992: 38-43 - [c42]K. Kim, Lawrence J. Henschen:
Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment. SEKE 1992: 63-70 - [c41]Jonghoon Chun, Lawrence J. Henschen:
Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach. SEKE 1992: 109-115 - [c40]Jung-Hong Kao, Lawrence J. Henschen:
A Graph Proof Procedure for Real Time Logic. SEKE 1992: 300-306 - 1991
- [c39]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 - [c38]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 - [c37]Young K. Nam, Lawrence J. Henschen:
Compiling recursive Prolog programs with list structure into procedural languages. COMPSAC 1991: 281-287 - [c36]Sang Ho Lee, Lawrence J. Henschen:
Evaluation of Extended Recursive Queries in Deductive Databases. DASFAA 1991: 209-215 - [c35]Sang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah:
Semantic Query Reformulation in Deductive Databases. ICDE 1991: 232-239 - [c34]Hichul An, Lawrence J. Henschen:
Knowledge Based Semantic Query Optimization. ISMIS 1991: 82-91 - 1990
- [c33]Sang Ho Lee, Lawrence J. Henschen:
Substitution-based Compilation of Extended Rules in Deductive Databases. CADE 1990: 57-71 - [c32]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 - [c31]Yusuf Ozturk, Lawrence J. Henschen:
Hyper Resolution and Equality Axioms without Function Substitutions. CADE 1990: 456-469 - [c30]Young K. Nam, Lawrence J. Henschen:
Compiling linear recursive Prolog programs with list structure into procedural language. COMPSAC 1990: 391-398 - [c29]Sang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah:
Knowledge-directed query processing in expert database systems. TAI 1990: 640-646 - [c28]Pintsang Chang, Lawrence J. Henschen:
Parallel Transitive Closure and Transitive Reduction Algorithms. PARBASE 1990: 152-154 - [c27]Abdallah Al-Sukairi, Lawrence J. Henschen:
Query-Independent Compilation of Linear Recursions. SEKE 1990: 177-182 - 1989
- [c26]Jiawei Han, Lawrence J. Henschen:
The Level-Cycle Merging Method. DOOD 1989: 65-81 - [c25]Peter C. Nelson, Lawrence J. Henschen:
Multi-Dimensional Heuristic Searching. IJCAI 1989: 316-321 - [c24]Jiawei Han, Lawrence J. Henschen, Ning Zhuang:
Derivation of Magic Sets by Compilation. SEKE 1989: 164-171 - 1988
- [c23]Shan Chi, Lawrence J. Henschen:
Recursive Query Answering with Non-Horn Clauses. CADE 1988: 294-312 - [c22]Mark Franzen, Lawrence J. Henschen:
A New Approach to Universal Unification and Its Application to AC-Unification. CADE 1988: 643-657 - [c21]Ching-Shyan Wu, Lawrence J. Henschen:
Answering Linear Recursive Queries in Cyclic Databases. FGCS 1988: 727-734 - [c20]Chan Chi, Lawrence J. Henschen:
CAP - A Three-Phase Query Processing Technique for Indefinite Databases. FGCS 1988: 735-744 - [c19]Cheong Youn, Lawrence J. Henschen, Jiawei Han:
One-Directional Recursive Formulas. JCDKB 1988: 69-78 - [c18]Cheong Youn, Lawrence J. Henschen, Jiawei Han:
Classification of Recursive Formulas in Deductive Databases. SIGMOD Conference 1988: 320-328 - 1987
- [c17]Jiawei Han, Lawrence J. Henschen:
Handling Redundancy in the Processing of Recursive Database Queries. SIGMOD Conference 1987: 73-81 - 1986
- [c16]Lawrence J. Henschen, Hyung-Sik Park:
Indefinite and GCWA Inference in Indefinite Deductive Databases. AAAI 1986: 191-197 - 1985
- [c15]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 - [c14]Younghwan Lim, Lawrence J. Henschen:
A New Hyperparamodulation Strategy for the Equality Relation. IJCAI 1985: 1138-1145 - 1984
- [c13]Djamshid Asgari, Lawrence J. Henschen:
Utilizing first-order logic in query processing. ACM Conference on Computer Science 1984: 147-154 - 1983
- [c12]Shamim A. Naqvi, Lawrence J. Henschen:
Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. IJCAI 1983: 25-28 - [c11]William McCune, Lawrence J. Henschen:
Semantic Paramodulation for Horn Sets. IJCAI 1983: 902-908 - 1982
- [c10]Lawrence J. Henschen, William McCune, Shamim A. Naqvi:
Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Data Base Theory 1982: 145-169 - [c9]Lawrence J. Henschen, Shamim A. Naqvi:
Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. CADE 1982: 342-359 - 1981
- [c8]Robert Veroff, Lawrence J. Henschen:
Application of Automatic Transformations to Program Verification. IJCAI 1981: 472-479 - [c7]Lawrence J. Henschen, Shamim A. Naqvi:
An Improved Filter for Literal Indexing in Resolution Systems. IJCAI 1981: 525-529 - 1980
- [c6]Shamim A. Naqvi, Lawrence J. Henschen:
Performing Inferences over Recursive Data Bases. AAAI 1980: 263-265 - [c5]Larry Wos, Ross A. Overbeek, Lawrence J. Henschen:
Hyperparamodulation: A Refinement of Paramodulation. CADE 1980: 208-219 - 1977
- [c4]Stephen L. Taylor, Gilbert K. Krulee, Lawrence J. Henschen:
Automatic Abstracting of Textual Material. IJCAI 1977: 117-118 - [c3]Lawrence J. Henschen, W. M. Evangelist:
Theorem Proving by Covering Expressions. IJCAI 1977: 541-542 - 1975
- [c2]Lawrence J. Henschen:
Semantic Resolution for Horn Sets. IJCAI 1975: 46-52 - 1972
- [c1]Lawrence J. Henschen:
N-sorted logic for automatic theorem-proving in higher-order logic. ACM Annual Conference (1) 1972: 71-81
Parts in Books or Collections
- 1988
- [p1]Lawrence J. Henschen, Hyung-Sik Park:
Compiling the GCWA in Indefinite Deductive Databases. Foundations of Deductive Databases and Logic Programming. 1988: 395-438
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint