| Human-Computer Interfaces for Sensor/Actuator Networks. | 0 | 0.34 | 2016 |
| On-Chip Integration Of Thermoelectric Energy Harvesting In 3d Ics | 0 | 0.34 | 2015 |
| On The Need For Assistance In Html5 Web Authoring Systems | 0 | 0.34 | 2015 |
| Generating User Interfaces For Users With Disabilities Using Libraries Of Xslt, Uiml, And Stylesheet Files | 0 | 0.34 | 2015 |
| Design and Interface Considerations for Web-Enabled Data Management in Civil Infrastructure Health Monitoring. | 1 | 0.39 | 2013 |
| A web-based interface for a system that designs sensor networks | 1 | 0.43 | 2013 |
| A Framework for a User Friendly Wireless Sensor Network Configuration System. | 0 | 0.34 | 2011 |
| Using Semantic-Level Tags in HTML/XML Documents | 2 | 0.70 | 2009 |
| Using domain knowledge in knowledge discovery | 16 | 0.98 | 1999 |
| A new recursive subclass of domain independent formulas based on subimplication | 7 | 6.53 | 1995 |
| Evaluation of recursive queries with extended rules in deductive databases | 7 | 11.67 | 1995 |
| An Efficient Database Transitive Closure Algorithm | 3 | 2.04 | 1994 |
| Semantics and properties of existential quantifiers in deductive databases | 1 | 1.99 | 1993 |
| Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction | 1 | 0.35 | 1993 |
| An efficient transitive closure algorithm for distributed databases | 1 | 0.41 | 1993 |
| On Exclusive Disjunctions in Deductive Database | 9 | 11.29 | 1993 |
| A controlling scheme for Prolog through count terms | 0 | 0.34 | 1993 |
| Processing Knowledge-Based Systems Containing Rules With Complex Bodies | 0 | 0.34 | 1992 |
| A graph proof procedure for real time logic | 0 | 0.34 | 1992 |
| Compiling rules and queries in knowledge base systems: a substitution-based approach | 1 | 0.41 | 1992 |
| The completeness of gp-resolution for annotated logics | 10 | 2.76 | 1992 |
| Network-based simple recursive answer evaluation for deductive databases in parallel environment | 0 | 0.34 | 1992 |
| Method Inheritance with Object Updates in an Object-Oriented Logic Programming Language | 0 | 0.34 | 1992 |
| Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages | 0 | 0.34 | 1991 |
| Evaluation of Extended Recursive Queries in Deductive Databases | 5 | 41.65 | 1991 |
| Reasoning in Paraconsistent Logics | 10 | 1.55 | 1991 |
| Knowledge Based Semantic Query Optimization | 1 | 0.39 | 1991 |
| Automatic theorem proving in paraconsistent logics: theory and implementation | 18 | 4.01 | 1990 |
| Substitution-based compilation of extended rules in deductive databases | 3 | 7.08 | 1990 |
| Query-Independent Compilation of Linear Recursions | 3 | 0.79 | 1990 |
| Maintaining state constraints in relational databases: a proof theoretic basis | 41 | 19.30 | 1989 |
| Derivation of Magic Sets by Compilation | 0 | 0.34 | 1989 |
| The Level-Cycle Merging Method | 7 | 1.12 | 1989 |
| Multi-Dimensional Heuristic Searching | 1 | 0.36 | 1989 |
| One-Directional Recursive Formulas | 1 | 0.57 | 1988 |
| A New Approach to Universal Unification and Its Application to AC-Unification | 2 | 0.41 | 1988 |
| Answering Linear Recursive Queries in Cyclic Databases | 10 | 0.85 | 1988 |
| Classification of recursive formulas in deductive databases | 15 | 4.93 | 1988 |
| Recursive Query Answering with Non-Horn Clauses | 7 | 3.45 | 1988 |
| CAP - A Three-Phase Query Processing Technique for Indefinite Databases | 0 | 0.34 | 1988 |
| Handling redundancy in the processing of recursive database queries | 29 | 16.42 | 1987 |
| Indefinite and GCWA Inference in Indefinite Deductive Databases | 1 | 0.63 | 1986 |
| Deduction in Non-Horn Databases | 98 | 34.07 | 1985 |
| A new hyperparamodulation strategy for the equality relation | 6 | 0.56 | 1985 |
| Assumption analysis in compiled logic-based decision support systems (LDSSs) (abstract only) | 1 | 0.48 | 1985 |
| On the use and internal structure of logic-based decision support systems | 12 | 2.38 | 1985 |
| Semantic paramodulation for Horn sets | 4 | 0.60 | 1983 |
| Synthesizing least fixed point queries into non-recursive iterative programs | 7 | 11.47 | 1983 |
| Compiling Constraint-Checking Programs from First-Order Formulas | 46 | 42.85 | 1982 |
| Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases | 2 | 0.43 | 1982 |
