Search results for "inferences"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	V. Richard Benjamins, Wouter N. H. Jansweijer	Toward a Competence Theory of Diagnosis.	IEEE Expert	1994	DBLP DOI BibTeX RDF
8	Christian Heinlein, Klaus Kuhn 0001, Peter Dadam	Representation of Medical Guidelines on Top of a Classification-Based System.	CIKM	1994	DBLP DOI BibTeX RDF
8	Paulo Quaresma, José Gabriel Lopes	A Logic Programming Framework for the Abductive Inference of Intentions in Cooperative Dialogues.	LPAR	1994	DBLP DOI BibTeX RDF
8	Joakim von Wright	Representing Higher-Order Logic Proofs in HOL.	TPHOLs	1994	DBLP DOI BibTeX RDF
8	Rolf Socher-Ambrosius	A Refined Version of General E-Unification.	CADE	1994	DBLP DOI BibTeX RDF
8	François Bronsard, Uday S. Reddy, Robert W. Hasker	Induction using Term Orderings.	CADE	1994	DBLP DOI BibTeX RDF
8	Leo Bachmair, Harald Ganzinger	Ordered Chaining for Total Orderings.	CADE	1994	DBLP DOI BibTeX RDF
8	Martin R. Frank, James D. Foley	A Pure Reasoning Engine for Programming by Demonstration.	ACM Symposium on User Interface Software and Technology	1994	DBLP DOI BibTeX RDF	programming by demonstration
8	Hans-Jürgen Bürckert	Terminologies and Rules.	IS/KI	1994	DBLP DOI BibTeX RDF
8	Mark Levene, George Loizou	Semantics for Null Extended Nested Relations.	ACM Trans. Database Syst.	1993	DBLP DOI BibTeX RDF	extended chase, null extended algebra, null extended data dependencies, nulls, nested relations
8	Sven Eric Panitz	Default Reasoning with a Constraint Resolution Principle.	LPAR	1993	DBLP DOI BibTeX RDF
8	N. D. Mekras, A. G. Malama, G. P. Parnassas, Ilias P. Tatsiopoulos	An Expert System as a Manager in the Application of Production Planning and Control Software in CIM Environments.	DEXA	1993	DBLP DOI BibTeX RDF
8	Cees Groendijk, Anja Oskamp	Case Recognition and Strategy Classification.	ICAIL	1993	DBLP DOI BibTeX RDF
8	Alexander Borgida, Ronald J. Brachman	Loading Data into Description Reasoners.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF	SQL
8	Renate Motschnig-Pitrik	The Semantics of Parts Versus Aggregates in Data/Knowledge Modelling	CAiSE	1993	DBLP DOI BibTeX RDF	data/knowledge modelling, part-of relations, knowledge representation, conceptual modelling, aggregation, object-oriented databases, inference, transitivity, semantic data models
8	Stefan Wrobel	On the Proper Definition of Minimality in Specialization and Theory Revision.	ECML	1993	DBLP DOI BibTeX RDF
8	Tarun Arora, Raghu Ramakrishnan 0001, William G. Roth, Praveen Seshadri, Divesh Srivastava	Explaining Program Execution in Deductive Systems.	DOOD	1993	DBLP DOI BibTeX RDF
8	Sonia Bergamaschi, Claudio Sartori 0001	On Taxonomic Reasoning in Conceptual Design.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	schema consistency, schema minimality, taxonomic reasoning, semantic models
8	Peter Baumgartner 0001	An Order Theory Resolution Calculus.	LPAR	1992	DBLP DOI BibTeX RDF	Theory Resolution, Automated Theorem Proving
8	Robert Nieuwenhuis, Albert Rubio	Basic Superposition is Complete.	ESOP	1992	DBLP DOI BibTeX RDF
8	Robert Nieuwenhuis, Albert Rubio	Theorem Proving with Ordering Constrained Clauses.	CADE	1992	DBLP DOI BibTeX RDF
8	Max J. Egenhofer, Khaled K. Al-Taha	Reasoning about Gradual Changes of Topological Relationships.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
8	Bernard Moulin, Guy W. Mineau	Using World Structures for Factoring Knowledge.	Workshop on Conceptual Graphs	1992	DBLP DOI BibTeX RDF
8	Hans van der Meij	A critical assessment of the minimalist approach to documentation.	SIGDOC	1992	DBLP DOI BibTeX RDF
8	Michael Magee, William A. Hoff, Lance Gatrell, Cheryl Weber-Sklair, William J. Wolfe	Employing sensor repositioning to refine spatial reasoning in an industrial robotic environment.	Appl. Intell.	1991	DBLP DOI BibTeX RDF
8	James K. McDowell, Mark A. Kramer, James F. Davis	Guest Editor's Introduction.	IEEE Expert	1991	DBLP DOI BibTeX RDF
8	Robert M. MacGregor, Mark H. Burstein	Using a Description Classifier to Enhance Knowledge Representation.	IEEE Expert	1991	DBLP DOI BibTeX RDF
8	Béatrice Duval	Abduction and Induction for Explanation-Based Learning.	EWSL	1991	DBLP DOI BibTeX RDF	Analogy, Abduction, Explanation-Based Learning
8	Per Kreuger	GCLA II - A Definitional Approach to Control.	ELP	1991	DBLP DOI BibTeX RDF
8	Wilhelm Burger, Bir Bhanu	Estimating 3D Egomotion from Perspective Image Sequence.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	camera translation, FOE location, 3D egomotion, perspective image sequence, sensor motion, displacement vectors, land vehicles, 3D camera rotation, fuzzy FOE, pattern recognition, motion estimation, picture processing, mobile robots, noise, errors, autonomous robots, vehicles, focus of expansion
8	Jan Kazimierczak	An Approach to Natural Language Processing in the Rule-based Expert System.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
8	Charles Garner, Michael V. Doran, Herbert E. Longenecker Jr.	An Investigation into the Application of a Graphical, Rule-Based System Utilizing Reversible Data Structures as a Possible Model for Human Pedigree Systems (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
8	Chris S. Wallace	Classification by Minimum-Message-Length Inference.	ICCI	1990	DBLP DOI BibTeX RDF	Classification, Unsupervised learning, Coding, Induction, Statistical inference, Minimum message length
8	Munindar P. Singh, Nicholas M. Asher	Towards a Formal Theory of Intentions.	JELIA	1990	DBLP DOI BibTeX RDF
8	Mark E. Stickel	A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog.	DISCO	1990	DBLP DOI BibTeX RDF
8	Michael Magee, William A. Hoff, Lance Gatrell, Martin Marietta, William J. Wolfe	Adaptive Camera Calibration in an Industrial Robotic Environment.	IEA/AIE (Vol. 1)	1990	DBLP DOI BibTeX RDF
8	Karl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann	Structure and Control of the L-LILOG Inference System.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
8	Kurt Eberle	Eventualities in a Natural Language Understanding System.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
8	Paul Buchheit	An Informational Network for a Natural Talking System.	Great Lakes Computer Science Conference	1989	DBLP DOI BibTeX RDF
8	Daniel E. Rose, Richard K. Belew	Legal Information Retrieval a Hybrid Approach.	ICAIL	1989	DBLP DOI BibTeX RDF
8	Charles Elkan	Logical Characterizations of Nonmonotonic TMSs.	MFCS	1989	DBLP DOI BibTeX RDF
8	Nuno J. Mamede, João P. Martins	Expanding SNePS Capabilities with LORE.	SNePS	1989	DBLP DOI BibTeX RDF
8	Maria J. Serna, Paul G. Spirakis	The Approximability of Problems Complete for P.	Optimal Algorithms	1989	DBLP DOI BibTeX RDF
8	Sergei G. Vorobyov	Conditional Rewrite Rule Systems with Built-In Arithmetic and Induction.	RTA	1989	DBLP DOI BibTeX RDF
8	Peter Schroeder-Heister	Hypothetical Reasoning and Definitional Reflection in Logic Programming.	ELP	1989	DBLP DOI BibTeX RDF
8	Mahmoud A. Manzoul, Hoverth A. Serrate	Systolic VLSI array for fuzzy logic in expart systems.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
8	Madhukar N. Thakur, John Dinsmore	Time representation based on knowledge partitioning (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
8	Toramatsu Shintani	An Approach to Speeding Up the Prolog=based Inference Engine KORE/IE.	LP	1987	DBLP DOI BibTeX RDF
8	Neil V. Murray, Erik Rosenthal	Theory Links in Semantic Graphs.	CADE	1986	DBLP DOI BibTeX RDF
8	Mark Segal, Carlo H. Séquin	Consistent calculations for solids modeling.	SCG	1985	DBLP DOI BibTeX RDF
8	John J. Granacki, David Knapp, Alice C. Parker	The ADAM advanced design automation system: overview, planner and natural language interface.	DAC	1985	DBLP DOI BibTeX RDF
8	Dan I. Moldovan	An associative array architecture intended for semantic network processing.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF
8	Paolo Atzeni, Douglas Stott Parker Jr.	Assumptions in Relational Database Theory.	PODS	1982	DBLP DOI BibTeX RDF
8	Jeffrey D. Ullman	A View of Directions in Relational Database Theory.	ICALP	1981	DBLP DOI BibTeX RDF
8	Jack Minker	Search Strategy and Selection Function for an Inferential Relational System.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	answer and reason extraction, selection function, top-down search, virtual relations, relational databases, heuristics, logic, inference mechanism, search strategy, predicate calculus
8	Richard O. Duda, Peter E. Hart, Nils J. Nilsson	Subjective bayesian methods for rule-based inference systems.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
8	James R. Slagle	Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity.	J. ACM	1974	DBLP DOI BibTeX RDF