|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 241 occurrences of 200 keywords
|
|
|
Results
Found 427 publication records. Showing 427 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Sukhamay Kundu, Jianhua Chen 0003 |
Fuzzy Logic or Lukasiewicz Logic: A Clarification. |
ISMIS |
1994 |
DBLP DOI BibTeX RDF |
|
12 | Diego Calvanese, Maurizio Lenzerini |
Making Object-Oriented Schemas More Expressive. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
12 | Hoon Kang, George J. Vachtsevanos |
Fuzzy hypercubes: Linguistic learning/reasoning systems for intelligent control and identification. |
J. Intell. Robotic Syst. |
1993 |
DBLP DOI BibTeX RDF |
Fuzzy logic and fuzzy sets, hypercubic learning systems, fuzzy linguistic control, intelligent control |
12 | Douglas B. Lenat |
Computers versus Common Sense (abstract). |
ACM Conference on Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Jianhua Chen 0003 |
The Logic of Only Knowing as a Unified Framework for Non-Monotonic Reasoning. |
ISMIS |
1993 |
DBLP DOI BibTeX RDF |
|
12 | David A. Brant, Daniel P. Miranker |
Index Support for Rule Activation. |
SIGMOD Conference |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Sung H. Myaeng, Christopher S. G. Khoo |
On Uncertainty Handling in Plausible Reasoning with Conceptual Graphs. |
Workshop on Conceptual Graphs |
1992 |
DBLP DOI BibTeX RDF |
|
12 | Brian D. Brunswick |
LILK - Static Analysis of REDUCE Code. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
12 | Neil V. Murray, Erik Rosenthal |
Resolution and Path Dissolution in Multi-Valued Logics. |
ISMIS |
1991 |
DBLP DOI BibTeX RDF |
|
12 | Brad A. Myers |
Creating User Interfaces Using Programming by Example, Visual Programming, and Constraints. |
ACM Trans. Program. Lang. Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Nageswara S. V. Rao, Jih-sen Lin |
On Algorithms for Operative Diagnosis of Systems (Abstract). |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Juan Carlos Esteva, Asad Khailany |
Database Reasoning: Extracting Knowledge from Databases (Abstract). |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
12 | M. C. Rowe, J. Labhart, R. Bechtel, S. Matney, S. Carrow |
Forward chaining parallel inference. |
SPDP |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Mark Tarver |
An Examination of the Prolog Technology Theorem-Prover. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
PTTP, metalevel reasoning, Prolog Normal Form, refinement |
12 | Robert R. Henry, Kenneth M. Whaley, Bruce Forstall |
The University of Washington Illustrating Compiler. |
PLDI |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Xudong Yu, Gautam Biswas |
CHECKER: An Efficient Algorithm for Knowledge Base Verification. |
IEA/AIE (Vol. 2) |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Jong H. Park, Stanley Y. W. Su |
An Integrated Approach to Heterogeneous Expert Systems. |
IEA/AIE (Vol. 2) |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Gautam Biswas, Xudong Yu |
A Rule Network for Efficient Implementation of a Mixed-Initiative Reasoning Scheme. |
ACM Conference on Computer Science |
1989 |
DBLP DOI BibTeX RDF |
|
12 | Atsushi Ohori, Peter Buneman, Val Tannen |
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. |
SIGMOD Conference |
1989 |
DBLP DOI BibTeX RDF |
|
12 | Peter B. Henderson, Francisco J. Romero |
Teaching recursion as a problem-solving tool using standard ML. |
SIGCSE |
1989 |
DBLP DOI BibTeX RDF |
ML |
12 | Neil V. Murray, Erik Rosenthal |
Employing Path Dissolution to Shorten Tableaux Proofs. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
12 | Soumitra Dutta |
Approximate Spatial Reasoning. |
IEA/AIE (Vol. 1) |
1988 |
DBLP DOI BibTeX RDF |
|
12 | T. K. Ho, Edward T. Lee, T. T. Ho |
Syntactic approach to image analysis (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
12 | Michael Stonebraker, Lawrence A. Rowe |
The Design of Postgres. |
SIGMOD Conference |
1986 |
DBLP DOI BibTeX RDF |
INGRES |
12 | Brad A. Myers, William Buxton |
Creating highly-interactive and graphical user interfaces by demonstration. |
SIGGRAPH |
1986 |
DBLP DOI BibTeX RDF |
|
12 | E. F. Codd |
Data Models in Database Management. |
Workshop on Data Abstraction, Databases and Conceptual Modelling |
1980 |
DBLP DOI BibTeX RDF |
|
12 | G. Jack Lipovski |
Semantic Paging on Intelligent Discs. |
Computer Architecture for Non-Numeric Processing |
1978 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #427 of 427 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5] |
|