Logic in databases : International Workshop LID ʼ96, San Miniato, Italy, July 1996 : proceedings / Dino Pedreschi, Carlo Zaniolo, (eds.) |
Creatore | [International Workshop on Logic in Databases (1996 : San Miniato, Italy)] |
Estensione | x, 495 p. |
Disciplina | 005.74/01/5113 |
Accesso persona |
Pedreschi, Dino
Zaniolo, Carlo |
ISBN | 3540618147 (softcover : alk. paper) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Logic and Databases: A 20 Year Retrospective / J. Minker -- A Parametric Approach to Deductive Databases with Uncertainty / L. V. S. Lakshmanan and N. Shiri -- A Deductive Database Approach to Planning in Uncertain Environments / V. S. Subrahmanian and C. Ward -- Termination of Properties of Spatial Datalog Programs / B. Kuijpers, J. Paredaens and M. Smits [et al.] -- Applying Transition Rules to Bitemporal Deductive Databases for Integrity Constraint Checking / C. Martin and J. Sistac -- Towards a Unified Agent Architecture that Combines Rationality with Reactivity / R. Kowalski and F. Sadri -- Learning Query Rules for Optimizing Databases with Update Rules / D. Laurent and C. Vrain -- Formal Characterization of Active Databases / C. Baral and J. Lobo -- Nested Transactions in a Logical Language for Active Rules / B. Ludascher, W. May and G. Lausen -- Deductive Databases: Challenges, Opportunities and Future Directions / A. Siebes, S. Tsur and J. Ullman [et al.] -- R-Stable Models for Logic Programs / H. Jakobovits and D. Vermeir -- The Expressive Power of Partial Models in Disjunctive Deductive Databases / T. Eiter, N. Leone and D. Sacca -- Stable Model Checking for Disjunctive Logic Programs / N. Leone, P. Rullo and F. Scarcello -- Analysis of Logic-Based Systems / D. Boulanger -- An Axiomatic Interpretation of Confidentiality Demands in Logic-Based Relational Databases / A. Spalka and A. B. Cremers -- Database Query Evaluation with the STARBASE Method / E. Pulido -- The Limits of Fixed-Order Computation / K. Sagonas, T. Swift and D. S. Warren -- The IQ System: A Deductive Database Information Lens for Reasoning about Textual Information / B. Kero and S. Tsur -- Arithmetic and Aggregate Operators in Deductive Object-Oriented Databases / G. Dobbie and R. Topor -- Sequence Datalog: Declarative String Manipulation in Databases / A. Bonner and G. Mecca -- Language Extensions for Semantic Integration of Deductive Databases / P. Asirelli, C. Renso and F. Turini -- Unification of Bounded Simple Set Terms in Deductive Databases / S. Greco, C. Mateis and E. Spadafora -- Expressiveness of Semipositive Logic Programs with Value Invention / L. Cabibbo -- A More Expressive Deterministic Query Language with Efficient Symmetry-Based Choice Construct / F. Gire and H. K. Hoang. |
Record Nr. | UCHICAGO-2540363 |
[International Workshop on Logic in Databases (1996 : San Miniato, Italy)]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Mobility, data mining, and privacy : geographic knowledge discovery / Fosca Giannotti, Dino Pedreschi, editors |
Estensione | 1 online resource (xiv, 410 pages) : illustrations (some color) |
Disciplina | 025.06/91 |
Accesso persona |
Giannotti, Gianni, 1938-
Pedreschi, Dino |
Genere/Forma | Electronic books |
ISBN |
9783540751779
3540751777 9783540751762 3540751769 |
Classificazione | P208 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mobility, data mining and privacy : a vision of convergence / F. Giannotti, D. Pedreschi -- Basic concepts of movement data / N. Andrienko [and others] -- Characterising the next generation of mobile applications through a privacy-aware geographic knowledge discovery process / M. Wachowicz [and others] -- Wireless network data sources : tracking and synthesizing trajectories / C. Renso [and others] -- Privacy protection : regulations and technologies, opportunities and threats / D. Pedreschi [and others] -- Trajectory data models / J. Macedo [and others] -- Trajectory database systems / E. Frentzos [and others] -- Towards trajectory data warehouses / N. Pelekis [and others] -- Privacy and security in spatiotemporal data and trajectories / V.S. Verykios, M.L. Damiani, A. Gkoulalas-Divanis -- Knowledge discovery from geographical data / S. Rinzivillo [and others] -- Spatiotemporal data mining / M. Nanni [and others] -- Privacy in spatiotemporal data mining / F. Bonchi [and others] -- Querying and reasoning for spatiotemporal data mining / G. Manco [and others] -- Visual analytics methods for movement data / G. Andrienko [and others]. |
Record Nr. | NYU-004608760 |
![]() | |
Lo trovi qui: New York University | |
Mobility, data mining, and privacy [electronic resource] : geographic knowledge discovery / Fosca Giannotti, Dino Pedreschi, editors |
Estensione | 1 online resource (xiv, 410 p.) : ill. (some col.) |
Disciplina | 025.06/91 |
Accesso persona |
Giannotti, Gianni, 1938-
Pedreschi, Dino |
Genere/Forma | Electronic books |
ISBN |
9783540751779
3540751777 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mobility, data mining and privacy : a vision of convergence / F. Giannotti, D. Pedreschi -- Basic concepts of movement data / N. Andrienko ... [et al.] -- Characterising the next generation of mobile applications through a privacy-aware geographic knowledge discovery process / M. Wachowicz ... [et al.] -- Wireless network data sources : tracking and synthesizing trajectories / C. Renso ... [et al.] -- Privacy protection : regulations and technologies, opportunities and threats / D. Pedreschi ... [et al.] -- Trajectory data models / J. Macedo ... [et al.] -- Trajectory database systems / E. Frentzos ... [et al.] -- Towards trajectory data warehouses / N. Pelekis ... [et al.] -- Privacy and security in spatiotemporal data and trajectories / V.S. Verykios, M.L. Damiani, A. Gkoulalas-Divanis -- Knowledge discovery from geographical data / S. Rinzivillo ... [et al.] -- Spatiotemporal data mining / M. Nanni ... [et al.] -- Privacy in spatiotemporal data mining / F. Bonchi ... [et al.] -- Querying and reasoning for spatiotemporal data mining / G. Manco ... [et al.] -- Visual analytics methods for movement data / G. Andrienko ... [et al.]. |
Record Nr. | UCHICAGO-8885336 |
![]() | |
Lo trovi qui: University of Chicago | |
Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings / Dino Pedreschi, Carlo Zaniolo, (eds.). |
Estensione | x, 495 p. : ill. ; 24 cm. |
Disciplina | 005.74/01/5113 |
Accesso persona |
Pedreschi, Dino
Zaniolo, Carlo |
Accesso convegno | International Workshop on Logic in Databases (1996 : San Miniato, Italy) |
ISBN | 3540618147 (softcover : alk. paper) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UPENN-9920119613503681 |
![]() | |
Lo trovi qui: University of Pennsylvania | |
Mobility, Data Mining and Privacy [electronic resource] : Geographic Knowledge Discovery / edited by Fosca Giannotti, Dino Pedreschi |
Creatore | [Giannotti, Fosca] |
Accesso persona | Pedreschi, Dino |
Accesso ente | SpringerLink (Online service) |
ISBN | 9783540751779 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | YALE-8377445 |
[Giannotti, Fosca]
![]() |
|
![]() | |
Lo trovi qui: Yale University | |
Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings / Dino Pedreschi, Carlo Zaniolo, (eds.). |
Estensione | x, 495 p. : ill. ; 24 cm. |
Disciplina | 005.74/01/5113 |
Accesso persona |
Pedreschi, Dino
Zaniolo, Carlo |
Accesso convegno | International Workshop on Logic in Databases (1996 : San Miniato, Italy) |
ISBN | 3540618147 (softcover : alk. paper) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Logic and databases : a 20 year retrospective / J. Minker -- A parametric approach to deductive databases with uncertainity / L.V.S. Lakshmanan, N. Shiri -- A deductive database approach to planning in uncertain environments / V.S. Subrahmanian, C. Ward -- Termination properties of spatial datalog programs / B. Kuijpers ... [et al.] -- Applying transition rules to bitemporal deductive databases for integrity constraint checking / C. Martin, J. Sistac -- Towards a unified agent architecture that combines rationality with reactivity / R. Kowalski, F. Sadri -- Learning query rules for optimizing databases with update rules / D. Laurent, C. Vrain -- Formal characterization of active databases / C. Baral, J. Lobo -- Nested transactions in a logical language for active rules / B. Ludäscher, W. May, G. Lausen -- Deductive databases : challenges, opportunities and future directions / A. Siebes ... [et al.] -- R-stable models for logic programs / H. Jakobovits, D. Vermeir -- The expressive power of partial models in disjunctive deductive databases / T. Eiter, N. Leone, D. Saccà -- Stable model checking for disjunctive logic programs / N. Leone, P. Rullo, F. Scarcello --Analysis of logic-based systems / D. Boulanger -- An axiomatic interpretation of confidentiality demands in logic-based relational databases / A. Spalka, A.B. Cremers -- Database query evaluation with the STARBASE method / E. Pulido -- The limits of fixed-order compuation / K. Sagonas, T. Swift, D.S. Warren -- The IQ system : a deductive database information lens for reasoning about textual information / B. Kero, S. Tsur -- Arithmetic and aggregate operators in deductive object-oriented databases / G. Dobbie, R. Topor -- Sequence datalog : declarative string manipulation in databases / A. Bonner, G. Mecca -- Language extensions for semantic integration of deductive databases / P. Asirelli, C. Renso, F. Turini -- Unification of bounded simple set terms in deductive databases / S. Greco, C. Mateis, E. Spadafora -- Expressiveness of semipositive logic programs with value invention / L. Cabibbo -- A more expressive deterministic query language with efficient symmetry-based choice construct / F. Gire, H.K. Hoang. |
Record Nr. | DUKE-002232950 |
![]() | |
Lo trovi qui: Duke University | |
Machine Learning: ECML 2004 [electronic resource] : 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004. Proceedings |
Creatore | [Boulicaut, Jean-François] |
Estensione | 1 online resource. |
Disciplina | 006.3 |
Accesso persona |
Esposito, Floriana
Giannotti, Fosca Pedreschi, Dino |
Genere/Forma | Electronic books |
ISBN |
9783540301158
3540301151 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | NYU-004373305 |
[Boulicaut, Jean-François]
![]() |
|
![]() | |
Lo trovi qui: New York University | |
Machine Learning: ECML 2004 : 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004. Proceedings |
Creatore | [Boulicaut, Jean-François] |
Estensione | 1 online resource. |
Disciplina | 006.3 |
Accesso persona |
Esposito, Floriana
Giannotti, Fosca Pedreschi, Dino |
ISBN |
9783540301158
3540301151 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Random Matrices in Data Analysis -- Data Privacy -- Breaking Through the Syntax Barrier: Searching with Entities and Relations -- Real-World Learning with Markov Logic Networks -- Strength in Diversity: The Advance of Data Analysis -- Contributed Papers -- Filtered Reinforcement Learning -- Applying Support Vector Machines to Imbalanced Datasets -- Sensitivity Analysis of the Result in Binary Decision Trees -- A Boosting Approach to Multiple Instance Learning -- An Experimental Study of Different Approaches to Reinforcement Learning in Common Interest Stochastic Games -- Learning from Message Pairs for Automatic Email Answering -- Concept Formation in Expressive Description Logics -- Multi-level Boundary Classification for Information Extraction -- An Analysis of Stopping and Filtering Criteria for Rule Learning -- Adaptive Online Time Allocation to Search Algorithms -- Model Approximation for HEXQ Hierarchical Reinforcement Learning -- Iterative Ensemble Classification for Relational Data: A Case Study of Semantic Web Services -- Analyzing Multi-agent Reinforcement Learning Using Evolutionary Dynamics -- Experiments in Value Function Approximation with Sparse Support Vector Regression -- Constructive Induction for Classifying Time Series -- Fisher Kernels for Logical Sequences -- The Enron Corpus: A New Dataset for Email Classification Research -- Margin Maximizing Discriminant Analysis -- Multi-objective Classification with Info-Fuzzy Networks -- Improving Progressive Sampling via Meta-learning on Learning Curves -- Methods for Rule Conflict Resolution -- An Efficient Method to Estimate Labelled Sample Size for Transductive LDA(QDA/MDA) Based on Bayes Risk -- Analyzing Sensory Data Using Non-linear Preference Learning with Feature Subset Selection -- Dynamic Asset Allocation Exploiting Predictors in Reinforcement Learning Framework -- Justification-Based Selection of Training Examples for Case Base Reduction -- Using Feature Conjunctions Across Examples for Learning Pairwise Classifiers -- Feature Selection Filters Based on the Permutation Test -- Sparse Distributed Memories for On-Line Value-Based Reinforcement Learning -- Improving Random Forests -- The Principal Components Analysis of a Graph, and Its Relationships to Spectral Clustering -- Using String Kernels to Identify Famous Performers from Their Playing Style -- Associative Clustering -- Learning to Fly Simple and Robust -- Bayesian Network Methods for Traffic Flow Forecasting with Incomplete Data -- Matching Model Versus Single Model: A Study of the Requirement to Match Class Distribution Using Decision Trees -- Inducing Polynomial Equations for Regression -- Efficient Hyperkernel Learning Using Second-Order Cone Programming -- Effective Voting of Heterogeneous Classifiers -- Convergence and Divergence in Standard and Averaging Reinforcement Learning -- Document Representation for One-Class SVM -- Naive Bayesian Classifiers for Ranking -- Conditional Independence Trees -- Exploiting Unlabeled Data in Content-Based Image Retrieval -- Population Diversity in Permutation-Based Genetic Algorithm -- Simultaneous Concept Learning of Fuzzy Rules -- Posters -- SWITCH: A Novel Approach to Ensemble Learning for Heterogeneous Data -- Estimating Attributed Central Orders -- Batch Reinforcement Learning with State Importance -- Explicit Local Models: Towards "Optimal" Optimization Algorithms -- An Intelligent Model for the Signorini Contact Problem in Belt Grinding Processes -- Cluster-Grouping: From Subgroup Discovery to Clustering. |
Record Nr. | UALBERTA-8417721 |
[Boulicaut, Jean-François]
![]() |
|
![]() | |
Lo trovi qui: University of Alberta / NEOS Library Consortium | |
Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings / Dino Pedreschi, Carlo Zaniolo, (eds.). |
Estensione | x, 495 p. : ill. ; 24 cm. |
Disciplina | 005.74/01/5113 |
Accesso persona |
Pedreschi, Dino
Zaniolo, Carlo |
Accesso convegno | International Workshop on Logic in Databases (1996 : San Miniato, Italy) |
ISBN |
3540618147 (softcover : alk. paper)
9783540618140 (softcover : alk. paper) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Logic and databases : a 20 year retrospective / J. Minker -- A parametric approach to deductive databases with uncertainity / L.V.S. Lakshmanan, N. Shiri -- A deductive database approach to planning in uncertain environments / V.S. Subrahmanian, C. Ward -- Termination properties of spatial datalog programs / B. Kuijpers ... [et al.] -- Applying transition rules to bitemporal deductive databases for integrity constraint checking / C. Martin, J. Sistac -- Towards a unified agent architecture that combines rationality with reactivity / R. Kowalski, F. Sadri -- Learning query rules for optimizing databases with update rules / D. Laurent, C. Vrain -- Formal characterization of active databases / C. Baral, J. Lobo -- Nested transactions in a logical language for active rules / B. Ludäscher, W. May, G. Lausen -- Deductive databases : challenges, opportunities and future directions / A. Siebes ... [et al.] -- R-stable models for logic programs / H. Jakobovits, D. Vermeir -- The expressive power of partial models in disjunctive deductive databases / T. Eiter, N. Leone, D. Saccà -- Stable model checking for disjunctive logic programs / N. Leone, P. Rullo, F. Scarcello --Analysis of logic-based systems / D. Boulanger -- An axiomatic interpretation of confidentiality demands in logic-based relational databases / A. Spalka, A.B. Cremers -- Database query evaluation with the STARBASE method / E. Pulido -- The limits of fixed-order compuation / K. Sagonas, T. Swift, D.S. Warren -- The IQ system : a deductive database information lens for reasoning about textual information / B. Kero, S. Tsur -- Arithmetic and aggregate operators in deductive object-oriented databases / G. Dobbie, R. Topor -- Sequence datalog : declarative string manipulation in databases / A. Bonner, G. Mecca -- Language extensions for semantic integration of deductive databases / P. Asirelli, C. Renso, F. Turini -- Unification of bounded simple set terms in deductive databases / S. Greco, C. Mateis, E. Spadafora -- Expressiveness of semipositive logic programs with value invention / L. Cabibbo -- A more expressive deterministic query language with efficient symmetry-based choice construct / F. Gire, H.K. Hoang. |
Record Nr. | STANFORD-a3411126 |
![]() | |
Lo trovi qui: Stanford University | |
Knowledge discovery in databases: PKDD 2004 : 8th European Conference on Principles and Practice of Knowledge Discovery in Databases, Pisa, Italy, September 20-24, 2004 : proceedings / Jean-François Boulicaut, Floriana Esposito, Fosca Giannotti, Dino Pedreschi (eds.). |
Creatore | [European Conference on Principles and Practice of Knowledge Discovery in Databases (8th : 2004 : Pisa, Italy)] |
Estensione | 1 online resource (xix, 560 p.) : fig., tab. |
Disciplina | 006.3/12 |
Accesso persona |
Boulicaut, Jean-François
Esposito, Floriana, 1947- Giannotti, Fosca Pedreschi, Dino |
Genere/Forma | Electronic books |
ISBN | 3540231080 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | DUKE-004451738 |
[European Conference on Principles and Practice of Knowledge Discovery in Databases (8th : 2004 : Pisa, Italy)]
![]() |
|
![]() | |
Lo trovi qui: Duke University | |