Publication

Titel	Author	Year	Type
Reasoning About Persistence: a Theory of Actions	Yan Zhang and Norman Y. Foo	1993	Inproceedings
Representing Biases for Inductive Logic Programming	Birgit Tausend	1993	Inproceedings
Testing the Existence of Functional Relationship in Data	Zembowicz, Robert and Zytkow, Jan M.	1993	Inproceedings
L--{ATMS}: A Tight Integration of {EBL} and the {ATMS}	Kai Zercher	1993	Incollection
Combining {FOIL} and {EBG} to Speed--up Logic Programs	John M. Zelle and Raymond J. Mooney	1993	Inproceedings
Dialogue Cohesion Sharing and Adjusting in an Enhanced Multimodal Environment	Massimo Zancanaro and Oliviero Stock and Carlo Strapparava	1993	Inproceedings
Second Order Measures for Uncertainty Processing	Zdenek Zdráhal	1993	Inproceedings
A Constructivist Critique of the Assumptions of Instructional Design	William Winn	1993	Incollection
Rational Reconstruction of Dignostic Expertise	Radboud Winkels and Joost Breuker	1993	Incollection
Classification Networks: A Knowledge Representation Scheme for Curriculum Prescription	Kwok--Keung Yum and Thomas J. Richards	1993	Inproceedings
Hierarchical Constraint Logic Programming	Wilson, M. and Borning, A.	1993	Techreport
A Language for Implementing Arbitrary Logics	Mark Tarver	1993	Inproceedings
Fuzzy {L}ogic and {AI}	John Yen and Piero Bonissone and Didier Dubois and Christian Freksa and Ramon Lopez deMantaras and Enrique H. Ruspini and Lotfi A. Zadeh	1993	Inproceedings
Preferences for Model Selection in Explanation	Dan Suthers	1993	Inproceedings
Methoden zum {E}inführen neuer {P}rädikate in der {I}nduktiven {L}ogischen {P}rogrammierung	Irene Stahl	1993	Unpublished
The clausal theory of types	D. A. Wolfram	1993	Book
A Review of Evolutionary Artificial Neural Networks	Yao, Xin	1993	Article
Example--Based Machine Translation on Massively Parallel Processors	Eiichiro Sumita and Kozo Oi and Osamu Furuse and Hitoshi Iida and Tetsuya Higuchi andNaoto Takahashi and Hiroaki Kitano	1993	Inproceedings
Approximating Maximum--Entropy Ratings for Evidential Parsing and Semantic Interpretation	Dekai Wu	1993	Inproceedings
A Methodology for Evaluating Theory Revision Systems: Results with Audrey II	James Wogulis and Michael J. Pazzani	1993	Inproceedings
{SCOTT}: A Model-Guided Theorem Prover	John Slaney	1993	Inproceedings
The Justification of Logical Theories Based on Data Compression	A.Srinivasan and S. Muggleton and M. Bain	1993	Article
Grundlagen und Anwendungen der Künstlichen Intelligenz -- 17. Fachtagung für KI		1993	Proceedings
Quantifying Beliefs by Believe Functions: an Axiomeatic Justification	Philippe Smets	1993	Inproceedings
Incorporating Syntactic Constraints in Recognizing Handwritten Sentences	Rohini K. Srihari and Charlotte M. Baltus	1993	Inproceedings
> Show next 25 entries (2900 ... )