InhaltsangabeLearning and consistency.- Error detecting in inductive inference.- Learning from go...

This volume contains all the papers that were presented atthe Fourth Workshop on Algorithmic ...

InhaltsangabeVerification of an alternating bit protocol by means of process algebra protocol.- P...

This volume contains revised versions of presentations at the International Workshop on Analogica...

This proceedings volume contains revised papers from the first International Workshop on Nonmonot...

This volume contains the proceedings of a workshop on specification of abstract data types. The m...

InhaltsangabeGrammatical inference: An old and new paradigm.- Efficient learning of real time one...

This volume presents the proceedings of the Fourth International Workshop on Analogical and Induc...

InhaltsangabeRepresenting the spatial kinematic domain and lattice computers.- A solution of the ...

These are the conference proceedings of the 4th International Conference on Discovery Science (DS...

InhaltsangabeA tutorial on Nonmonotonic Reasoning.- On the sample complexity of various learning ...