|
Titel
|
Author
|
Year
|
Type
|
|
{STATIC}: A problem space compiler for {PRODIGY}
|
O. Etzioni
|
1991
|
Inproceedings
|
|
Satisficing Feedback Strategies for Local Navigation of Autonomous Mobile Robots
|
D. Feng and B. H. Krogh
|
1991
|
Incollection
|
|
Probably Almost {B}ayes Decisions
|
Fischer, Paul and Pölt, Stefan and Simon, Hans Ulrich
|
1991
|
Inproceedings
|
|
A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs
|
Amy Felty
|
1991
|
Inproceedings
|
|
Improving the retrieval of information from external sources
|
Dumais, Susan T.
|
1991
|
Article
|
|
Uncertainty, belief, and probability
|
R. F. Fagin and J. Y. Halpern
|
1991
|
Article
|
|
Epistemic entrenchment and possibilistic logic
|
D. Dubois and H. Prade
|
1991
|
Article
|
|
Lego Vehicles: A Technology for Studying Intelligent Systems
|
Jim Donnett and Tim Smithers
|
1991
|
Inproceedings
|
|
Using {MOBAL} for Security Policy Management - Overview and Remarks
|
Fargier, Helene
|
1991
|
Techreport
|
|
Complexity, Decidability and Undecidability Results for Domain-Independent Planning: A Detailed Analysis
|
Kutluhan Erol and Dana S. Nau and V.S. Subrahmanian
|
1991
|
Techreport
|
|
Incorporating statistical techniques into empirical symbolic learning systems
|
F. Esposito and D. malerba and G. Semeraro
|
1991
|
Incollection
|
|
Using Functions to Encode Domain and Contextual Knowledge in Statistical Induction
|
Frawley, W. J.
|
1991
|
Incollection
|
|
Knowledge Discovery in Databases: An Overview
|
Frawley, W. and Piatetsky-Shapiro, G. and Matheus, C.
|
1991
|
Incollection
|
|
Conditional Logics and Cumulative Logics
|
Andre Fuhrmann
|
1991
|
Techreport
|
|
Answer for Disjunctive Logic Programs
|
Ulrich Furbach
|
1991
|
Inproceedings
|
|
Improved Learning of {AC} Functions
|
Furst, Merrick L. and Jackson, Jeffrey C. and Smith, Sean W.
|
1991
|
Inproceedings
|
|
Modal Provability Foundations for Negation by Failure
|
Dov M. Gabbay
|
1991
|
Inproceedings
|
|
Dual Types of Hypotheses in Inductive Inference
|
Rusins Freivalds and Efim B. Kinber and Rolf Wiehagen
|
1991
|
Incollection
|
|
Default Connections in a Modal Planning Framework
|
Bertram Fronhöfer
|
1991
|
Inproceedings
|
|
{E}valuation von {G}rammatiken für die {A}nalyse natürlicher {S}prache durch {G}enerierung einer repräsentativen {S}atzmenge
|
Karl Gregor Erbach and Roman Georg Arens
|
1991
|
Inproceedings
|
|
An Optimization Framework for Feature Extraction
|
P. Fua and A. J. Hanson
|
1991
|
Article
|
|
Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems
|
Marta Franova and Yves Kodratoff
|
1991
|
Incollection
|
|
Statistical approaches to aligning sentences and identifying word correspondences in parallel texts: a report on work in progress
|
W. A. Gale and K. w. Church
|
1991
|
Incollection
|
|
Deterministic {B}oltzmann Learning in Networks with Asymmetric Connectivity
|
Galland, C. C. and Hinton, G. E.
|
1991
|
Incollection
|
|
{G}raphische {W}issensrepräsentation
|
Ute Gappa
|
1991
|
Inproceedings
|
|
> Show next 25 entries (3325 ... )
|
