Journal: Knowledge Eng. Review

Volume 11, Issue 4

301 -- 0Norbert E. Fuchs. Guest Editorial
303 -- 316Paolo Ciancarini. An overview of declarative process modelling using logic programming
317 -- 331Norbert E. Fuchs, David Robertson. Declarative specifications
333 -- 345Leon Sterling, L. Ümit Yalçinalp. Logic Programming and Software engineering - implications for Software design
347 -- 360Alberto Pettorossi, Maurizio Proietti. Developing correct and efficient logic programs by transformation
361 -- 364Henry Hexmoor, Lisa Meeden. Learning in autonomous robots
365 -- 371Xiaohui Liu. Intelligent data analysis: issues and challenges
373 -- 374Jonathan Bowen. The Knowledge Acquisition and Representation Language, KARL by Dieter Fensel, Kluwer Academic, Dordrecht, 1995, pp 238, ISBN 0-7923-9601-4, Dfl 195.00 (US$ 110.00, £77.00)
374 -- 377Michael Wooldridge. Reasoning about knowledge by Ronald Fagin, Joseph Y. Halpern, Yoram Moses and Moshe Y. Vardi, MIT Press, Cambridge, MA, 1995, pp 477, $45.00 cloth, ISBN 0-262-06162-7
379 -- 385. From the journals..
386 -- 0. Referees for The Knowledge Engineering Review Papers-Volume 11

Volume 11, Issue 3

205 -- 244Hyacinth S. Nwana. Software agents: an overview
245 -- 252W. Z. Liu. An integrated approach for different attribute types in nearest neighbour classification
253 -- 280Christine Pierret-Golbreich, Xavier Talon. TFL: an algebraic language to specify the dynamic behaviour of knowledge-based systems
281 -- 288Luca Chittaro, Angelo Montanari. Trends in temporal representation and reasoning
289 -- 292Mark A. Brown, José Carmo. Third international workshop on deontic logic in computer science
293 -- 0Stefano Levialdi. International workshop on Advanced Visual Interfaces: AVI '96 Gubbio, Italy
295 -- 296. Subjective probability by George Wright and Peter Ayton (Eds.), Wiley John & Sons, Chichester, 1994, pp 574, ISBN 0-471-94443-2
297 -- 300. From the journals...

Volume 11, Issue 2

93 -- 136Mike Uschold, Michael Gruninger. Ontologies: principles, methods and applications
137 -- 160S. Xia, N. Smith. Automated modelling: a discussion and review
161 -- 189D. Manfaat, Alex H. B. Duffy, B. S. Lee. Review of pattern matching approaches
191 -- 192Stefan Conrad. DOOD'95 Post-Conference Workshop on Temporal Reasoning in Deductive and Object-Oriented Databases
193 -- 195V. Richard Benjamins, Frank van Harmelen, Niek J. E. Wijngaards. Summary of the KEML-96 workshop, Paris, January 15-16, 1996, CNRS, Gif sur Yvette (Paris)
197 -- 0Simon Parsons. Soft computing: fuzzy logic, neural networks and distributed artificial intelligence by F. Aminzadeh and M. Jamshidi (Eds.), PTR Prentice Hall, Englewood Cliffs, NJ, pp 301, ISBN 0-13-146234-2
197 -- 198Jonathan Bowen. Formal methods in knowledge engineering by M. Aben, University of Amsterdam, Netherlands, pp 236, ISBN 90-5470-028-9
199 -- 204. From the journals...

Volume 11, Issue 1

1 -- 25Cis Schut, Bert Bredeweg. An overview of approaches to qualitative model construction
27 -- 42Claude Sammut. Automatic construction of reactive control systems using symbolic machine learning
43 -- 56Michael Fisher. An introduction to executable temporal logics
57 -- 66Raúl E. Valdés-Pérez. Computer science research on scientific discovery
67 -- 68Vladimir Pericliev. Research in machine scientific discovery and the domain sciences: Invited response to "Computer science research in scientific discovery"
69 -- 72John Lee. Roles for intelligence in multimedia: report on the IMMI-1 workshop
73 -- 78Didier 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 -- 79Gerd Brewka. Artificial intelligence - a modern approach by Stuart Russell and Peter Norvig, Prentice Hall. Series in Artificial Intelligence, Englewood Cliffs, NJ
79 -- 81Rashmi Pandya. Concept formation and knowledge revision by Stefan Wrobel, Kluwer Academic, Netherlands, 1994, pp 240, £57.75, ISBN 079239500X
81 -- 82Stephen 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 -- 83Jean-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...