|
Titel
|
Author
|
Year
|
Type
|
|
A Support System for Interpreting Statistical Data
|
Hoshka, P. and Klöesgen, W.
|
1991
|
Incollection
|
|
A Comleteness Proof Technique for Resolution with Equality
|
Peter Baumgartner
|
1991
|
Inproceedings
|
|
Some Applications of {G}entzen's Proof Theory in Automated Deduction
|
Michael Beeson
|
1991
|
Inproceedings
|
|
Neural Net Algorithms that learn in polynomial time from examples
|
E.B. Baum
|
1991
|
Article
|
|
Grammatically Biased Learning: Learning Horn Theories Using an Explicit Antecedent Description Language
|
William W. Cohen
|
1991
|
Techreport
|
|
Parsing By Chunks
|
Steven Abney
|
1991
|
Incollection
|
|
Coping with Uncertainty in Map Learning
|
K. Basye and T. Dean and J. S. Vitter
|
1991
|
Incollection
|
|
Uncertainty Modeling in Configuration Space for Robot Motion Planning
|
L. Basañez and R. Suárez
|
1991
|
Inproceedings
|
|
Towards Efficient Inductive Synthesis: Rapid Construction of Local Regularities
|
Janis Barzdins and Guntis Barydins
|
1991
|
Incollection
|
|
Learning Noise Tolerant Classification Procedures by Integrating Inductive Learning and Genetic Algorithms
|
Bala, J. and De Jong, K. and Pachowicz, P.
|
1991
|
Inproceedings
|
|
Polynomial Learnability of Probabilistic Concepts with Respect to the {K}ullback--{L}eibler Divergence
|
Abe, Naoki and Takeuchi, Junichi and Warmuth, Manfred
|
1991
|
Inproceedings
|
|
Logic Programming with Sequence Systems: A Linear Logic Approach
|
Andreoli, Jean--Marc and Pareschi, Remo
|
1991
|
Inproceedings
|
|
On the design of belief networks for knowledge--based systems
|
B. Abramson
|
1991
|
Incollection
|
|
Predicates as Parameters in Logic Programming: A Set--Theoretic Basis
|
James H. Andrews
|
1991
|
Inproceedings
|
|
KB--DB Connection in AIMS
|
Bagnasco, C. and Spampinato, L. and Vischi, C.
|
1991
|
Unpublished
|
|
Animation from Instructions
|
N. I. Badler and B. L. Webber and J. Kalita and J. Esakov
|
1991
|
Incollection
|
|
{HELP} --- A Hierarchical Execution--Led Planner for Robotic Domains
|
Ruth Aylett and Alan Fish and Simon Bartrum
|
1991
|
Inproceedings
|
|
Maintaining Representations of the Environment of a Mobile Robot
|
N. Ayache and O. D. Faugeras
|
1991
|
Incollection
|
|
Reasoning about Plans
|
James F. Allen and Henry A. Kautz and Richard N. Pelavin and Josh D. Tenenberg
|
1991
|
Book
|
|
More About Learning Elementary Formal Systems
|
Setsuo Arikawa and Takeshi Shinohara and Satoru Miyano and Ayumi Shinohara
|
1991
|
Incollection
|
|
Map Building for a Mobile Robot from Sensory Data
|
M. Asada
|
1991
|
Incollection
|
|
A Survey of {GCLA}: A Definitional Approach to Logic Programming
|
Martin Aronsson and Lars--Henrik Eriksson and Lars Hallnäs and Per Kreuger
|
1991
|
Inproceedings
|
|
Deductive Generalization in a Default Logic Setting
|
Ph. Besnard and E. Grègoire
|
1991
|
Incollection
|
|
Three--Dimensional Object Recognition
|
L. Matthies and A. Elfes
|
1991
|
Incollection
|
|
A Polynomial Time Algorithm for Finding Finite Unions of Tree Pattern
|
Hiroki Arimura and Takeshi Shinohara and Setsuko Otsuki
|
1991
|
Incollection
|
|
> Show next 25 entries (3700 ... )
|
