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.
Foundations of Information and Knowledge Systems [[electronic resource] ] : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings / / edited by Marc Gyssens, Guillermo Simari
| Foundations of Information and Knowledge Systems [[electronic resource] ] : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings / / edited by Marc Gyssens, Guillermo Simari |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVIII, 355 p. 31 illus. in color.) |
| Disciplina | 005.131 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Mathematical logic
Application software Data mining Database management Mathematical statistics Artificial intelligence Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Database Management Probability and Statistics in Computer Science Artificial Intelligence |
| ISBN | 3-319-30024-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reasoning about Beliefs, Uncertainty, Incompleteness, and Inconsistency -- Inference and Problem Solving -- Querying and Pattern Mining -- Dealing with Knowledge -- Logics and Complexity. |
| Record Nr. | UNISA-996466010503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Information and Knowledge Systems : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings / / edited by Marc Gyssens, Guillermo Simari
| Foundations of Information and Knowledge Systems : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings / / edited by Marc Gyssens, Guillermo Simari |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVIII, 355 p. 31 illus. in color.) |
| Disciplina | 005.131 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Mathematical logic
Application software Data mining Database management Mathematical statistics Artificial intelligence Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Database Management Probability and Statistics in Computer Science Artificial Intelligence |
| ISBN | 3-319-30024-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reasoning about Beliefs, Uncertainty, Incompleteness, and Inconsistency -- Inference and Problem Solving -- Querying and Pattern Mining -- Dealing with Knowledge -- Logics and Complexity. |
| Record Nr. | UNINA-9910484924703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ICDT '88 [[electronic resource] ] : 2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings / / edited by Marc Gyssens, Jan Paredaens, Dirk Van Gucht
| ICDT '88 [[electronic resource] ] : 2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings / / edited by Marc Gyssens, Jan Paredaens, Dirk Van Gucht |
| Edizione | [1st ed. 1988.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 |
| Descrizione fisica | 1 online resource (VIII, 412 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Computer science Database management Computers Data Structures and Information Theory Computer Science, general Database Management Models and Principles |
| ISBN | 3-540-45943-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Updates, a new frontier -- Data models and languages for databases -- A theory of atomic transactions -- Improving integrity constraint checking in deductive databases -- On the composition and decomposition of datalog program mappings -- On the semantics of rule-based expert systems with uncertainty -- Efficient consistency control in deductive databases -- Idempotent single-predicate horn clauses -- Hypothetical datalog: Complexity and expressibility -- On using conditional rotation operations to adaptively structure binary search trees -- An O(N2) equivalence algorithm for fan-out free queries -- Two-way join optimization in partitioned database systems -- Deciding whether a production rule is relational computable -- Modeling inheritance and genericity in object oriented-databases -- Semantics of types for database objects -- Towards abstracting complex database objects: Generalization, reduction and unification of set-type objects (extended abstract) -- On the complexity of queries in the logical data model -- On domain independent disjunctive databases -- Update in hierarchical data bases -- Parallel update transactions -- Transformation of dynamic integrity constraints into transaction specifications -- View update translation via deduction and annotation -- Conceptual level concurrency control of relational update transactions -- Version consistency and serializability in design databases -- Object-history and spreadsheet p-simulation -- Efficient management of replicated data. |
| Record Nr. | UNISA-996465273603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||