Publication

Titel	Author	Year	Type
A three--valued logic for {I}nductive {L}ogic {P}rogramming	Siegfried Bell and Steffo Weber	1993	Techreport
An improvement of the Jackknife distribution function estimator	Booth, J.G. and Hall, P.	1993	Article
Homing Using combinations of Model Views	Ronen Basri and Ehud Rivlin	1993	Inproceedings
Liveness and Fairness Properties in Multi-Agents Systems	Hans-Dieter Burkhard	1993	Inproceedings
{PHI} -- A Logic--Based Toll for Intelligent Help Systems	M. Bauer and S. Biundo and D. Dengler and J. Koehler and G. Paul	1993	Inproceedings
Avoiding Pitfalls When Learning Recursive Theories	R. M. Cameron--Jones and J. R. Quinlan	1993	Inproceedings
Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional {S5}	Ricardo Caferra and St\'ephane Demri	1993	Inproceedings
Semantical and Computational Aspects of Horn Approximations	Marco Cadoli	1993	Inproceedings
Proving theorems in a multi-source environment	Laurence Cholvy	1993	Inproceedings
Dialogue Cohesion Sharing and Adjusting in an Enhanced Multimodal Environment	Catherine Baudin and Jody Gevins Underwood and Vinod Baya	1993	Inproceedings
Behavior--Based Learning to Control {IR} Oven Heating: Preliminary Investigations	R. Chou and P. Liu and J. Vallino and M. Y. Chiu	1993	Incollection
Conditional Causal Logic: A Formal Theory of the Meaning Generating Processes in a Cognitive System	Pierre Basso	1993	Inproceedings
Experiments in Multistrategy Learning by Meta-Learning	Chan, Philip K. and Stolfo, Salvatore	1993	Inproceedings
Difference Unification	David A. Basin and Toby Walsh	1993	Inproceedings
{TELECOM} and {AI}	Franz Barachini Fumio Hattori and Georg Pauthner and Werner Remmele and Greg Vesonder	1993	Inproceedings
Logical Specification of Real--Time Granular Systems in an Object Oriented Language	Emanuele Ciapessoni and Edoardo Corsetti and Manlio Migliorati and Elena Ratto	1993	Inproceedings
Sitated Action: A Neuropsychological Interpretation Response to Vera and Simon	William J. Clancey	1993	Article
Statistical Language Learning	Charniak, Eugene	1993	Book
How to Prefer More Specific Defaults in Terminological Default Logic	Franz Baader and Bernhard Hollunder	1993	Inproceedings
Estimating the Accuracy of Learned Concepts	Thimothy L. Bailey and Charles Elkan	1993	Inproceedings
Automating Path Analysis for Building Causal Models from Data: First Results and Open Problems	Cohen, Paul R. and Ballesteros, Lisa and Carlson, Adam and St. Amand, Robert	1993	Inproceedings
The identification of multiple outliers	Davies, Laurie and Gather, Ursula	1993	Article
When functional and Bijective constraints make a {CSP} polynomial	Philippe David	1993	Inproceedings
{ALEPS}: The Automated Logistics Element Planning System	Rodney S. Daughtrey and David Michael Brady	1993	Inproceedings
Symbolic Reasoning with Relative Orders of Magnitude	Philippe Dague	1993	Inproceedings
> Show next 25 entries (2525 ... )