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.
Deductive and Object-Oriented Databases [[electronic resource] ] : 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997. Proceedings / / edited by Francois Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao
| Deductive and Object-Oriented Databases [[electronic resource] ] : 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997. Proceedings / / edited by Francois Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XV, 437 p.) |
| Disciplina | 005.75/7 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Computer programming Database management Artificial intelligence Information technology Business—Data processing Data Structures and Information Theory Programming Techniques Database Management Artificial Intelligence IT in Business |
| ISBN | 3-540-69647-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Efficient data structures for deduction systems -- Inductive logic databases: From extensional to intensional knowledge -- Sharing software tools on the WEB: The IDEA Web Lab -- Transactional workflows -- From action theories to updates, transactions, triggers and agents — A tutorial -- Data warehousing and OLAP for decision support -- Maintaining constrained transitive closure by conjunctive queries -- Incremental updates for materialized OQL views -- View maintenance using conditional tables -- Adding uniqueness constraints to description logics -- A point-based temporal extension of SQL -- Attribute-oriented view definitions in relational and deductive databases -- Exploiting semantic of typed objects under an optimistic control in the transactional deferred update model: A promising approach -- Logical updating of object class structures -- An approach to obtain intensional translations for consistent view updating -- Trigger inheritance and overriding in active object database systems -- Object deltas in an active database development environment -- The coast project: Design and implementation -- Formal characterizations of active databases: Part II -- The nonmonotonic semantics of active rules in deductive databases -- Datalog++: A basis for active object-oriented databases -- Comparison of categorical foundations of object-oriented database model -- Well-founded semantics for deductive object-oriented database languages -- Deterministic semantics for datalog ?: complexity and expressive power -- On implementing structured document query facilities on top of a DOOD -- A data mining algorithm optimal for single rules -- On a declarative semantics for web queries -- Rule-based generation of logical query plans with controlled complexity -- A rule-based data manipulation language for OLAP systems -- A general model for event specification in active database management systems -- Optimizing large OODB queries -- Nonmonotonic inheritance through specialization -- Overview of dynamic query evaluation in intensional query optimization -- Towards efficient evaluation of methods by reduction. |
| Record Nr. | UNISA-996465572203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Deductive and Object-Oriented Databases [[electronic resource] ] : 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997. Proceedings / / edited by Francois Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao
| Deductive and Object-Oriented Databases [[electronic resource] ] : 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997. Proceedings / / edited by Francois Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XV, 437 p.) |
| Disciplina | 005.75/7 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Computer programming Database management Artificial intelligence Information technology Business—Data processing Data Structures and Information Theory Programming Techniques Database Management Artificial Intelligence IT in Business |
| ISBN | 3-540-69647-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Efficient data structures for deduction systems -- Inductive logic databases: From extensional to intensional knowledge -- Sharing software tools on the WEB: The IDEA Web Lab -- Transactional workflows -- From action theories to updates, transactions, triggers and agents — A tutorial -- Data warehousing and OLAP for decision support -- Maintaining constrained transitive closure by conjunctive queries -- Incremental updates for materialized OQL views -- View maintenance using conditional tables -- Adding uniqueness constraints to description logics -- A point-based temporal extension of SQL -- Attribute-oriented view definitions in relational and deductive databases -- Exploiting semantic of typed objects under an optimistic control in the transactional deferred update model: A promising approach -- Logical updating of object class structures -- An approach to obtain intensional translations for consistent view updating -- Trigger inheritance and overriding in active object database systems -- Object deltas in an active database development environment -- The coast project: Design and implementation -- Formal characterizations of active databases: Part II -- The nonmonotonic semantics of active rules in deductive databases -- Datalog++: A basis for active object-oriented databases -- Comparison of categorical foundations of object-oriented database model -- Well-founded semantics for deductive object-oriented database languages -- Deterministic semantics for datalog ?: complexity and expressive power -- On implementing structured document query facilities on top of a DOOD -- A data mining algorithm optimal for single rules -- On a declarative semantics for web queries -- Rule-based generation of logical query plans with controlled complexity -- A rule-based data manipulation language for OLAP systems -- A general model for event specification in active database management systems -- Optimizing large OODB queries -- Nonmonotonic inheritance through specialization -- Overview of dynamic query evaluation in intensional query optimization -- Towards efficient evaluation of methods by reduction. |
| Record Nr. | UNINA-9910144904603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles and Practice of Semantic Web Reasoning [[electronic resource] ] : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings / / edited by Francois Bry, Nicola Henze, Jan Maluszynski
| Principles and Practice of Semantic Web Reasoning [[electronic resource] ] : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings / / edited by Francois Bry, Nicola Henze, Jan Maluszynski |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 214 p.) |
| Disciplina | 025.04 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Database management Application software Software engineering Mathematical logic Information storage and retrieval Popular Computer Science Database Management Information Systems Applications (incl. Internet) Software Engineering Mathematical Logic and Formal Languages Information Storage and Retrieval |
| ISBN |
1-280-30651-3
9786610306510 3-540-24572-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations of Semantic Web Reasoning -- Composing Frameworks and Components for Families of Semantic Web Applications -- Semantic Web Logic Programming Tools -- Web Rules Need Two Kinds of Negation -- Reasoning in Practice -- Towards the Adaptive Semantic Web -- On Reasoning on Time and Location on the Web -- Reasoning about Communicating Agents in the Semantic Web -- Query and Rule-Languages -- A Visual Language for Web Querying and Reasoning -- XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages -- On Types for XML Query Language Xcerpt -- Integrating Description Logics and Answer Set Programming -- Semantics and Knowledge Representation -- Extracting Mathematical Semantics from Documents -- Reasoning in Attempto Controlled English -- Systematics and Architecture for a Resource Representing Knowledge about Named Entities. |
| Record Nr. | UNISA-996465805103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles and Practice of Semantic Web Reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings / / edited by Francois Bry, Nicola Henze, Jan Maluszynski
| Principles and Practice of Semantic Web Reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings / / edited by Francois Bry, Nicola Henze, Jan Maluszynski |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 214 p.) |
| Disciplina | 025.04 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Database management Application software Software engineering Logic, Symbolic and mathematical Information storage and retrieval Popular Computer Science Database Management Information Systems Applications (incl. Internet) Software Engineering Mathematical Logic and Formal Languages Information Storage and Retrieval |
| ISBN |
1-280-30651-3
9786610306510 3-540-24572-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations of Semantic Web Reasoning -- Composing Frameworks and Components for Families of Semantic Web Applications -- Semantic Web Logic Programming Tools -- Web Rules Need Two Kinds of Negation -- Reasoning in Practice -- Towards the Adaptive Semantic Web -- On Reasoning on Time and Location on the Web -- Reasoning about Communicating Agents in the Semantic Web -- Query and Rule-Languages -- A Visual Language for Web Querying and Reasoning -- XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages -- On Types for XML Query Language Xcerpt -- Integrating Description Logics and Answer Set Programming -- Semantics and Knowledge Representation -- Extracting Mathematical Semantics from Documents -- Reasoning in Attempto Controlled English -- Systematics and Architecture for a Resource Representing Knowledge about Named Entities. |
| Record Nr. | UNINA-9910144211803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
| Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems |
| Autore | Behrend Andreas |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2012 |
| Descrizione fisica | 1 online resource (410 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-1315-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 6th Association for Computing Machinery International Conference on Distributed Event-Based Systems
DEBS '12 the 6th ACM International Conference on Distributed Event-based system, Berlin, Germany - July 16 - 20, 2012 |
| Record Nr. | UNINA-9910376322503321 |
Behrend Andreas
|
||
| [Place of publication not identified], : ACM, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantic Techniques for the Web [[electronic resource] ] : The REWERSE Perspective / / edited by Francois Bry, Jan Maluszynski
| Semantic Techniques for the Web [[electronic resource] ] : The REWERSE Perspective / / edited by Francois Bry, Jan Maluszynski |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XV, 377 p.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Artificial intelligence Computer communication systems Data mining Information technology Business—Data processing Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Computer Communication Networks Data Mining and Knowledge Discovery IT in Business |
| ISBN | 3-642-04581-2 |
| Classificazione |
DAT 616f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Hybrid Reasoning with Rules and Ontologies -- Four Lessons in Versatility or How Query Languages Adapt to the Web -- Evolution and Reactivity in the Semantic Web -- Rule-Based Policy Representations and Reasoning -- Component Models for Semantic Web Languages -- Controlled English for Reasoning on the Semantic Web -- Semantic Search with GoPubMed -- Information Integration in Bioinformatics with Ontologies and Standards. |
| Record Nr. | UNISA-996465288703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||