Search results for "Inferencing"

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