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.
Database Theory - ICDT 2003 [[electronic resource] ] : 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings / / edited by Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani
| Database Theory - ICDT 2003 [[electronic resource] ] : 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings / / edited by Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 460 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Computers Mathematical logic Information storage and retrieval Application software Data Structures and Information Theory Database Management Computation by Abstract Devices Mathematical Logic and Formal Languages Information Storage and Retrieval Information Systems Applications (incl. Internet) |
| ISBN | 3-540-36285-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Open Problems in Data-Sharing Peer-to-Peer Systems -- Approximations in Database Systems -- Bioinformatics Adventures in Database Research -- Reasoning about XML Schemas and Queries -- Incremental Validation of XML Documents -- Typechecking Top-Down Uniform Unranked Tree Transducers -- Structural Properties of XPath Fragments -- On Reasoning about Structural Equality in XML: A Description Logic Approach -- Aggregate Queries -- Containment of Aggregate Queries -- Auditing Sum Queries -- CRB-Tree: An Efficient Indexing Scheme for Range-Aggregate Queries -- Optimal Range Max Datacube for Fixed Dimensions -- Query Evaluation -- Processing XML Streams with Deterministic Automata -- Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases -- Query Rewriting and Reformulation -- Data Exchange: Semantics and Query Answering -- Reformulation of XML Queries and Constraints -- New Rewritings and Optimizations for Regular Path Queries -- Database Interrogation Using Conjunctive Queries -- Semistructured versus Structured Data -- On the Difficulty of Finding Optimal Relational Decompositions for XML Workloads: A Complexity Theoretic Perspective -- Generating Relations from XML Documents -- Query Containment -- Containment for XPath Fragments under DTD Constraints -- XPath Containment in the Presence of Disjunction, DTDs, and Variables -- Decidable Containment of Recursive Queries -- Containment of Conjunctive Queries with Safe Negation -- Consistency and Incompleteness -- Probabilistic Interval XML -- Condensed Representation of Database Repairs for Consistent Query Answering -- Typing Graph-Manipulation Operations -- Characterizing the Temporal and Semantic Coherency of Broadcast-Based Data Dissemination -- Data Structures -- An Efficient Indexing Scheme for Multi-dimensional Moving Objects -- Nearest Neighbors Can Be Found Efficiently If the Dimension Is Small Relative to the Input Size. |
| Record Nr. | UNISA-996465330103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Database Theory - ICDT 2003 : 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings / / edited by Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani
| Database Theory - ICDT 2003 : 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings / / edited by Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 460 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Computers Logic, Symbolic and mathematical Information storage and retrieval Application software Data Structures and Information Theory Database Management Computation by Abstract Devices Mathematical Logic and Formal Languages Information Storage and Retrieval Information Systems Applications (incl. Internet) |
| ISBN | 3-540-36285-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Open Problems in Data-Sharing Peer-to-Peer Systems -- Approximations in Database Systems -- Bioinformatics Adventures in Database Research -- Reasoning about XML Schemas and Queries -- Incremental Validation of XML Documents -- Typechecking Top-Down Uniform Unranked Tree Transducers -- Structural Properties of XPath Fragments -- On Reasoning about Structural Equality in XML: A Description Logic Approach -- Aggregate Queries -- Containment of Aggregate Queries -- Auditing Sum Queries -- CRB-Tree: An Efficient Indexing Scheme for Range-Aggregate Queries -- Optimal Range Max Datacube for Fixed Dimensions -- Query Evaluation -- Processing XML Streams with Deterministic Automata -- Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases -- Query Rewriting and Reformulation -- Data Exchange: Semantics and Query Answering -- Reformulation of XML Queries and Constraints -- New Rewritings and Optimizations for Regular Path Queries -- Database Interrogation Using Conjunctive Queries -- Semistructured versus Structured Data -- On the Difficulty of Finding Optimal Relational Decompositions for XML Workloads: A Complexity Theoretic Perspective -- Generating Relations from XML Documents -- Query Containment -- Containment for XPath Fragments under DTD Constraints -- XPath Containment in the Presence of Disjunction, DTDs, and Variables -- Decidable Containment of Recursive Queries -- Containment of Conjunctive Queries with Safe Negation -- Consistency and Incompleteness -- Probabilistic Interval XML -- Condensed Representation of Database Repairs for Consistent Query Answering -- Typing Graph-Manipulation Operations -- Characterizing the Temporal and Semantic Coherency of Broadcast-Based Data Dissemination -- Data Structures -- An Efficient Indexing Scheme for Multi-dimensional Moving Objects -- Nearest Neighbors Can Be Found Efficiently If the Dimension Is Small Relative to the Input Size. |
| Record Nr. | UNINA-9910143885003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Digital Libraries on the Move : 11th Italian Research Conference on Digital Libraries, IRCDL 2015, Bolzano, Italy, January 29-30, 2015, Revised Selected Papers / / edited by Diego Calvanese, Dario De Nart, Carlo Tasso
| Digital Libraries on the Move : 11th Italian Research Conference on Digital Libraries, IRCDL 2015, Bolzano, Italy, January 29-30, 2015, Revised Selected Papers / / edited by Diego Calvanese, Dario De Nart, Carlo Tasso |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XII, 191 p. 31 illus.) |
| Disciplina | 025.00285 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Application software
Natural language processing (Computer science) Information storage and retrieval Education—Data processing User interfaces (Computer systems) Information Systems Applications (incl. Internet) Natural Language Processing (NLP) Information Storage and Retrieval Computers and Education User Interfaces and Human Computer Interaction |
| ISBN | 3-319-41938-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Semantic modeling; projects -- Models and applications -- Content analysis -- Digital libraries infrastructures. . |
| Record Nr. | UNINA-9910255006903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering [[electronic resource] ] : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures / / edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao
| Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering [[electronic resource] ] : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures / / edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 259 p. 37 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Artificial intelligence Mathematical logic Information storage and retrieval Application software Data mining Database Management Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval Computer Appl. in Administrative Data Processing Data Mining and Knowledge Discovery |
| ISBN | 3-319-49493-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Understanding Author Intentions: Test Driven Knowledge Graph Construction -- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey -- Navigational and Rule-Based Languages for Graph Databases -- LOD Lab: Scalable Linked Data Processing -- Inconsistency-Tolerant Querying of Description Logic Knowledge Bases -- From Fuzzy to Annotated Semantic Web Languages -- Applying Machine Reasoning and Learning in Real World Applications. |
| Record Nr. | UNISA-996465736103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures / / edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao
| Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures / / edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 259 p. 37 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Artificial intelligence Logic, Symbolic and mathematical Information storage and retrieval Application software Data mining Database Management Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval Computer Appl. in Administrative Data Processing Data Mining and Knowledge Discovery |
| ISBN | 3-319-49493-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Understanding Author Intentions: Test Driven Knowledge Graph Construction -- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey -- Navigational and Rule-Based Languages for Graph Databases -- LOD Lab: Scalable Linked Data Processing -- Inconsistency-Tolerant Querying of Description Logic Knowledge Bases -- From Fuzzy to Annotated Semantic Web Languages -- Applying Machine Reasoning and Learning in Real World Applications. |
| Record Nr. | UNINA-9910484584603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rules and Reasoning [[electronic resource] ] : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings / / edited by Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman
| Rules and Reasoning [[electronic resource] ] : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings / / edited by Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 207 p. 284 illus., 18 illus. in color.) |
| Disciplina | 005.1015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Mathematical logic
Artificial intelligence Computer logic Application software Software engineering Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Computer Appl. in Administrative Data Processing Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-31095-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Papers -- Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes -- Reasoning on DL-Liteℛ with Defeasibility in ASP -- ODRL policy modelling and compliance checking -- Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP -- An ASP-based Solution for Operating Room Scheduling with Beds Management -- EASE: Enabling Hardware Assertion Synthesis from English -- Formalizing Object-ontological Mapping Using F-logic -- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT -- Efficient TBox Reasoning with Value Restrictions—Introducing the ℱℒower Reasoner -- Query Rewriting for DL Ontologies under the ICAR semantics -- Technical Communication Papers -- Complementing Logical Reasoning with Sub-Symbolic Commonsense -- Adding Constraint Tables to the DMN Standard: Preliminary Results -- Detecting "Slippery Slope" and other argumentative stances of opposition using Tree Kernels in monologic discourse -- Fuzzy Logic Programming for Tuning Neural Networks -- Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization. |
| Record Nr. | UNISA-996466309403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rules and Reasoning : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings / / edited by Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman
| Rules and Reasoning : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings / / edited by Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 207 p. 284 illus., 18 illus. in color.) |
| Disciplina | 005.1015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Mathematical logic
Artificial intelligence Computer logic Application software Software engineering Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Computer Appl. in Administrative Data Processing Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-31095-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Papers -- Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes -- Reasoning on DL-Liteℛ with Defeasibility in ASP -- ODRL policy modelling and compliance checking -- Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP -- An ASP-based Solution for Operating Room Scheduling with Beds Management -- EASE: Enabling Hardware Assertion Synthesis from English -- Formalizing Object-ontological Mapping Using F-logic -- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT -- Efficient TBox Reasoning with Value Restrictions—Introducing the ℱℒower Reasoner -- Query Rewriting for DL Ontologies under the ICAR semantics -- Technical Communication Papers -- Complementing Logical Reasoning with Sub-Symbolic Commonsense -- Adding Constraint Tables to the DMN Standard: Preliminary Results -- Detecting "Slippery Slope" and other argumentative stances of opposition using Tree Kernels in monologic discourse -- Fuzzy Logic Programming for Tuning Neural Networks -- Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization. |
| Record Nr. | UNINA-9910349281103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008, proceedings / / edited by Diego Calvanese and Georg Lausen
| Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008, proceedings / / edited by Diego Calvanese and Georg Lausen |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XII, 241 p.) |
| Disciplina | 025.0427 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Rule-based programming
Semantic Web |
| ISBN | 3-540-88737-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Rule Interchange Format: The Framework -- Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules -- Full Papers -- On Combining Description Logic Ontologies and Nonrecursive Datalog Rules -- Simulation Subsumption or Déjà vu on the Web -- Reasoning with a Network of Aligned Ontologies -- Lexicographical Inference over Inconsistent DL-Based Ontologies -- A Survey of Revision Approaches in Description Logics -- Towards Rule-Based Minimization of RDF Graphs under Constraints -- Ontology Design and Reuse with Conceptual Roles -- Enhancing a DLP System for Advanced Database Applications -- A Semantic Web Reasoner for Rules, Equations and Constraints -- What Is Approximate Reasoning? -- Approximate OWL-Reasoning with Screech -- Ranking Services Using Fuzzy HEX Programs -- Short Papers -- Markup and Component Interoperability for Active Rules -- On Reducing Redundancy in Mining Relational Association Rules from the Semantic Web -- A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts -- Paraconsistent Reasoning with Quasi-classical Semantic in -- Posters -- Fluent Calculus Based Web Service Composition -- Vague-SWRL: A Fuzzy Extension of SWRL -- Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing -- Taming Existence in RDF Querying -- A Tableau Algorithm for Possibilistic Description Logic . |
| Record Nr. | UNINA-9910483406303321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008, proceedings / / edited by Diego Calvanese and Georg Lausen
| Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008, proceedings / / edited by Diego Calvanese and Georg Lausen |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XII, 241 p.) |
| Disciplina | 025.0427 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Rule-based programming
Semantic Web |
| ISBN | 3-540-88737-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Rule Interchange Format: The Framework -- Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules -- Full Papers -- On Combining Description Logic Ontologies and Nonrecursive Datalog Rules -- Simulation Subsumption or Déjà vu on the Web -- Reasoning with a Network of Aligned Ontologies -- Lexicographical Inference over Inconsistent DL-Based Ontologies -- A Survey of Revision Approaches in Description Logics -- Towards Rule-Based Minimization of RDF Graphs under Constraints -- Ontology Design and Reuse with Conceptual Roles -- Enhancing a DLP System for Advanced Database Applications -- A Semantic Web Reasoner for Rules, Equations and Constraints -- What Is Approximate Reasoning? -- Approximate OWL-Reasoning with Screech -- Ranking Services Using Fuzzy HEX Programs -- Short Papers -- Markup and Component Interoperability for Active Rules -- On Reducing Redundancy in Mining Relational Association Rules from the Semantic Web -- A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts -- Paraconsistent Reasoning with Quasi-classical Semantic in -- Posters -- Fluent Calculus Based Web Service Composition -- Vague-SWRL: A Fuzzy Extension of SWRL -- Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing -- Taming Existence in RDF Querying -- A Tableau Algorithm for Possibilistic Description Logic . |
| Record Nr. | UNISA-996465560303316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||