331 | -- | 343 | Pedro Meseguer, Alun D. Preece. Verification and validation of knowledge-based systems with formal specifications |
345 | -- | 360 | Frank van Harmelen, Dieter Fensel. Formal methods in knowledge engineering |
361 | -- | 404 | Dieter Fensel. Formal specification languages in knowledge and software engineering |
405 | -- | 410 | Roland H. C. Yap. Workshop Report: Constraint languages/systems and their use in problem modelling |
411 | -- | 0 | Paul J. Krause. The art of Prolog - second edition by Leon Sterling and Ehud Shapiro, MIT Press, Cambridge, MA 1994, pp 509, £19.95 (paperback), £44.94 (hardback), ISBN 0-262-19338-8 |
411 | -- | 412 | S. K. Das. Executable modal and temporal logics by M. Fisher and R. Owens, Springer-Verlag, Germany, 1995, 180 pp. DM 46 |
412 | -- | 413 | Simon Parsons. Artificial intelligence techniques in Prolog by Yoav Shoham, Morgan Kaufmann, 1994, 327 pp, £38.50, ISBN 1-55860-319-0 |
415 | -- | 424 | . From the journals... |
425 | -- | 0 | . Referees for The Knowledge Engineering Review Papers - Volume 10 |