The Knowledge Engineering Review: Volume 10 -

Report on the Workshop: Applications of Logic Programming in Software Engineering
P. Ciancarini, Leon Sterling
Published online by Cambridge University Press:

07 July 2009, pp. 97-100
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation
The Workshop on Applications of Logic Programming in Software Engineering was held at S. Margherita Ligure, Italy, on June 18 1994. This workshop was organized in conjunction with the International Conference of Logic Programming. We recognize that over the past decade, several sporadic research efforts have addressed the use of logic programming to improve the process of software development and the quality of its products. The workshop, we believed, would give an assessment on how effective logic programming has been and could be.

First steps in modal logic by Sally Popkorn, Cambridge University Press, 1994, pp 314, £25.00, ISBN 0-521-46482-X.
Paul J. Krause
Published online by Cambridge University Press:

07 July 2009, pp. 220-221
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

From the journals…
Published online by Cambridge University Press:

07 July 2009, pp. 223-234
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Fuzzy logic for the management of uncertainty edited by Lotfi Zadeh and Janusz Kacprzyk, John Wiley & Sons, New York, 1992, pp. 1–676, £47.50, ISBN 0-471-54799-9.
Paul J. Krause
Published online by Cambridge University Press:

07 July 2009, p. 101
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

KER volume 10 issue 2 Cover and Front matter
Published online by Cambridge University Press:

07 July 2009, pp. f1-f2
- Article
- - You have access
- PDF
- Export citation

Foundations of fuzzy systems by Rudolf Kruse, Jörg Gebhardt and Frank Klawonn, John Wiley & Sons, Chichester, 1994, pp 265, £29.95, ISBN 0-471-94243-X.
Paul J. Krause
Published online by Cambridge University Press:

07 July 2009, pp. 101-102
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

KER volume 10 issue 2 Cover and Back matter
Published online by Cambridge University Press:

07 July 2009, pp. b1-b2
- Article
- - You have access
- PDF
- Export citation

The Gödel programming language by Patricia Hill and John W. Lloyd, The MIT Press, 1994, pp 337, £40. 50/$60.75, ISBN 0-262-08229-2.
Geraint A. Wiggins
Published online by Cambridge University Press:

07 July 2009, pp. 102-104
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Advanced methods in neural computing by Philip Wasserman, International Thomson Publishing (Van Nostrand Reinhold), USA, 1993, ISBN 0-442-00461-3.
Miroslav Kubat
Published online by Cambridge University Press:

07 July 2009, pp. 104-105
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Model theory by Wilfred Hodges, Encyclopedia of Mathematics and its Applications, Vol. 42, Cambridge University Press, 1994, pp 772, £65.00, ISBN 0-521-30442-3.
Paul J. Krause
Published online by Cambridge University Press:

07 July 2009, pp. 105-106
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Artifical intelligence through search by Chris Thornton and Benedict du Boulay, Intellect, 1992, pp 363, ISBN 1-871516-24-2. - The engineering of knowledge-based systems–theory and practice by Avelino J. Gonzalez and Doughlas D. Dankel, Prentice Hall International, 1993, pp 523, ISBN 0-13-334293-X.
Simon Parsons
Published online by Cambridge University Press:

07 July 2009, pp. 106-108
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Recent advances in qualitative physics edited by Boi Faltings and Peter Struss, MIT Press, 1992, £35.95, pp 449, ISBN 0-262-06142-2.
Simon Parsons
Published online by Cambridge University Press:

07 July 2009, pp. 108-109
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Current trends in Al planning: EWSP 93–2nd European Workshop on Planning edited by C. Backstrom and E. Sandwall, lOS Press, Amsterdam, 1994.
Huaming Lee, Jon Sims Williams
Published online by Cambridge University Press:

07 July 2009, pp. 110-111
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Logic programming: operational semantics and proof theory by J. H. Andrews, Cambridge University Press, 1992, pp 104, £25.00, ISBN 0-521-43219-7.
Subrata K. Das
Published online by Cambridge University Press:

07 July 2009, pp. 111-112
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Formal specification of complex reasoning systems edited by Jan Treur and Thomas wetter, Ellis Horwood, Chichester, 1993, pp 1–282, £35.95, ISBN 0-13-336-785-1.
Dave Robertson
Published online by Cambridge University Press:

07 July 2009, pp. 112-113
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Genetic algorithms for machine learning edited by John J. Grefenstette, Kluwer Academic, USA, 1993, £72.50, pp 163, ISBN 0-792-39407-0.
Ercan Öztemel
Published online by Cambridge University Press:

07 July 2009, pp. 113-114
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

KER volume 10 issue 1 Cover and Front matter
Published online by Cambridge University Press:

07 July 2009, pp. f1-f2
- Article
- - You have access
- PDF
- Export citation

KER volume 10 issue 1 Cover and Back matter
Published online by Cambridge University Press:

07 July 2009, pp. b1-b6
- Article
- - You have access
- PDF
- Export citation

The Knowledge Engineering Review

Refine listing

Actions for selected content:

Volume 10 - December 1995

Research Article

Report on the Workshop: Applications of Logic Programming in Software Engineering

Book reviews

First steps in modal logic by Sally Popkorn, Cambridge University Press, 1994, pp 314, £25.00, ISBN 0-521-46482-X.

From the Journals

From the journals…

Book Reviews

Fuzzy logic for the management of uncertainty edited by Lotfi Zadeh and Janusz Kacprzyk, John Wiley & Sons, New York, 1992, pp. 1–676, £47.50, ISBN 0-471-54799-9.

Front matter

KER volume 10 issue 2 Cover and Front matter

Book Reviews

Foundations of fuzzy systems by Rudolf Kruse, Jörg Gebhardt and Frank Klawonn, John Wiley & Sons, Chichester, 1994, pp 265, £29.95, ISBN 0-471-94243-X.

Back matter

KER volume 10 issue 2 Cover and Back matter

Book Reviews

The Gödel programming language by Patricia Hill and John W. Lloyd, The MIT Press, 1994, pp 337, £40. 50/$60.75, ISBN 0-262-08229-2.

Advanced methods in neural computing by Philip Wasserman, International Thomson Publishing (Van Nostrand Reinhold), USA, 1993, ISBN 0-442-00461-3.

Model theory by Wilfred Hodges, Encyclopedia of Mathematics and its Applications, Vol. 42, Cambridge University Press, 1994, pp 772, £65.00, ISBN 0-521-30442-3.

Recent advances in qualitative physics edited by Boi Faltings and Peter Struss, MIT Press, 1992, £35.95, pp 449, ISBN 0-262-06142-2.

Current trends in Al planning: EWSP 93–2nd European Workshop on Planning edited by C. Backstrom and E. Sandwall, lOS Press, Amsterdam, 1994.

Logic programming: operational semantics and proof theory by J. H. Andrews, Cambridge University Press, 1992, pp 104, £25.00, ISBN 0-521-43219-7.

Formal specification of complex reasoning systems edited by Jan Treur and Thomas wetter, Ellis Horwood, Chichester, 1993, pp 1–282, £35.95, ISBN 0-13-336-785-1.

Genetic algorithms for machine learning edited by John J. Grefenstette, Kluwer Academic, USA, 1993, £72.50, pp 163, ISBN 0-792-39407-0.

Front matter

KER volume 10 issue 1 Cover and Front matter

Back matter

KER volume 10 issue 1 Cover and Back matter

The Knowledge Engineering Review

Refine listing

Actions for selected content:

Save Search

Volume 10 - December 1995

Research Article

Book reviews

From the Journals

Book Reviews

Front matter

Book Reviews

Back matter

Book Reviews

Front matter

Back matter