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.
Inconsistency Tolerance [[electronic resource] /] / edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub
| Inconsistency Tolerance [[electronic resource] /] / edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (VIII, 300 p.) |
| Disciplina | 620/.0045 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Database management
Computer science Software engineering Machine theory Database Management Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory |
| ISBN | 3-540-30597-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to Inconsistency Tolerance -- Consistency of XML Specifications -- Consistent Query Answers in Virtual Data Integration Systems -- Representing Paraconsistent Reasoning via Quantified Propositional Logic -- On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases -- On the Complexity of Paraconsistent Inference Relations -- Approaches to Measuring Inconsistent Information -- Inconsistency Issues in Spatial Databases -- Relevant Logic and Paraconsistency. |
| Record Nr. | UNISA-996466066303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Inconsistency Tolerance [[electronic resource] /] / edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub
| Inconsistency Tolerance [[electronic resource] /] / edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (VIII, 300 p.) |
| Disciplina | 620/.0045 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Database management
Computer science Software engineering Machine theory Database Management Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory |
| ISBN | 3-540-30597-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to Inconsistency Tolerance -- Consistency of XML Specifications -- Consistent Query Answers in Virtual Data Integration Systems -- Representing Paraconsistent Reasoning via Quantified Propositional Logic -- On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases -- On the Complexity of Paraconsistent Inference Relations -- Approaches to Measuring Inconsistent Information -- Inconsistency Issues in Spatial Databases -- Relevant Logic and Paraconsistency. |
| Record Nr. | UNINA-9910483362803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reasoning web. causality, explanations and declarative knowledge : 18th international summer school 2022, Berlin, Germany, September 27-30, 2022, tutorial lectures / / Leopoldo Bertossi and Guohui Xiao, editors
| Reasoning web. causality, explanations and declarative knowledge : 18th international summer school 2022, Berlin, Germany, September 27-30, 2022, tutorial lectures / / Leopoldo Bertossi and Guohui Xiao, editors |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (219 pages) |
| Disciplina | 025.0427 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Semantic Web |
| ISBN |
9783031314148
9783031314131 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Explainability in Machine Learning -- Causal Explanations and Fairness in Data -- Statistical Relational Extensions of Answer Set Programming -- Vadalog: Its Extensions and Business Applications -- Cross-Modal Knowledge Discovery, Inference, and Challenges -- Reasoning with Tractable Probabilistic Circuits -- From Statistical Relational to Neural Symbolic Artificial Intelligence -- Building Intelligent Data Apps in Rel using Reasoning and Probabilistic Modelling. |
| Record Nr. | UNINA-9910720071203321 |
| Cham, Switzerland : , : Springer, Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reasoning web. causality, explanations and declarative knowledge : 18th international summer school 2022, Berlin, Germany, September 27-30, 2022, tutorial lectures / / Leopoldo Bertossi and Guohui Xiao, editors
| Reasoning web. causality, explanations and declarative knowledge : 18th international summer school 2022, Berlin, Germany, September 27-30, 2022, tutorial lectures / / Leopoldo Bertossi and Guohui Xiao, editors |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (219 pages) |
| Disciplina | 025.0427 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Semantic Web |
| ISBN |
9783031314148
9783031314131 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Explainability in Machine Learning -- Causal Explanations and Fairness in Data -- Statistical Relational Extensions of Answer Set Programming -- Vadalog: Its Extensions and Business Applications -- Cross-Modal Knowledge Discovery, Inference, and Challenges -- Reasoning with Tractable Probabilistic Circuits -- From Statistical Relational to Neural Symbolic Artificial Intelligence -- Building Intelligent Data Apps in Rel using Reasoning and Probabilistic Modelling. |
| Record Nr. | UNISA-996525670603316 |
| Cham, Switzerland : , : Springer, Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reasoning Web. Semantic Interoperability on the Web [[electronic resource] ] : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures / / edited by Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab
| Reasoning Web. Semantic Interoperability on the Web [[electronic resource] ] : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures / / edited by Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XI, 347 p. 63 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 Database Management Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval |
| ISBN | 3-319-61033-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Data Integration for Open Data on the Web -- Ontological Query Answering over Semantic Data -- Ontology Querying: Datalog Strikes Back -- Integrating Relational Databases with the Semantic Web: A Reflection -- Datalog Revisited for Reasoning in Linked Data -- A Tutorial on Hybrid Answer Set Solving with Clingo -- Answer Set Programming with External Source Access -- Uncertainty Reasoning for the Semantic Web -- OBDA for Log Extraction in Process Mining. . |
| Record Nr. | UNISA-996466459503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reasoning Web. Semantic Interoperability on the Web [[electronic resource] ] : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures / / edited by Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab
| Reasoning Web. Semantic Interoperability on the Web [[electronic resource] ] : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures / / edited by Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XI, 347 p. 63 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 Database Management Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval |
| ISBN | 3-319-61033-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Data Integration for Open Data on the Web -- Ontological Query Answering over Semantic Data -- Ontology Querying: Datalog Strikes Back -- Integrating Relational Databases with the Semantic Web: A Reflection -- Datalog Revisited for Reasoning in Linked Data -- A Tutorial on Hybrid Answer Set Solving with Clingo -- Answer Set Programming with External Source Access -- Uncertainty Reasoning for the Semantic Web -- OBDA for Log Extraction in Process Mining. . |
| Record Nr. | UNINA-9910483752703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rule Technologies. Research, Tools, and Applications [[electronic resource] ] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman
| Rule Technologies. Research, Tools, and Applications [[electronic resource] ] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXV, 351 p. 41 illus.) |
| Disciplina | 025.0427 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Artificial intelligence
Mathematical logic Application software Computer logic Software engineering Information storage and retrieval Artificial Intelligence Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Logics and Meanings of Programs Software Engineering Information Storage and Retrieval |
| ISBN | 3-319-42019-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | General RuleML Track -- Smart Contracts, Blockchain and Rules -- Constraint Handling Rules -- Legal Rules and Reasoning -- Rule- and Ontology-Based Data Access and Transformation -- Rule Induction and Learning -- Event Driven Architectures and Active Database Systems. |
| Record Nr. | UNINA-9910483252103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rule Technologies. Research, Tools, and Applications [[electronic resource] ] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman
| Rule Technologies. Research, Tools, and Applications [[electronic resource] ] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXV, 351 p. 41 illus.) |
| Disciplina | 025.0427 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Artificial intelligence
Mathematical logic Application software Computer logic Software engineering Information storage and retrieval Artificial Intelligence Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Logics and Meanings of Programs Software Engineering Information Storage and Retrieval |
| ISBN | 3-319-42019-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | General RuleML Track -- Smart Contracts, Blockchain and Rules -- Constraint Handling Rules -- Legal Rules and Reasoning -- Rule- and Ontology-Based Data Access and Transformation -- Rule Induction and Learning -- Event Driven Architectures and Active Database Systems. |
| Record Nr. | UNISA-996465786803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Semantics in Databases [[electronic resource] ] : Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers / / edited by Leopoldo Bertossi, Gyula O.H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim
| Semantics in Databases [[electronic resource] ] : Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers / / edited by Leopoldo Bertossi, Gyula O.H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 238 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Computer logic Computer science—Mathematics Information storage and retrieval Multimedia information systems Data Structures and Information Theory Database Management Logics and Meanings of Programs Discrete Mathematics in Computer Science Information Storage and Retrieval Multimedia Information Systems |
| ISBN | 3-540-36596-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Semantics in Databases -- Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets -- Towards Unifying Semantic Constraints and Security Constraints -- Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases -- Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling -- Characterization of Type Hierarchies with Open Specification -- Null Values in Relational Databases and Sure Information Answers -- Consistency Enforcement in Databases -- Automata- and Logic-Based Pattern Languages for Tree-Structured Data -- Cardinality Constraints in Disjunctive Deductive Databases -- Semantic Classifications of Queries to Relational Databases. |
| Record Nr. | UNINA-9910143883303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantics in Databases [[electronic resource] ] : Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers / / edited by Leopoldo Bertossi, Gyula O.H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim
| Semantics in Databases [[electronic resource] ] : Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers / / edited by Leopoldo Bertossi, Gyula O.H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 238 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Computer logic Computer science—Mathematics Information storage and retrieval Multimedia information systems Data Structures and Information Theory Database Management Logics and Meanings of Programs Discrete Mathematics in Computer Science Information Storage and Retrieval Multimedia Information Systems |
| ISBN | 3-540-36596-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Semantics in Databases -- Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets -- Towards Unifying Semantic Constraints and Security Constraints -- Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases -- Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling -- Characterization of Type Hierarchies with Open Specification -- Null Values in Relational Databases and Sure Information Answers -- Consistency Enforcement in Databases -- Automata- and Logic-Based Pattern Languages for Tree-Structured Data -- Cardinality Constraints in Disjunctive Deductive Databases -- Semantic Classifications of Queries to Relational Databases. |
| Record Nr. | UNISA-996465671103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||