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.
Algorithmic Decision Theory [[electronic resource] ] : First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings / / edited by Francesca Rossi, Alexis Tsoukias
| Algorithmic Decision Theory [[electronic resource] ] : First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings / / edited by Francesca Rossi, Alexis Tsoukias |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 460 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Mathematical logic
Computer science—Mathematics Discrete mathematics Mathematical statistics Mathematical Logic and Formal Languages Mathematics of Computing Discrete Mathematics Discrete Mathematics in Computer Science Probability and Statistics in Computer Science Symbolic and Algebraic Manipulation |
| ISBN | 3-642-04428-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Social Choice Theory -- A Complete Conclusion-Based Procedure for Judgment Aggregation -- A Geometric Approach to Paradoxes of Majority Voting in Abstract Aggregation Theory -- Manipulating Tournaments in Cup and Round Robin Competitions -- Iterated Majority Voting -- Committee Selection with a Weight Constraint Based on Lexicographic Rankings of Individuals -- The Effects of Noise and Manipulation on the Accuracy of Collective Decision Rules -- Subset Weight Maximization with Two Competing Agents -- The Complexity of Probabilistic Lobbying -- On the Complexity of Efficiency and Envy-Freeness in Fair Division of Indivisible Goods with Additive Preferences -- On Low-Envy Truthful Allocations -- On Multi-dimensional Envy-Free Mechanisms -- Stable Rankings in Collective Decision Making with Imprecise Information -- Finding Best k Policies -- Multiple Criteria Decision Analysis -- New Hybrid Recommender Approaches: An Application to Equity Funds Selection -- A Prescriptive Approach for Eliciting Imprecise Weight Statements in an MCDA Process -- Inverse Analysis from a Condorcet Robustness Denotation of Valued Outranking Relations -- Directional Decomposition of Multiattribute Utility Functions -- The Possible and the Necessary for Multiple Criteria Group Decision -- Preferences in an Open World -- Extending Argumentation to Make Good Decisions -- Building Consistent Pairwise Comparison Matrices over Abelian Linearly Ordered Groups -- Aggregating Interval Orders by Propositional Optimization -- Circular Representations of a Valued Preference Matrix -- Decision under Uncertainty -- The First Belief Dominance: A New Approach in Evidence Theory for Comparing Basic Belief Assignments -- Interpreting GUHA Data Mining Logic in Paraconsistent Fuzzy Logic Framework -- Insuring Risk-Averse Agents -- Adversarial Risk Analysis: Applications to Basic Counterterrorism Models -- Game Theory without Decision-Theoretic Paradoxes -- Ranking Methods Based on Dominance Measures Accounting for Imprecision -- Optimisation -- Optimizing the Hurwicz Criterion in Decision Trees with Imprecise Probabilities -- Axioms for a Class of Algorithms of Sequential Decision Making -- Algorithmic Aspects of Scenario-Based Multi-stage Decision Process Optimization -- Choquet Optimization Using GAI Networks for Multiagent/Multicriteria Decision-Making -- Compact Preference Representation in Stable Marriage Problems -- Neuroevolutionary Inventory Control in Multi-Echelon Systems -- Determining a Minimum Spanning Tree with Disjunctive Constraints -- Learning -- An Inductive Methodology for Data-Based Rules Building -- A Framework for Designing a Fuzzy Rule-Based Classifier -- Anytime Self-play Learning to Satisfy Functional Optimality Criteria. |
| Record Nr. | UNISA-996465280003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algorithmic Decision Theory [[electronic resource] ] : First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings / / edited by Francesca Rossi, Alexis Tsoukias
| Algorithmic Decision Theory [[electronic resource] ] : First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings / / edited by Francesca Rossi, Alexis Tsoukias |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 460 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Mathematical logic
Computer science—Mathematics Discrete mathematics Mathematical statistics Mathematical Logic and Formal Languages Mathematics of Computing Discrete Mathematics Discrete Mathematics in Computer Science Probability and Statistics in Computer Science Symbolic and Algebraic Manipulation |
| ISBN | 3-642-04428-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Social Choice Theory -- A Complete Conclusion-Based Procedure for Judgment Aggregation -- A Geometric Approach to Paradoxes of Majority Voting in Abstract Aggregation Theory -- Manipulating Tournaments in Cup and Round Robin Competitions -- Iterated Majority Voting -- Committee Selection with a Weight Constraint Based on Lexicographic Rankings of Individuals -- The Effects of Noise and Manipulation on the Accuracy of Collective Decision Rules -- Subset Weight Maximization with Two Competing Agents -- The Complexity of Probabilistic Lobbying -- On the Complexity of Efficiency and Envy-Freeness in Fair Division of Indivisible Goods with Additive Preferences -- On Low-Envy Truthful Allocations -- On Multi-dimensional Envy-Free Mechanisms -- Stable Rankings in Collective Decision Making with Imprecise Information -- Finding Best k Policies -- Multiple Criteria Decision Analysis -- New Hybrid Recommender Approaches: An Application to Equity Funds Selection -- A Prescriptive Approach for Eliciting Imprecise Weight Statements in an MCDA Process -- Inverse Analysis from a Condorcet Robustness Denotation of Valued Outranking Relations -- Directional Decomposition of Multiattribute Utility Functions -- The Possible and the Necessary for Multiple Criteria Group Decision -- Preferences in an Open World -- Extending Argumentation to Make Good Decisions -- Building Consistent Pairwise Comparison Matrices over Abelian Linearly Ordered Groups -- Aggregating Interval Orders by Propositional Optimization -- Circular Representations of a Valued Preference Matrix -- Decision under Uncertainty -- The First Belief Dominance: A New Approach in Evidence Theory for Comparing Basic Belief Assignments -- Interpreting GUHA Data Mining Logic in Paraconsistent Fuzzy Logic Framework -- Insuring Risk-Averse Agents -- Adversarial Risk Analysis: Applications to Basic Counterterrorism Models -- Game Theory without Decision-Theoretic Paradoxes -- Ranking Methods Based on Dominance Measures Accounting for Imprecision -- Optimisation -- Optimizing the Hurwicz Criterion in Decision Trees with Imprecise Probabilities -- Axioms for a Class of Algorithms of Sequential Decision Making -- Algorithmic Aspects of Scenario-Based Multi-stage Decision Process Optimization -- Choquet Optimization Using GAI Networks for Multiagent/Multicriteria Decision-Making -- Compact Preference Representation in Stable Marriage Problems -- Neuroevolutionary Inventory Control in Multi-Echelon Systems -- Determining a Minimum Spanning Tree with Disjunctive Constraints -- Learning -- An Inductive Methodology for Data-Based Rules Building -- A Framework for Designing a Fuzzy Rule-Based Classifier -- Anytime Self-play Learning to Satisfy Functional Optimality Criteria. |
| Record Nr. | UNINA-9910484102003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hybrid Systems: Computation and Control [[electronic resource] ] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / / edited by Manfred Morari, Lothar Thiele, Francesca Rossi
| Hybrid Systems: Computation and Control [[electronic resource] ] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / / edited by Manfred Morari, Lothar Thiele, Francesca Rossi |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 684 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computers, Special purpose Microprocessors Computer architecture Software engineering Theory of Computation Special Purpose and Application-Based Systems Processor Architectures Software Engineering Computer Science Logic and Foundations of Programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Coordinated Control for Highly Reconfigurable Systems -- Operational Semantics of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete Time Behavior of Lazy Linear Hybrid Automata -- Perturbed Timed Automata -- A Homology Theory for Hybrid Systems: Hybrid Homology -- Observability of Switched Linear Systems in Continuous Time -- Controller Synthesis on Non-uniform and Uncertain Discrete–Time Domains -- Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli -- Optimal Control of Discrete Hybrid Stochastic Automata -- Hybrid Decentralized Control of Large Scale Systems -- On the Stabilisation of Switching Electrical Power Converters -- Bisimulation for General Stochastic Hybrid Systems -- Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction -- Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order -- Refining Abstractions of Hybrid Systems Using Counterexample Fragments -- PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech -- Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility -- Reachability of Uncertain Linear Systems Using Zonotopes -- Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates -- Polynomial Stochastic Hybrid Systems -- Non-uniqueness in Reverse Time of Hybrid System Trajectories -- Comparison of Four Procedures for the Identification of Hybrid Systems -- An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems -- Mode-Automata Based Methodology for Scade -- Taylor Approximation for Hybrid Systems -- Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems -- Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation -- Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties -- Learning Multi-modal Control Programs -- A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems -- On Transfinite Hybrid Automata -- Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration -- Interchange Formats for Hybrid Systems: Review and Proposal -- Primal–Dual Tests for Safety and Reachability -- Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems -- Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement -- Generating Polynomial Invariants for Hybrid Systems -- Modeling, Optimization and Computation for Software Verification -- Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs) -- Sensor/Actuator Abstractions for Symbolic Embedded Control Design -- Modeling and Control of Networked Control Systems with Random Delays -- Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems. |
| Record Nr. | UNISA-996465688803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Hybrid Systems: Computation and Control [[electronic resource] ] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / / edited by Manfred Morari, Lothar Thiele, Francesca Rossi
| Hybrid Systems: Computation and Control [[electronic resource] ] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / / edited by Manfred Morari, Lothar Thiele, Francesca Rossi |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 684 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computers, Special purpose Microprocessors Computer architecture Software engineering Theory of Computation Special Purpose and Application-Based Systems Processor Architectures Software Engineering Computer Science Logic and Foundations of Programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Coordinated Control for Highly Reconfigurable Systems -- Operational Semantics of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete Time Behavior of Lazy Linear Hybrid Automata -- Perturbed Timed Automata -- A Homology Theory for Hybrid Systems: Hybrid Homology -- Observability of Switched Linear Systems in Continuous Time -- Controller Synthesis on Non-uniform and Uncertain Discrete–Time Domains -- Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli -- Optimal Control of Discrete Hybrid Stochastic Automata -- Hybrid Decentralized Control of Large Scale Systems -- On the Stabilisation of Switching Electrical Power Converters -- Bisimulation for General Stochastic Hybrid Systems -- Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction -- Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order -- Refining Abstractions of Hybrid Systems Using Counterexample Fragments -- PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech -- Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility -- Reachability of Uncertain Linear Systems Using Zonotopes -- Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates -- Polynomial Stochastic Hybrid Systems -- Non-uniqueness in Reverse Time of Hybrid System Trajectories -- Comparison of Four Procedures for the Identification of Hybrid Systems -- An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems -- Mode-Automata Based Methodology for Scade -- Taylor Approximation for Hybrid Systems -- Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems -- Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation -- Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties -- Learning Multi-modal Control Programs -- A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems -- On Transfinite Hybrid Automata -- Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration -- Interchange Formats for Hybrid Systems: Review and Proposal -- Primal–Dual Tests for Safety and Reachability -- Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems -- Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement -- Generating Polynomial Invariants for Hybrid Systems -- Modeling, Optimization and Computation for Software Verification -- Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs) -- Sensor/Actuator Abstractions for Symbolic Embedded Control Design -- Modeling and Control of Networked Control Systems with Random Delays -- Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems. |
| Record Nr. | UNINA-9910483750303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New Trends in Constraints [[electronic resource] ] : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers / / edited by Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi
| New Trends in Constraints [[electronic resource] ] : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers / / edited by Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (VIII, 340 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Computer programming Computer logic Mathematical logic Artificial Intelligence Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-44654-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions and Surveys -- Interval Constraints: Results and Perspectives -- A Constraint-Based Language for Virtual Agents -- Constraint (Logic) Programming: A Survey on Research and Applications -- OPL Script: Composing and Controlling Models -- Constraint Propagation and Manipulation -- Some Remarks on Boolean Constraint Propagation -- Abstracting Soft Constraints -- Decomposable Constraints -- Generating Propagation Rules for Finite Domains: A Mixed Approach -- Ways of Maintaining Arc Consistency in Search Using the Cartesian Representation -- Constraint Programming -- Combining Constraint Logic Programming Techniques for Solving Linear Problems -- Quantitative Observables and Averages in Probabilistic Constraint Programming -- Dynamic Constraint Models for Planning and Scheduling Problems -- A Finite Domain CLP Solver on Top of Mercury -- Rule-Based Constraint Programming -- Rule Based Programming with Constraints and Strategies -- Proving Termination of Constraint Solver Programs -- Projection in Adaptive Constraint Handling. |
| Record Nr. | UNINA-9910143625503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New Trends in Constraints [[electronic resource] ] : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers / / edited by Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi
| New Trends in Constraints [[electronic resource] ] : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers / / edited by Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (VIII, 340 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Computer programming Computer logic Mathematical logic Artificial Intelligence Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-44654-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions and Surveys -- Interval Constraints: Results and Perspectives -- A Constraint-Based Language for Virtual Agents -- Constraint (Logic) Programming: A Survey on Research and Applications -- OPL Script: Composing and Controlling Models -- Constraint Propagation and Manipulation -- Some Remarks on Boolean Constraint Propagation -- Abstracting Soft Constraints -- Decomposable Constraints -- Generating Propagation Rules for Finite Domains: A Mixed Approach -- Ways of Maintaining Arc Consistency in Search Using the Cartesian Representation -- Constraint Programming -- Combining Constraint Logic Programming Techniques for Solving Linear Problems -- Quantitative Observables and Averages in Probabilistic Constraint Programming -- Dynamic Constraint Models for Planning and Scheduling Problems -- A Finite Domain CLP Solver on Top of Mercury -- Rule-Based Constraint Programming -- Rule Based Programming with Constraints and Strategies -- Proving Termination of Constraint Solver Programs -- Projection in Adaptive Constraint Handling. |
| Record Nr. | UNISA-996465424703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles and Practice of Constraint Programming - CP 2003 [[electronic resource] ] : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings / / edited by Francesca Rossi
| Principles and Practice of Constraint Programming - CP 2003 [[electronic resource] ] : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings / / edited by Francesca Rossi |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XXXVIII, 1008 p.) |
| Disciplina | 005.1/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Artificial intelligence Data structures (Computer science) Programming languages (Electronic computers) Computer logic Mathematical logic Programming Techniques Artificial Intelligence Data Structures Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-45193-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Best Paper -- Full Papers -- Poster Papers -- Doctoral Abstracts. |
| Record Nr. | UNISA-996465815003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles and Practice of Constraint Programming - CP 2003 [[electronic resource] ] : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings / / edited by Francesca Rossi
| Principles and Practice of Constraint Programming - CP 2003 [[electronic resource] ] : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings / / edited by Francesca Rossi |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XXXVIII, 1008 p.) |
| Disciplina | 005.1/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Artificial intelligence Data structures (Computer science) Programming languages (Electronic computers) Computer logic Mathematical logic Programming Techniques Artificial Intelligence Data Structures Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-45193-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Best Paper -- Full Papers -- Poster Papers -- Doctoral Abstracts. |
| Record Nr. | UNINA-9910768182903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings / / Ugo Montanari, Francesca Rossi (eds.)
| Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings / / Ugo Montanari, Francesca Rossi (eds.) |
| Pubbl/distr/stampa | Springer Berlin Heidelberg |
| Disciplina | 005.1/1 |
| Altri autori (Persone) |
MontanariUgo
RossiFrancesca |
| Soggetto topico | Constraint programming (Computer science) - Congresses |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Principles and Practice of Constraint Programming — CP '95 |
| Record Nr. | UNISA-996466165903316 |
| Springer Berlin Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent Advances in Constraints [[electronic resource] ] : 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers / / edited by Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi
| Recent Advances in Constraints [[electronic resource] ] : 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers / / edited by Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (VIII, 188 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Computer logic Algorithms Numerical analysis Mathematical logic Artificial Intelligence Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Numeric Computing Mathematical Logic and Formal Languages |
| ISBN | 3-540-73817-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tutorial -- Hybrid Algorithms in Constraint Programming -- Technical Papers -- An Attempt to Dynamically Break Symmetries in the Social Golfers Problem -- A Constraint Model for State Transitions in Disjunctive Resources -- Reusing CSP Propagators for QCSPs -- Bipolar Preference Problems: Framework, Properties and Solving Techniques -- Distributed Forward Checking May Lie for Privacy -- Solving First-Order Constraints in the Theory of the Evaluated Trees -- Extracting Microstructure in Binary Constraint Networks -- Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees -- Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems -- Cost-Based Filtering for Stochastic Inventory Control. |
| Record Nr. | UNISA-996465484703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
