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.
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 : 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 | ||
| ||