Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Recent advances in constraints : 13th annual ercim international workshop on constraint solving and constraint logic programming, csclp 2008, rome, italy, june 18-20, 2008, revised selected papers / / edited by Angelo Oddi, François Fages, Francesca Rossi
| Recent advances in constraints : 13th annual ercim international workshop on constraint solving and constraint logic programming, csclp 2008, rome, italy, june 18-20, 2008, revised selected papers / / edited by Angelo Oddi, François Fages, Francesca Rossi |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2009] |
| Descrizione fisica | 1 online resource (154 p.) |
| Disciplina | 005.116 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence ; 5655 |
| Soggetto topico |
Logic programming
Constraint programming (Computer science) |
| ISBN |
1-282-33178-7
9786612331787 3-642-03251-6 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Marriages to Coalitions: A Soft CSP Approach -- Solving CSPs with Naming Games -- An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints -- Challenges in Constraint-Based Analysis of Hybrid Systems -- From Rules to Constraint Programs with the Rules2CP Modelling Language -- Combining Symmetry Breaking and Global Constraints -- Iterative Flattening Search on RCPSP/max Problems: Recent Developments -- Robust Solutions in Unstable Optimization Problems -- IDB-ADOPT: A Depth-First Search DCOP Algorithm. |
| Altri titoli varianti | CSCLP 2008 |
| Record Nr. | UNINA-9910483269803321 |
| Berlin, Germany ; ; New York, United States : , : Springer, , [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent advances in constraints : 13th annual ercim international workshop on constraint solving and constraint logic programming, csclp 2008, rome, italy, june 18-20, 2008, revised selected papers / / edited by Angelo Oddi, François Fages, Francesca Rossi
| Recent advances in constraints : 13th annual ercim international workshop on constraint solving and constraint logic programming, csclp 2008, rome, italy, june 18-20, 2008, revised selected papers / / edited by Angelo Oddi, François Fages, Francesca Rossi |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2009] |
| Descrizione fisica | 1 online resource (154 p.) |
| Disciplina | 005.116 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence ; 5655 |
| Soggetto topico |
Logic programming
Constraint programming (Computer science) |
| ISBN |
1-282-33178-7
9786612331787 3-642-03251-6 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Marriages to Coalitions: A Soft CSP Approach -- Solving CSPs with Naming Games -- An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints -- Challenges in Constraint-Based Analysis of Hybrid Systems -- From Rules to Constraint Programs with the Rules2CP Modelling Language -- Combining Symmetry Breaking and Global Constraints -- Iterative Flattening Search on RCPSP/max Problems: Recent Developments -- Robust Solutions in Unstable Optimization Problems -- IDB-ADOPT: A Depth-First Search DCOP Algorithm. |
| Altri titoli varianti | CSCLP 2008 |
| Record Nr. | UNISA-996465308903316 |
| Berlin, Germany ; ; New York, United States : , : Springer, , [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent advances in constraints : 12th annual ercim international workshop on constraint solving and constraint logic programming, csclp 2007 rocquencourt, france, june 7-8, 2007 revised selected papers / / edited by François Fages, Francesca Rossi, Sylvain Soliman
| Recent advances in constraints : 12th annual ercim international workshop on constraint solving and constraint logic programming, csclp 2007 rocquencourt, france, june 7-8, 2007 revised selected papers / / edited by François Fages, Francesca Rossi, Sylvain Soliman |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (VII, 159 p.) |
| Disciplina | 005.115 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence ; 5129 |
| Soggetto topico |
Constraint programming (Computer science)
Logic programming |
| ISBN | 3-540-89812-3 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games -- Temporal Reasoning in Nested Temporal Networks with Alternatives -- SCLP for Trust Propagation in Small-World Networks -- Improving ABT Performance by Adding Synchronization Points -- On the Integration of Singleton Consistencies and Look-Ahead Heuristics -- Combining Two Structured Domains for Modeling Various Graph Matching Problems -- Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR -- Preference-Based Problem Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global Filtration for Satisfying Goals in Mutual Exclusion Networks. |
| Altri titoli varianti |
Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming
CSCLP 2007 |
| Record Nr. | UNINA-9910483224403321 |
| Berlin, Germany ; ; New York, United States : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent advances in constraints : 12th annual ercim international workshop on constraint solving and constraint logic programming, csclp 2007 rocquencourt, france, june 7-8, 2007 revised selected papers / / edited by François Fages, Francesca Rossi, Sylvain Soliman
| Recent advances in constraints : 12th annual ercim international workshop on constraint solving and constraint logic programming, csclp 2007 rocquencourt, france, june 7-8, 2007 revised selected papers / / edited by François Fages, Francesca Rossi, Sylvain Soliman |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (VII, 159 p.) |
| Disciplina | 005.115 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence ; 5129 |
| Soggetto topico |
Constraint programming (Computer science)
Logic programming |
| ISBN | 3-540-89812-3 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games -- Temporal Reasoning in Nested Temporal Networks with Alternatives -- SCLP for Trust Propagation in Small-World Networks -- Improving ABT Performance by Adding Synchronization Points -- On the Integration of Singleton Consistencies and Look-Ahead Heuristics -- Combining Two Structured Domains for Modeling Various Graph Matching Problems -- Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR -- Preference-Based Problem Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global Filtration for Satisfying Goals in Mutual Exclusion Networks. |
| Altri titoli varianti |
Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming
CSCLP 2007 |
| Record Nr. | UNISA-996466339403316 |
| Berlin, Germany ; ; New York, United States : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||