Semirings for Soft Constraint Solving and Programming [[electronic resource] /] / by Stefano Bistarelli |
Autore | Bistarelli Stefano |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XII, 284 p.) |
Disciplina | 005.1/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Algebra
Programming languages (Electronic computers) Computer programming Software engineering Computer logic Artificial intelligence Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Logics and Meanings of Programs Artificial Intelligence |
ISBN |
1-280-30701-3
9786610307012 3-540-25925-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction -- 2. Soft Constraint Satisfaction Problems -- 3. Towards SCSPs Solutions -- 4. SCSP Abstraction -- 5. Higher Order Semiring-Based Constraints -- 6. Soft CLP -- 7. SCLP and Generalized Shortest Path Problems -- 8. Soft Concurrent Constraint Programming -- 9. Interchangeability in Soft CSPs -- 10. SCSPs for Modelling Attacks to Security Protocols -- 11. Conclusions and Directions for Future Work. |
Record Nr. | UNISA-996466051403316 |
Bistarelli Stefano
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Semirings for Soft Constraint Solving and Programming / / by Stefano Bistarelli |
Autore | Bistarelli Stefano |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XII, 284 p.) |
Disciplina | 005.1/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Algebra
Programming languages (Electronic computers) Computer programming Software engineering Computer logic Artificial intelligence Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Logics and Meanings of Programs Artificial Intelligence |
ISBN |
1-280-30701-3
9786610307012 3-540-25925-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction -- 2. Soft Constraint Satisfaction Problems -- 3. Towards SCSPs Solutions -- 4. SCSP Abstraction -- 5. Higher Order Semiring-Based Constraints -- 6. Soft CLP -- 7. SCLP and Generalized Shortest Path Problems -- 8. Soft Concurrent Constraint Programming -- 9. Interchangeability in Soft CSPs -- 10. SCSPs for Modelling Attacks to Security Protocols -- 11. Conclusions and Directions for Future Work. |
Record Nr. | UNINA-9910145796603321 |
Bistarelli Stefano
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|