Publication

Titel	Author	Year	Type
{SCOTT}: A Model-Guided Theorem Prover	John Slaney	1993	Inproceedings
{SHERLOCK.O} -- {K}ognitive {M}odellierung von {D}ebuggingstrategien	Hamarz Mehmanesh and Josef Krems	1988	Inproceedings
{SICLA} Manuel de mise en \oe uvre et exemples	???	1989	Techreport
{SIFT}: A tool for wide-area information dissemination	Yan, Tak Y. and Garcia-Molina, Hector	1995	Inproceedings
{SLWV} -- A Theorem Prover for Logic Programming	L. M. Pereira and L. Caires and J. Alferes	1992	Incollection
{SMART+}: A multistrategy Learning System	M. Botta and A. Giordana and L. Saitta		Unpublished
{SMART}+: A Multi--Strategy Learning Tool	Marco Botta and Attilio Giordana	1993	Inproceedings
{SOAR}: An Architecture for General Intelligence	Laird, John E. and Newell, Allen and Rosenbloom, Paul S.	1987	Article
{SONIC}: transcription of polyphonic piano music with neural networks	Marolt, M.	2001	Inproceedings
{SPICOS II}: {L}inguistische {A}nalyse im {D}atenbankdialog	Gerhard Th. Niedermair	1989	Inproceedings
{SPREADIAC} -- {I}ntelligente {P}fadsuche und --bewertung auf {V}ererbungsnetzen zur {V}erarbeitung impliziter {R}eferenzen	R. Schäfer	1990	Inproceedings
{SPRINT}: A Scalable Parallel Classifier for Data Mining	Shafer, John C. and Agrawal, Rakesh and Mehta, Manish	1996	Inproceedings
{SQL} for {S}marties: {A}dvanced {SQL} {P}rogramming	Celko,Joe	2000	Book
{STAHLp}: Belief Revision in Scientific Discovery	Donald Rose and Pat Langley	August 1986	Inproceedings
{STATIC}: A problem space compiler for {PRODIGY}	O. Etzioni	1991	Inproceedings
{STRIPS:} A New Approach to the Application of Theorem Proving to Problem Solving	Richard E. Fikes and Nils J. Nilsson	1990	Incollection
{STRIPS:} A New Approach to the Application of Theorem Proving to Problem Solving	Richard E. Fikes and Nils J. Nilsson	1971	Inproceedings
{STRIPS}: A new approach to the application of theorem proving to problem solving	Richard E. Fikes and Peter E. Hart and Nils J. Nisson	1971	Article
{STRUPPI}: Ein graphischer {P}retty--{P}rinter für {LISP}--{S}trukturen	D. Bauer and M. Schneider	1985	Inproceedings
{SV} Estimation of a Distribution's Support	Schölkopf, Bernhard and Williamson, Robert C. and Smola, Alex J. and Shawe-Taylor, John	2000	Inproceedings
{SWISS} -- A Natural Language Question Answering System for Scene Analysis	Schefe, P. and Pretschner, B.	1981	Inproceedings
{T}eaching the {E}nergy {C}oncept with the {M}achine {L}earning {S}ystem {APT}	Claire Nèdellec and Andrèe Tiberghien	1999	Incollection
{T}echniken der {W}issensdarstellung	Laubsch, Joachim	1984	Inproceedings
{T}echniken des {W}issenserwerb	Diederich, Joachim	1987	Inproceedings
{T}echniques for {A}utomatic {M}usic {T}ranscription	Bello, J. and Monti, G. and Sandler, M.	2000	Inproceedings
> Show next 25 entries (850 ... )