|
Titel
|
Author
|
Year
|
Type
|
|
A logic for reasoning with inconsistent knowledge
|
Nico Roos
|
1992
|
Article
|
|
A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs
|
Amy Felty
|
1991
|
Inproceedings
|
|
A Logic Programming Language with Lambda--Abstraction, Function Variables, and Simple Unification
|
Miller, Dale
|
1991
|
Inproceedings
|
|
A Logic to Reason about Likelihood
|
J. Y. Halpern and M. O. Rabin
|
1987
|
Article
|
|
A Logical Approach to Reasoning by Analogy
|
Todd R. Davies and Stuart J. Russell
|
1987
|
Inproceedings
|
|
a Logo--Based Tool--Kit and Computer Coach to Support the Development of General Thinking Skills
|
Erik DeCorte and Lieven Verschaffel and Hilde Schrooten and Hendrik Olievie and Antoon Vansina
|
1993
|
Incollection
|
|
A Loss Bound Model for On--Line Stochastic Prediction Strategies
|
Yamanishi, Kenji
|
1991
|
Inproceedings
|
|
A Machine Learning Apprentice for the Completion of Repititive Forms
|
Hermens, Leonard A. and Schlimmer, Jeffrey C.
|
1993
|
Article
|
|
A Machine Learning Approach to Error Detection and Recovery in Assembly
|
L. Seabra Lopes and L.M. Camarinha-Matos
|
1995
|
Inproceedings
|
|
A Machine Learning Architecture for Optimizing Web Search Engines
|
J. Boyan and D. Freitag and T. Joachims
|
1996
|
Inproceedings
|
|
A Machine-oriented Logic Based on the Resolution Principle
|
Robinson, J.
|
1965
|
Article
|
|
A Manifesto for a Constructivist Approach to Uses of Technology in Higher Education
|
David Jonassen and Terry Mayes and Ray McAleese
|
1993
|
Incollection
|
|
A Many-sorted Calculus Based on Resolution and Paramodulation
|
Walther, C.
|
1987
|
Incollection
|
|
A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation
|
Schmidt-Strau\ss , M.
|
1985
|
Inproceedings
|
|
A Map based on Laserscans without Geometric Interpretation
|
G. Weiß and E. von Puttkamer
|
1995
|
Inproceedings
|
|
A Markov Random Field Model-Based Approach to Image Interpretation
|
J. W. Modestino J. Zhang
|
1992
|
Article
|
|
A Mathematical Incompleteness in Peano Arithmetic
|
Jeff Paris and Leo Harrington
|
1977
|
Incollection
|
|
A Mathematical Model of Heuristic Game Playing
|
Tzeng, C.--H.
|
1984
|
Inproceedings
|
|
A maximization technique occurring in the statistical analysis of probabilistic functions of {M}arkov chains
|
L. E. Baum and T. Petrie and G. Soules and N. Weiss
|
1970
|
Article
|
|
A Metadata Approach to Resolving Semantic Conflicts
|
Michael Siegel and Stuart M. Madnick
|
1991
|
Inproceedings
|
|
A Metalogic Programming approach to Reasoning about Time in Knowledge Bases
|
S. M. Sripada
|
1993
|
Inproceedings
|
|
A Metapattern --Based Automatic Discovery Loop for Integrated Data Mining --- Unsupervised Learning of Relational Patterns
|
Shen, Wei--Min and Leng, Bing
|
1996
|
Article
|
|
A Metaprogramming Approach to Semantically Optimize Queries in Deductive Databases
|
Jorge Lobo and Jack Minker
|
1988
|
Inproceedings
|
|
A Method for Biasing the Learning of Nonterminal Reduction Rules
|
Stacy C. Marsella and Charles F. Schmidt
|
1993
|
Incollection
|
|
A Method of Similarity-Driven Knowledge Revision for Type Specializations
|
Nobuhiro Morita, Makoto Haraguchi, and Yoshiaki Okubo
|
1999
|
Inproceedings
|
|
> Show next 25 entries (1175 ... )
|
