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