BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Greece
1 × Italy
8 × USA
Collaborated with:
J.Han S.Yoon J.C.Lee D.E.Kosnik J.Chun J.Kao K.Kim S.H.Lee Y.Ozturk A.Al-Sukairi S.Chi M.Franzen S.A.Naqvi N.Zhuang C.Youn L.Wos R.A.Overbeek E.K.Park S.A.M.Makki N.C.A.d.Costa J.J.Lu V.S.Subrahmanian N.Li Y.Shi Y.Zhang
Talks about:
recurs (6) databas (5) queri (5) base (5) knowledg (4) compil (4) substitut (3) interfac (3) design (3) deduct (3)

Person: Lawrence J. Henschen

DBLP DBLP: Henschen:Lawrence_J=

Contributed to:

HCI p1 20142014
HCI p2 20132013
HCI p4 20132013
CIKM 19991999
SEKE 19961996
SEKE 19921992
CADE 19901990
SEKE 19901990
SEKE 19891989
CADE 19881988
SIGMOD 19881988
SIGMOD 19871987
CADE 19821982
CADE 19801980

Wrote 19 papers:

HCI-TMT-2014-HenschenLSZL #design #documentation #mvc #user interface #using
Intelligent Document User Interface Design Using MVC and UIML (LJH, NL, YS, YZ, JCL), pp. 423–432.
HCI-AS-2013-KosnikH #data transformation #design #framework #health #interface #monitoring
Design and Interface Considerations for Web-Enabled Data Management in Civil Infrastructure Health Monitoring (DEK, LJH), pp. 107–116.
HCI-IMT-2013-HenschenL #design #interface #network
A Web-Based Interface for a System That Designs Sensor Networks (LJH, JCL), pp. 688–697.
CIKM-1999-YoonHPM #information management #using
Using Domain Knowledge in Knowledge Discovery (SCY, LJH, EKP, SAMM), pp. 243–250.
SEKE-1996-YoonH #framework #object-oriented #optimisation #query #semantics
Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query Optimization (SCY, LJH), pp. 108–115.
SEKE-1992-ChunH #approach #compilation #knowledge base #query
Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach (JC, LJH), pp. 109–115.
SEKE-1992-KaoH #graph #logic #proving #realtime
A Graph Proof Procedure for Real Time Logic (JHK, LJH), pp. 300–306.
SEKE-1992-KimH #database #deduction #evaluation #parallel #recursion
Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment (KK, LJH), pp. 63–70.
CADE-1990-CostaHLS #automation #implementation #logic #proving #theorem proving
Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation (NCAdC, LJH, JJL, VSS), pp. 72–86.
CADE-1990-LeeH #compilation #database #deduction
Substitution-based Compilation of Extended Rules in Deductive Databases (SHL, LJH), pp. 57–71.
CADE-1990-OzturkH #axiom #similarity
Hyper Resolution and Equality Axioms without Function Substitutions (YO, LJH), pp. 456–469.
SEKE-1990-Al-SukairiH #compilation #independence #linear #recursion
Query-Independent Compilation of Linear Recursions (AAS, LJH), pp. 177–182.
SEKE-1989-HanHZ #compilation #set
Derivation of Magic Sets by Compilation (JH, LJH, NZ), pp. 164–171.
CADE-1988-ChiH #horn clause #query #recursion
Recursive Query Answering with Non-Horn Clauses (SC, LJH), pp. 294–312.
CADE-1988-FranzenH #approach #unification
A New Approach to Universal Unification and Its Application to AC-Unification (MF, LJH), pp. 643–657.
SIGMOD-1988-YounHH #classification #database #deduction #recursion
Classification of Recursive Formulas in Deductive Databases (CY, LJH, JH), pp. 320–328.
SIGMOD-1987-HanH #database #query #recursion
Handling Redundancy in the Processing of Recursive Database Queries (JH, LJH), pp. 73–81.
CADE-1982-HenschenN #database #first-order #infinity #recursion #representation #sequence
Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases (LJH, SAN), pp. 342–359.
CADE-1980-WosOH #named #refinement
Hyperparamodulation: A Refinement of Paramodulation (LW, RAO, LJH), pp. 208–219.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.