£145.28

About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.

£145 today · all-time low £142 (Sep 2026) · usually £145

Springer Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 73 days · 73 data points (no recent data)

Historical
Generating forecast…
£146.06 £141.41 £142.42 £143.44 £144.45 £145.47 £146.48 26 July 2026 13 August 2026 31 August 2026 18 September 2026 06 October 2026
View at Amazon ↗

Price data last checked 18 day(s) ago - will refresh soon

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↑ Price chart
when this has been cheap or pricey
↑ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price Distribution

Price distribution over 73 days • 4 price levels

Days at Price
Current Price
15 days 33 days 11 days · current 14 days 0 8 17 25 33 £142 £144 £145 £146 Days at Price

Price Analysis

Most common price: £144 (33 days, 45.2%)

Price range: £142 - £146

Price levels: 4 different prices over 73 days

Description

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 Verificationand 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).

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
03 December 2010
Listed Since
06 July 2010

Barcode

No barcode data available

Similar Products You Might Like

Handbook for Evaluating Knowledge-Based Systems: Conceptual Framework and Compendium of Methods
96% match

Handbook for Evaluating Knowledge-Based Systems: Conceptual Framework and Compendium of Methods

Springer

£120.87 02 Sep 2026
Verification and Validation of Rule-Based Expert Systems
96% match

Verification and Validation of Rule-Based Expert Systems

CRC Press

£124.24 07 Oct 2026
AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings: 14846 (Lecture Notes in Computer Science, 14846)
95% match

AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings: 14846 (Lecture Notes in Computer Science, 14846)

Springer

£92.21 08 Oct 2026
World Scientific Knowledge-Based Systems Advanced Concepts Book
95% match

World Scientific Knowledge-Based Systems Advanced Concepts Book

World Scientific Publishing Company

£134.99 02 Oct 2026
Knowledge-Based Software Engineering: 2020: Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE ... and Analytics in Intelligent Systems, 19)
95% match

Knowledge-Based Software Engineering: 2020: Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE ... and Analytics in Intelligent Systems, 19)

Springer

£100.11 15 Oct 2026
Knowledge-Based Software Engineering: 2020: Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE ... and Analytics in Intelligent Systems, 19)
95% match

Knowledge-Based Software Engineering: 2020: Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE ... and Analytics in Intelligent Systems, 19)

Springer

£146.92 14 Oct 2026
Specification and Verification of Multi-agent Systems - Springer
95% match

Specification and Verification of Multi-agent Systems - Springer

Springer

£109.09 03 Oct 2026
Metacognition and Successful Learning Strategies in Higher Education
95% match

Metacognition and Successful Learning Strategies in Higher Education

Information Science Reference

£154.99 11 Oct 2026
Knowledge-Based Systems for Multiple Environments (Routledge Revivals)
95% match

Knowledge-Based Systems for Multiple Environments (Routledge Revivals)

Routledge

£98.79 08 Sep 2026
Knowledge-Based Software Engineering 2018 - JCKBSE Conference Proceedings
95% match

Knowledge-Based Software Engineering 2018 - JCKBSE Conference Proceedings

Springer

£103.81 09 Oct 2026
Case-Based Reasoning Research and Development: Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, ... (Lecture Notes in Computer Science, 1650)
95% match

Case-Based Reasoning Research and Development: Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, ... (Lecture Notes in Computer Science, 1650)

Springer

£83.82 09 Oct 2026
System Verification: Proving the Design Solution Satisfies the Requirements
95% match

System Verification: Proving the Design Solution Satisfies the Requirements

Elsevier

£70.39 26 Aug 2026
Research and Development in Intelligent Systems XXIII: Proceedings of AI-2006, The Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
95% match

Research and Development in Intelligent Systems XXIII: Proceedings of AI-2006, The Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence

Springer

£83.07 24 Sep 2026
Practical Design Verification
95% match

Practical Design Verification

Cambridge University Press

£19.98 06 Oct 2026
Case-Based Reasoning Research and Development: 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005, ... (Lecture Notes in Computer Science, 3620)
95% match

Case-Based Reasoning Research and Development: 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005, ... (Lecture Notes in Computer Science, 3620)

Springer

£59.94 11 Sep 2026
Research and Development in Intelligent Systems XXV: Proceedings of AI-2008, The Twenty-eighth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence: 25
95% match

Research and Development in Intelligent Systems XXV: Proceedings of AI-2008, The Twenty-eighth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence: 25

Springer

£146.16 03 Sep 2026
Knowledge-Based Virtual Education: User-Centred Paradigms: 178 (Studies in Fuzziness and Soft Computing, 178)
95% match

Knowledge-Based Virtual Education: User-Centred Paradigms: 178 (Studies in Fuzziness and Soft Computing, 178)

Springer

£117.73 20 Aug 2026
Verification, Validation and Testing in Software Engineering
95% match

Verification, Validation and Testing in Software Engineering

IGI Global

£85.63 04 Sep 2026
Independent Verification and Validation Software Engineering Book
95% match

Independent Verification and Validation Software Engineering Book

Wiley

£130.30 12 Oct 2026
Software Verification and Validation for Practitioners and Managers
95% match

Software Verification and Validation for Practitioners and Managers

Artech House

£60.05 01 Oct 2026
Knowledge-Based Intelligent Information and Engineering Systems: 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, ... (Lecture Notes in Computer Science, 5178)
95% match

Knowledge-Based Intelligent Information and Engineering Systems: 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, ... (Lecture Notes in Computer Science, 5178)

Springer

£165.44 22 Sep 2026
Artificial Intelligence and Computing Logic: Cognitive Technology for AI Business Analytics (Innovation Management and Computing)
95% match

Artificial Intelligence and Computing Logic: Cognitive Technology for AI Business Analytics (Innovation Management and Computing)

CRC Press

£124.81 26 Aug 2026
Knowledge-Based Intelligent Information and Engineering Systems: 8th International Conference, KES 2004, Wellington, New Zealand, September 20–25, ... (Lecture Notes in Computer Science, 3213)
95% match

Knowledge-Based Intelligent Information and Engineering Systems: 8th International Conference, KES 2004, Wellington, New Zealand, September 20–25, ... (Lecture Notes in Computer Science, 3213)

Springer

£44.99 27 Sep 2026
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)
95% match

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)

Springer

£77.49 21 Aug 2026