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 and reviewed papersbased on talks presented at the fir...

The algebraic specification of abstract data types is now awell establishedresearch topic in co...

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 ...