1 | -- | 25 | Cis Schut, Bert Bredeweg. An overview of approaches to qualitative model construction |
27 | -- | 42 | Claude Sammut. Automatic construction of reactive control systems using symbolic machine learning |
43 | -- | 56 | Michael Fisher. An introduction to executable temporal logics |
57 | -- | 66 | Raúl E. Valdés-Pérez. Computer science research on scientific discovery |
67 | -- | 68 | Vladimir Pericliev. Research in machine scientific discovery and the domain sciences: Invited response to "Computer science research in scientific discovery" |
69 | -- | 72 | John Lee. Roles for intelligence in multimedia: report on the IMMI-1 workshop |
73 | -- | 78 | Didier Dubois. The uncertain reasoner's companion: a mathematical perspective by Jeff B. Paris, Cambridge University Press, Cambridge, UK, 1994, pp 212. Volume 39 in Cambridge Tracts in Theoretical Computer Science |
78 | -- | 79 | Gerd Brewka. Artificial intelligence - a modern approach by Stuart Russell and Peter Norvig, Prentice Hall. Series in Artificial Intelligence, Englewood Cliffs, NJ |
79 | -- | 81 | Rashmi Pandya. Concept formation and knowledge revision by Stefan Wrobel, Kluwer Academic, Netherlands, 1994, pp 240, £57.75, ISBN 079239500X |
81 | -- | 82 | Stephen P. Wilson. Algebraic specification techniques and tools for software development - the ACT approach by I. ClaBen, H. Ehrig and D. Wolz, AMAST Series in Computing, Vol 1. World Scientific Publishing Co., USA, 1993, pp 237, £27.00, ISBN 981-02-1227-5 |
82 | -- | 83 | Jean-Louis Gomard. The uncertain reasoner's companion: a mathematical perspective by J. B. Paris, Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, UK, 1994, pp 212, £25.00, ISBN 0521 460891 |
85 | -- | 91 | . From the journals... |