 |
|
|
Item Details
| Title:
|
VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS
THEORY, TOOLS AND PRACTICE |
| By: |
Anca Vermesan (Editor), Frans Coenen (Editor) |
| Format: |
Hardback |
| List price:
|
£172.50 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
0792386450 |
| ISBN 13: |
9780792386452 |
| Publisher: |
SPRINGER |
| Pub. date: |
30 September, 1999 |
| Edition: |
1999 ed. |
| Pages: |
366 |
| Description: |
Offers a collection of papers, dealing with the aspects of knowledge-based systems (KBS) and verification and validation (V&V), presented at the Fifth European Symposium on Verification and Validation of Knowledge Based Systems and Components. |
| Synopsis: |
Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality and safety must be paid throughout development of a KBS and rigorous verification and validation (V&V) techniques must be employed. Research in V&V of KBS has emerged as a distinct field only in the last decade and is intended to address issues associated with quality and safety aspects of KBS and to credit such applications with the same degree of dependability as conventional applications. In recent years, V&V of KBS has been the topic of annual workshops associated with the main AI conferences, such as AAAI, IJACI and ECAI. Validation and Verification of Knowledge Based Systems contains a collection of papers, dealing with all aspects of KBS V&V, presented at the Fifth European Symposium on Verification and Validation of Knowledge Based Systems and Components (EUROVAV'99 - which was held in Oslo in the summer of 1999, and was sponsored by Det Norske Veritas and the British Computer Society's Specialist Group on Expert Systems (SGES). |
| Illustrations: |
XIV, 366 p. |
| Publication: |
Netherlands |
| Imprint: |
Springer |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|