Lawrence J. Henschen

95 papers A* 13A 8B 6C 11Journal 24Unranked 32

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	A Conceptual Design of Management Interface for Wireless Sensor Network System. HCI (6) Julia Lee, Lawrence J. Henschen
2022	—	`conf`	A Broad Platform for Smart City Projects Idea Contribution and Interaction. HCI (24) Julia Lee, Lawrence J. Henschen
2022	—	`conf`	Designer Interface for a Class of Wearable Computer Applications. HCI (1) Lawrence J. Henschen, Julia C. Lee
2021	—	`conf`	A Smart City Stakeholder Online Meeting Interface. HCI (3) Julia C. Lee, Lawrence J. Henschen
2021	—	`conf`	User Interface for Vehicle Theft Recovery System. HCI (30) Lawrence J. Henschen, Julia C. Lee
2020	—	`conf`	Design Interface and Modeling Technique. HCI (1) Julia C. Lee, Lawrence J. Henschen
2020	—	`conf`	On the Integration of Multiple Modeling Methodologies into a Single User Interface. HCI (23) Lawrence J. Henschen, Julia C. Lee
2018	—	`conf`	Automatic Generation of Human-Computer Interfaces from BACnet Descriptions. HCI (21) Lawrence J. Henschen, Julia C. Lee, Ries Guthmann
2016	—	`conf`	Human-Computer Interfaces for Sensor/Actuator Networks. HCI (2) Lawrence J. Henschen, Julia C. Lee
2015	—	`conf`	Generating User Interfaces for Users with Disabilities Using Libraries of XSLT, UIML, and Stylesheet Files. HCI (7) Lawrence J. Henschen, Julia C. Lee, Ning Li, Xia Hou
2015	—	`conf`	On the Need for Assistance in HTML5 Web Authoring Systems. HCI (7) Julia C. Lee, Lawrence J. Henschen
2015	C	`conf`	On-chip integration of thermoelectric energy harvesting in 3D ICs. ISCAS Dawei Li, Seda Ogrenci Memik, Lawrence J. Henschen
2014	—	`conf`	Intelligent Document User Interface Design Using MVC and UIML. HCI (1) Lawrence J. Henschen, Ning Li, Yunmei Shi, Yuhan Zhang, Julia C. Lee
2013	—	`conf`	A Web-Based Interface for a System That Designs Sensor Networks. HCI (4) Lawrence J. Henschen, Julia C. Lee
2013	—	`conf`	Design and Interface Considerations for Web-Enabled Data Management in Civil Infrastructure Health Monitoring. HCI (2) David E. Kosnik, Lawrence J. Henschen
2011	—	`conf`	A Framework for a User Friendly Wireless Sensor Network Configuration System. HCI (23) Julia C. Lee, Lawrence J. Henschen
2009	—	`conf`	Using Semantic-Level Tags in HTML/XML Documents. HCI (7) Lawrence J. Henschen, Julia C. Lee
2001	J	`jnl`	Discovering and Resolving User Intent in Heterogeneous Databases. Fundam. Informaticae Chris Fernandes, Lawrence J. Henschen
2000	C	`conf`	Discovering and Resolving User Intent in Heterogeneous Databases. ISMIS Chris Fernandes, Lawrence J. Henschen
2000	J	`jnl`	Identifying relevant constraints for semantic query optimization. Inf. Softw. Technol. Sang-goo Lee, Lawrence J. Henschen, Jonghun Chun, Taehee Lee
1999	A	`conf`	Using Domain Knowledge in Knowledge Discovery. CIKM Suk-Chung Yoon, Lawrence J. Henschen, E. K. Park, S. A. M. Makki
1996	C	`conf`	Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query Optimization. SEKE Suk-Chung Yoon, Lawrence J. Henschen
1995	A*	`conf`	A New Recursive Subclass of Domain Independent Formulas Based on Subimplication. ICDE Joonyeoub Sung, Lawrence J. Henschen
1995	J	`jnl`	Evaluation of Recursive Queries with Extended Rules in Deductive Databases. IEEE Trans. Knowl. Data Eng. Sang Ho Lee, Lawrence J. Henschen
1994	J	`jnl`	An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases. IEEE Trans. Knowl. Data Eng. Cyril S. Ku, Heung D. Kim, Lawrence J. Henschen
1994	J	`jnl`	An efficient database transitive closure algorithm. Appl. Intell. Ismail H. Toroslu, Ghassan Z. Qadah, Lawrence J. Henschen
1994	B	`conf`	Integrating External Functions in an Object Oriented Reasoning System. ICTAI Ta-Cheng Yu, Lawrence J. Henschen
1994	—	`conf`	Partitioning Algorithms for a Distributed Deductive Databases. ACM Conference on Computer Science Kathleen Neumann, Lawrence J. Henschen
1993	J	`jnl`	A Controlling Scheme for Prolog Through Count Terms. Comput. Lang. Young K. Nam, Lawrence J. Henschen
1993	C	`conf`	An Efficient Transitive Closure Algorithm for Distributed Databases. ICCI Ismail H. Toroslu, Lawrence J. Henschen
1993	J	`jnl`	Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction. J. Autom. Reason. James J. Lu, Monica D. Barback, Lawrence J. Henschen
1993	B	`conf`	On Exclusive Disjunctions in Deductive Database. DASFAA Dong-Hoon Choi, Lawrence J. Henschen
1993	J	`jnl`	Semantics and Properties of Existential Quantifiers in Deductive Databases. Inf. Process. Lett. Sang Ho Lee, Lawrence J. Henschen
1992	C	`conf`	A Graph Proof Procedure for Real Time Logic. SEKE Jung-Hong Kao, Lawrence J. Henschen
1992	J	`jnl`	Classification and Compilation of Linear Recursive Queries in Deductive Databases. IEEE Trans. Knowl. Data Eng. Cheong Youn, Hyoung-Joo Kim, Lawrence J. Henschen, Jiawei Han
1992	C	`conf`	Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach. SEKE Jonghoon Chun, Lawrence J. Henschen
1992	B	`conf`	Enforcement of integrity constraints against transactions with transition axioms. COMPSAC Sang Ho Lee, Lawrence J. Henschen, Myoung-Ho Kim, Yoon-Joon Lee
1992	—	`conf`	Method Inheritance with Object Updates in an Object-Oriented Logic Programming Language. Workshop on Deductive Databases, JICSLP Ismail H. Toroslu, Ghassan Z. Qadah, Lawrence J. Henschen
1992	C	`conf`	Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment. SEKE K. Kim, Lawrence J. Henschen
1992	C	`conf`	Processing Knowledge-Based Systems Containing Rules With Complex Bodies. DEXA Jonghoon Chun, Lawrence J. Henschen
1992	J	`jnl`	The Completeness of GP-Resolution for Annotated Logics. Inf. Process. Lett. James J. Lu, Lawrence J. Henschen
1991	—	`conf`	Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages. Automated Reasoning: Essays in Honor of Woody Bledsoe Young K. Nam, Lawrence J. Henschen
1991	B	`conf`	Compiling recursive Prolog programs with list structure into procedural languages. COMPSAC Young K. Nam, Lawrence J. Henschen
1991	J	`jnl`	Efficient Algorithms for the Instantiated Transitive Closure Queries. IEEE Trans. Software Eng. Ghassan Z. Qadah, Lawrence J. Henschen, Jung J. Kim
1991	B	`conf`	Evaluation of Extended Recursive Queries in Deductive Databases. DASFAA Sang Ho Lee, Lawrence J. Henschen
1991	C	`conf`	Knowledge Based Semantic Query Optimization. ISMIS Hichul An, Lawrence J. Henschen
1991	—	`conf`	Reasoning in Paraconsistent Logics. Automated Reasoning: Essays in Honor of Woody Bledsoe James J. Lu, Lawrence J. Henschen, V. S. Subrahmanian, Newton C. A. da Costa
1991	A*	`conf`	Semantic Query Reformulation in Deductive Databases. ICDE Sang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah
1990	A	`conf`	Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation. CADE Newton C. A. da Costa, Lawrence J. Henschen, James J. Lu, V. S. Subrahmanian
1990	B	`conf`	Compiling linear recursive Prolog programs with list structure into procedural language. COMPSAC Young K. Nam, Lawrence J. Henschen
1990	A	`conf`	Hyper Resolution and Equality Axioms without Function Substitutions. CADE Yusuf Ozturk, Lawrence J. Henschen
1990	—	`conf`	Knowledge-directed query processing in expert database systems. TAI Sang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah
1990	—	`conf`	Parallel Transitive Closure and Transitive Reduction Algorithms. PARBASE Pintsang Chang, Lawrence J. Henschen
1990	C	`conf`	Query-Independent Compilation of Linear Recursions. SEKE Abdallah Al-Sukairi, Lawrence J. Henschen
1990	A	`conf`	Substitution-based Compilation of Extended Rules in Deductive Databases. CADE Sang Ho Lee, Lawrence J. Henschen
1989	C	`conf`	Derivation of Magic Sets by Compilation. SEKE Jiawei Han, Lawrence J. Henschen, Ning Zhuang
1989	J	`jnl`	Maintaining state constraints in relational databases: a proof theoretic basis. J. ACM William McCune, Lawrence J. Henschen
1989	A*	`conf`	Multi-Dimensional Heuristic Searching. IJCAI Peter C. Nelson, Lawrence J. Henschen
1989	—	`conf`	The Level-Cycle Merging Method. DOOD Jiawei Han, Lawrence J. Henschen
1988	A	`conf`	A New Approach to Universal Unification and Its Application to AC-Unification. CADE Mark Franzen, Lawrence J. Henschen
1988	J	`jnl`	A Top-Down Inference Procedure for Template Dependencies. Comput. J. Lawrence J. Henschen, Bob P. Weems
1988	—	`conf`	Answering Linear Recursive Queries in Cyclic Databases. FGCS Ching-Shyan Wu, Lawrence J. Henschen
1988	—	`conf`	CAP - A Three-Phase Query Processing Technique for Indefinite Databases. FGCS Chan Chi, Lawrence J. Henschen
1988	—	`conf`	Classification of Recursive Formulas in Deductive Databases. SIGMOD Conference Cheong Youn, Lawrence J. Henschen, Jiawei Han
1988	—	`ch.`	Compiling the GCWA in Indefinite Deductive Databases. Foundations of Deductive Databases and Logic Programming. Lawrence J. Henschen, Hyung-Sik Park
1988	—	`conf`	One-Directional Recursive Formulas. JCDKB Cheong Youn, Lawrence J. Henschen, Jiawei Han
1988	A	`conf`	Recursive Query Answering with Non-Horn Clauses. CADE Shan Chi, Lawrence J. Henschen
1987	—	`conf`	Handling Redundancy in the Processing of Recursive Database Queries. SIGMOD Conference Jiawei Han, Lawrence J. Henschen
1986	A*	`conf`	Indefinite and GCWA Inference in Indefinite Deductive Databases. AAAI Lawrence J. Henschen, Hyung-Sik Park
1985	A*	`conf`	A New Hyperparamodulation Strategy for the Equality Relation. IJCAI Younghwan Lim, Lawrence J. Henschen
1985	—	`conf`	Assumption analysis in compiled logic-based decision support systems (LDSSs) (abstract only). ACM Conference on Computer Science Michael C. Chen, Lawrence J. Henschen
1985	J	`jnl`	Deduction in Non-Horn Databases. J. Autom. Reason. Adnan H. Yahya, Lawrence J. Henschen
1985	J	`jnl`	Experiments with Semantic Paramodulation. J. Autom. Reason. William McCune, Lawrence J. Henschen
1985	J	`jnl`	On the use and internal structure of logic-based decision support systems. Decis. Support Syst. Michael C. Chen, Lawrence J. Henschen
1985	J	`jnl`	What Is Automated Theorem Proving? J. Autom. Reason. W. W. Bledsoe, Lawrence J. Henschen
1984	J	`jnl`	A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains. Artif. Intell. Larry Wos, Steve Winker, Barry Smith, Robert Veroff, Lawrence J. Henschen
1984	J	`jnl`	On compiling queries in recursive first-order databases. J. ACM Lawrence J. Henschen, Shamim A. Naqvi
1984	—	`conf`	Utilizing first-order logic in query processing. ACM Conference on Computer Science Djamshid Asgari, Lawrence J. Henschen
1983	A*	`conf`	Semantic Paramodulation for Horn Sets. IJCAI William McCune, Lawrence J. Henschen
1983	A*	`conf`	Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. IJCAI Shamim A. Naqvi, Lawrence J. Henschen
1982	—	`conf`	Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Data Base Theory Lawrence J. Henschen, William McCune, Shamim A. Naqvi
1982	A	`conf`	Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. CADE Lawrence J. Henschen, Shamim A. Naqvi
1981	A*	`conf`	An Improved Filter for Literal Indexing in Resolution Systems. IJCAI Lawrence J. Henschen, Shamim A. Naqvi
1981	A*	`conf`	Application of Automatic Transformations to Program Verification. IJCAI Robert Veroff, Lawrence J. Henschen
1980	A	`conf`	Hyperparamodulation: A Refinement of Paramodulation. CADE Larry Wos, Ross A. Overbeek, Lawrence J. Henschen
1980	A*	`conf`	Performing Inferences over Recursive Data Bases. AAAI Shamim A. Naqvi, Lawrence J. Henschen
1979	J	`jnl`	Theorem Proving by Covering Expressions. J. ACM Lawrence J. Henschen
1977	A*	`conf`	Automatic Abstracting of Textual Material. IJCAI Stephen L. Taylor, Gilbert K. Krulee, Lawrence J. Henschen
1977	A*	`conf`	Theorem Proving by Covering Expressions. IJCAI Lawrence J. Henschen, W. M. Evangelist
1976	J	`jnl`	Introduction: Tutorial on Resolution. IEEE Trans. Computers Lawrence J. Henschen
1976	J	`jnl`	Semantic Resolution for Horn Sets. IEEE Trans. Computers Lawrence J. Henschen
1975	A*	`conf`	Semantic Resolution for Horn Sets. IJCAI Lawrence J. Henschen
1974	J	`jnl`	A Theorem-Proving Language for Experimentation. Commun. ACM Lawrence J. Henschen, Ross A. Overbeek, Larry Wos
1974	J	`jnl`	Unit Refutations and Horn Sets. J. ACM Lawrence J. Henschen, Larry Wos
1972	—	`conf`	N-sorted logic for automatic theorem-proving in higher-order logic. ACM Annual Conference (1) Lawrence J. Henschen