Constraint Solving Over Multi-valued Logics
| Author | : Francisco Azevedo |
| Publisher | : IOS Press |
| Total Pages | : 234 |
| Release | : 2003 |
| ISBN-13 | : 1586033042 |
| ISBN-10 | : 9781586033040 |
| Rating | : 4/5 (40 Downloads) |
Book Synopsis Constraint Solving Over Multi-valued Logics by : Francisco Azevedo
Download or read book Constraint Solving Over Multi-valued Logics written by Francisco Azevedo and published by IOS Press. This book was released on 2003 with total page 234 pages. Available in PDF, EPUB and Kindle. Book excerpt: Systems are subject to faults in their components, affecting their overall behaviour. This work addresses such problems developing models with multi-valued logics that it formalizes and generalizes to multiple faults. Such logics extend Boolean logic by encoding dependencies on faults.
