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.
Journal on Data Semantics VIII [[electronic resource] /] / edited by Stefano Spaccapietra, Paolo Atzeni, Francois Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Ilya Zaihrayeu
| Journal on Data Semantics VIII [[electronic resource] /] / edited by Stefano Spaccapietra, Paolo Atzeni, Francois Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Ilya Zaihrayeu |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (231 p.) |
| Disciplina | 401.430285 |
| Collana | Journal on Data Semantics |
| Soggetto topico |
Data structures (Computer science)
Database management Information storage and retrieval Artificial intelligence Application software Computer communication systems Data Structures and Information Theory Database Management Information Storage and Retrieval Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks |
| ISBN |
1-280-81695-3
9786610816958 3-540-70664-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 23rd International Conference on Conceptual Modeling (ER 2004) -- Default Clustering with Conceptual Structures -- Workshop on Context and Ontologies: Theory,Practice and Applications (C&O 2005) -- Context Dependency Management in Ontology Engineering: A Formal Approach -- Encoding Classifications into Lightweight Ontologies -- Second International Conference on Ontologies,DataBases and Applications of SEmantics (ODBASE 2005) -- GeRoMe: A Generic Role Based Metamodel for Model Management -- Metadata Management in a Multiversion Data Warehouse -- International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2005) -- SomeRDFS in the Semantic Web -- A Tool for Evaluating Ontology Alignment Strategies -- 7th International Conference on Data Warehousing and Knowledge Discovery (DAWAK 2005) -- Processing Sequential Patterns in Relational Databases. |
| Record Nr. | UNISA-996465868203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Journal on Data Semantics VIII / / edited by Stefano Spaccapietra, Paolo Atzeni, Francois Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Ilya Zaihrayeu
| Journal on Data Semantics VIII / / edited by Stefano Spaccapietra, Paolo Atzeni, Francois Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Ilya Zaihrayeu |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (231 p.) |
| Disciplina | 401.430285 |
| Collana | Journal on Data Semantics |
| Soggetto topico |
Data structures (Computer science)
Database management Information storage and retrieval Artificial intelligence Application software Computer communication systems Data Structures and Information Theory Database Management Information Storage and Retrieval Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks |
| ISBN |
1-280-81695-3
9786610816958 3-540-70664-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 23rd International Conference on Conceptual Modeling (ER 2004) -- Default Clustering with Conceptual Structures -- Workshop on Context and Ontologies: Theory,Practice and Applications (C&O 2005) -- Context Dependency Management in Ontology Engineering: A Formal Approach -- Encoding Classifications into Lightweight Ontologies -- Second International Conference on Ontologies,DataBases and Applications of SEmantics (ODBASE 2005) -- GeRoMe: A Generic Role Based Metamodel for Model Management -- Metadata Management in a Multiversion Data Warehouse -- International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2005) -- SomeRDFS in the Semantic Web -- A Tool for Evaluating Ontology Alignment Strategies -- 7th International Conference on Data Warehousing and Knowledge Discovery (DAWAK 2005) -- Processing Sequential Patterns in Relational Databases. |
| Record Nr. | UNINA-9910483906903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles and Practice of Semantic Web Reasoning [[electronic resource] ] : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings / / edited by Francois Fages, Sylvain Soliman
| Principles and Practice of Semantic Web Reasoning [[electronic resource] ] : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings / / edited by Francois Fages, Sylvain Soliman |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 166 p.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Computer science Information storage and retrieval Artificial intelligence Mathematical logic Information Systems Applications (incl. Internet) Computer Science, general Popular Computer Science Information Storage and Retrieval Artificial Intelligence Mathematical Logic and Formal Languages |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Architectures -- SomeWhere in the Semantic Web -- A Framework for Aligning Ontologies -- A Revised Architecture for Semantic Web Reasoning -- Semantic Web Architecture: Stack or Two Towers? -- Languages -- Ten Theses on Logic Languages for the Semantic Web -- Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules -- Logical Reconstruction of RDF and Ontology Languages -- Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying -- Descriptive Typing Rules for Xcerpt -- A General Language for Evolution and Reactivity in the Semantic Web -- Reasoning -- Use Cases for Reasoning with Metadata or What Have Web Services to Do with Integrity Constraints? -- Principles of Inductive Reasoning on the Semantic Web: A Framework for Learning in -Log -- Computational Treatment of Temporal Notions: The CTTN–System -- A Geospatial World Model for the Semantic Web -- Generating Contexts for Expression Data Using Pathway Queries. |
| Record Nr. | UNISA-996465434803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles and practice of Semantic Web reasoning : third international workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 ; proceedings / / Francois Fages, Sylvain Soliman (eds.)
| Principles and practice of Semantic Web reasoning : third international workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 ; proceedings / / Francois Fages, Sylvain Soliman (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (X, 166 p.) |
| Disciplina | 005.7 |
| Altri autori (Persone) |
FagesFrancois
SolimanSylvain |
| Collana | Lecture notes in computer science |
| Soggetto topico | Semantic Web |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Architectures -- SomeWhere in the Semantic Web -- A Framework for Aligning Ontologies -- A Revised Architecture for Semantic Web Reasoning -- Semantic Web Architecture: Stack or Two Towers? -- Languages -- Ten Theses on Logic Languages for the Semantic Web -- Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules -- Logical Reconstruction of RDF and Ontology Languages -- Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying -- Descriptive Typing Rules for Xcerpt -- A General Language for Evolution and Reactivity in the Semantic Web -- Reasoning -- Use Cases for Reasoning with Metadata or What Have Web Services to Do with Integrity Constraints? -- Principles of Inductive Reasoning on the Semantic Web: A Framework for Learning in -Log -- Computational Treatment of Temporal Notions: The CTTN–System -- A Geospatial World Model for the Semantic Web -- Generating Contexts for Expression Data Using Pathway Queries. |
| Altri titoli varianti |
Semantic Web reasoning
PPSWR 2005 |
| Record Nr. | UNINA-9910483203903321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Recent Advances in Constraints : 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 : 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. | UNINA-9910484286703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent Advances in Constraints [[electronic resource] ] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers / / edited by Brahim Hnich, Mats Carlsson, Francois Fages, Francesca Rossi
| Recent Advances in Constraints [[electronic resource] ] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers / / edited by Brahim Hnich, Mats Carlsson, Francois Fages, Francesca Rossi |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 179 p.) |
| Disciplina | 005.1/16 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer industry
Artificial intelligence Software engineering Programming languages (Electronic computers) Computer logic Algorithms The Computer Industry Artificial Intelligence Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-34216-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Global Constraints -- The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables -- Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains -- Among, Common and Disjoint Constraints -- Search and Heuristics -- Partitioning Based Algorithms for Some Colouring Problems -- A CSP Search Algorithm with Reduced Branching Factor -- Analysis of Heuristic Synergies -- Complexity Analysis of Heuristic CSP Search Algorithms -- Language and Implementation Issues -- A Type System for CHR -- Views and Iterators for Generic Constraint Implementations -- Modeling -- A Hybrid Benders’ Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse -- The Challenge of Exploiting Weak Symmetries -- On Generators of Random Quasigroup Problems. |
| Record Nr. | UNISA-996465876203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent Advances in Constraints [[electronic resource] ] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers / / edited by Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza
| Recent Advances in Constraints [[electronic resource] ] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers / / edited by Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 288 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Software engineering
Artificial intelligence Computer industry Computer programming Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Artificial Intelligence The Computer Industry Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN |
1-280-30733-1
9786610307333 3-540-24662-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Constraint Solving -- A Comparative Study of Arithmetic Constraints on Integer Intervals -- Clustering for Disconnected Solution Sets of Numerical CSPs -- Implementing Propagators for Tabular Constraints -- Constraint Methods for Modal Satisfiability -- Learning Approximate Consistencies -- Soft Constraints -- Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs -- Tradeoff Generation Using Soft Constraints -- Experimental Evaluation of Interchangeability in Soft CSPs -- Language Issues -- A Rule Language for Interaction -- A Generic Trace Schema for the Portability of CP(FD) Debugging Tools -- Applications -- Teaching Constraints through Logic Puzzles -- Reduce-To-The-Opt – A Specialized Search Algorithm for Contiguous Task Scheduling -- A New Approach to Modeling and Solving Minimal Perturbation Problems -- Protein Folding in CLP( ) with Empirical Contact Energies -- Gestures for Embodied Agents with Logic Programming. |
| Record Nr. | UNISA-996465544403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers / / edited by Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza
| Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers / / edited by Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 288 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Software engineering
Artificial intelligence Computer industry Computer programming Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Artificial Intelligence The Computer Industry Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN |
1-280-30733-1
9786610307333 3-540-24662-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Constraint Solving -- A Comparative Study of Arithmetic Constraints on Integer Intervals -- Clustering for Disconnected Solution Sets of Numerical CSPs -- Implementing Propagators for Tabular Constraints -- Constraint Methods for Modal Satisfiability -- Learning Approximate Consistencies -- Soft Constraints -- Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs -- Tradeoff Generation Using Soft Constraints -- Experimental Evaluation of Interchangeability in Soft CSPs -- Language Issues -- A Rule Language for Interaction -- A Generic Trace Schema for the Portability of CP(FD) Debugging Tools -- Applications -- Teaching Constraints through Logic Puzzles -- Reduce-To-The-Opt – A Specialized Search Algorithm for Contiguous Task Scheduling -- A New Approach to Modeling and Solving Minimal Perturbation Problems -- Protein Folding in CLP( ) with Empirical Contact Energies -- Gestures for Embodied Agents with Logic Programming. |
| Record Nr. | UNINA-9910144193303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||