Leopoldo Bertossi – författare

Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.

16 produkter

Kategorier

16 produkter

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006
IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile
AvGonzalo Navarro,Leopoldo Bertossim. fl.
Inbunden, Engelska, 2006
1 116 kr
Skickas inom 10-15 vardagar
The papers contained in this volume were presented at the fourth edition of the IFIP International Conference on Theoretical Computer Science (IFIP TCS), held August 23-24, 2006 in Santiago, Chile. They were selected from 44 pa pers submitted from 17 countries in response to the call for papers. A total of 16 submissions were accepted as full papers, yielding an acceptance rate of about 36%. Papers sohcited for IFIP TCS 2006 were meant to constitute orig inal contributions in two general areas: Algorithms, Complexity and Models of Computation; and Logic, Semantics, Specification and Verification. The conference also included six invited presentations: Marcelo Arenas (P- tificia Universidad Catolica de Chile, Chile), Jozef Gruska (Masaryk University, Czech Republic), Claudio Gutierrez (Universidad de Chile, Chile), Marcos Kiwi (Universidad de Chile, Chile), Nicola Santoro (Carleton University, Canada), and Mihalis Yannakakis (Columbia University, USA). The abstracts of those presentations are included in this volume. In addition, Jozef Gruska and Nicola Santoro accepted our invitation to write full papers related to their talks. Those two surveys are included in the present volume as well. TCS is a biannual conference. The first edition was held in Sendai (Japan, 2000), followed by Montreal (Canada, 2002) and Toulouse (France, 2004).
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006
IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile
AvYoshiharu Kohayakawa,Leopoldo Bertossim. fl.
E-bok
PDF, Engelska, 2006
1 459 kr
Läs direkt efter köp
The papers contained in this volume were presented at the fourth edition of the IFIP International Conference on Theoretical Computer Science (IFIP TCS), held August 23-24, 2006 in Santiago, Chile. They were selected from 44 pa pers submitted from 17 countries in response to the call for papers. A total of 16 submissions were accepted as full papers, yielding an acceptance rate of about 36%. Papers sohcited for IFIP TCS 2006 were meant to constitute orig inal contributions in two general areas: Algorithms, Complexity and Models of Computation; and Logic, Semantics, Specification and Verification. The conference also included six invited presentations: Marcelo Arenas (P- tificia Universidad Catolica de Chile, Chile), Jozef Gruska (Masaryk University, Czech Republic), Claudio Gutierrez (Universidad de Chile, Chile), Marcos Kiwi (Universidad de Chile, Chile), Nicola Santoro (Carleton University, Canada), and Mihalis Yannakakis (Columbia University, USA). The abstracts of those presentations are included in this volume. In addition, Jozef Gruska and Nicola Santoro accepted our invitation to write full papers related to their talks. Those two surveys are included in the present volume as well. TCS is a biannual conference. The first edition was held in Sendai (Japan, 2000), followed by Montreal (Canada, 2002) and Toulouse (France, 2004).
Del 209 - IFIP Advances in Information and Communication Technology
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006
IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile
AvGonzalo Navarro,Leopoldo Bertossim. fl.
Häftad, Engelska, 2014
1 116 kr
Skickas inom 10-15 vardagar
The papers contained in this volume were presented at the fourth edition of the IFIP International Conference on Theoretical Computer Science (IFIP TCS), held August 23-24, 2006 in Santiago, Chile. They were selected from 44 pa pers submitted from 17 countries in response to the call for papers. A total of 16 submissions were accepted as full papers, yielding an acceptance rate of about 36%. Papers sohcited for IFIP TCS 2006 were meant to constitute orig inal contributions in two general areas: Algorithms, Complexity and Models of Computation; and Logic, Semantics, Specification and Verification. The conference also included six invited presentations: Marcelo Arenas (P- tificia Universidad Catolica de Chile, Chile), Jozef Gruska (Masaryk University, Czech Republic), Claudio Gutierrez (Universidad de Chile, Chile), Marcos Kiwi (Universidad de Chile, Chile), Nicola Santoro (Carleton University, Canada), and Mihalis Yannakakis (Columbia University, USA). The abstracts of those presentations are included in this volume. In addition, Jozef Gruska and Nicola Santoro accepted our invitation to write full papers related to their talks. Those two surveys are included in the present volume as well. TCS is a biannual conference. The first edition was held in Sendai (Japan, 2000), followed by Montreal (Canada, 2002) and Toulouse (France, 2004).
Database Repairing and Consistent Query Answering
AvLeopoldo Bertossi
Häftad, Engelska, 2011
373 kr
Skickas inom 10-15 vardagar
Integrity constraints are semantic conditions that a database should satisfy in order to be an appropriate model of external reality. In practice, and for many reasons, a database may not satisfy those integrity constraints, and for that reason it is said to be inconsistent. However, and most likely, a large portion of the database is still semantically correct, in a sense that has to be made precise. After having provided a formal characterization of consistent data in an inconsistent database, the natural problem emerges of extracting that semantically correct data, as query answers. The consistent data in an inconsistent database is usually characterized as the data that persists across all the database instances that are consistent and minimally differ from the inconsistent instance. Those are the so-called repairs of the database. In particular, the consistent answers to a query posed to the inconsistent database are those answers that can be simultaneously obtained from all the database repairs. As expected, the notion of repair requires an adequate notion of distance that allows for the comparison of databases with respect to how much they differ from the inconsistent instance. On this basis, the minimality condition on repairs can be properly formulated. In this monograph we present and discuss these fundamental concepts, different repair semantics, algorithms for computing consistent answers to queries, and also complexity-theoretic results related to the computation of repairs and doing consistent query answering. Table of Contents: Introduction / The Notions of Repair and Consistent Answer / Tractable CQA and Query Rewriting / Logically Specifying Repairs / Decision Problems in CQA: Complexity and Algorithms / Repairs and Data Cleaning
Database Repairing and Consistent Query Answering
AvLeopoldo Bertossi
E-bok
PDF, Engelska, 2022
457 kr
Läs direkt efter köp
Integrity constraints are semantic conditions that a database should satisfy in order to be an appropriate model of external reality. In practice, and for many reasons, a database may not satisfy those integrity constraints, and for that reason it is said to be inconsistent. However, and most likely, a large portion of the database is still semantically correct, in a sense that has to be made precise. After having provided a formal characterization of consistent data in an inconsistent database, the natural problem emerges of extracting that semantically correct data, as query answers. The consistent data in an inconsistent database is usually characterized as the data that persists across all the database instances that are consistent and minimally differ from the inconsistent instance. Those are the so-called repairs of the database. In particular, the consistent answers to a query posed to the inconsistent database are those answers that can be simultaneously obtained from all the database repairs. As expected, the notion of repair requires an adequate notion of distance that allows for the comparison of databases with respect to how much they differ from the inconsistent instance. On this basis, the minimality condition on repairs can be properly formulated. In this monograph we present and discuss these fundamental concepts, different repair semantics, algorithms for computing consistent answers to queries, and also complexity-theoretic results related to the computation of repairs and doing consistent query answering. Table of Contents: Introduction / The Notions of Repair and Consistent Answer / Tractable CQA and Query Rewriting / Logically Specifying Repairs / Decision Problems in CQA: Complexity and Algorithms / Repairs and Data Cleaning
Del 13759 - Lecture Notes in Computer Science
Reasoning Web. Causality, Explanations and Declarative Knowledge
18th International Summer School 2022, Berlin, Germany, September 27–30, 2022, Tutorial Lectures
AvLeopoldo Bertossi,Guohui Xiao
Häftad, Engelska, 2023
651 kr
Skickas inom 5-8 vardagar
The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school were given by a distinguished group of expert lecturers.The broad theme of this year's summer school was “Reasoning in Probabilistic Models and Machine Learning” and it covered various aspects of ontological reasoning and related issues that are of particular interest to Semantic Web and Linked Data applications.The following eight lectures were presented during the school: Logic-Based 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.
Reasoning Web. Causality, Explanations and Declarative Knowledge
18th International Summer School 2022, Berlin, Germany, September 27–30, 2022, Tutorial Lectures
AvGuohui Xiao,Leopoldo Bertossi
E-bok
Engelska, 2023
813 kr
Läs direkt efter köp
The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school were given by a distinguished group of expert lecturers. The broad theme of this year''s summer school was “Reasoning in Probabilistic Models and Machine Learning” and it covered various aspects of ontological reasoning and related issues that are of particular interest to Semantic Web and Linked Data applications. The following eight lectures were presented during the school: Logic-Based 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.
Reasoning Web. Causality, Explanations and Declarative Knowledge : 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tuto
AvLeopoldo Bertossi,Guohui Xiao
Engelska, 2023
665 kr
Skickas inom 5-8 vardagar
Del 9718 - Lecture Notes in Computer Science
Rule Technologies. Research, Tools, and Applications
10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
AvJose Julio Alferes,Leopoldo Bertossim. fl.
Häftad, Engelska, 2016
1 116 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 10th International RuleML Symposium, RuleML 2016, held in New York, NY, USA during July 2016.The 19 full papers, 1 short paper, 2 keynote abstracts, 2 invited tutorial papers, 1 invited standard paper, presented were carefully reviewed and selected from 36 submissions. RuleML is a leading conference aiming to build bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack. It is devoted to rule-based programming and rule-based systems including production rule systems, logic programming rule engines, and business rule engines and business rule management systems, Semantic Web rule languages and rule standards and technologies, and research on inference rules, transformation rules, decision rules, and ECA rules.
Rule Technologies. Research, Tools, and Applications
10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
AvDumitru Roman,Paul Fodorm. fl.
E-bok
PDF, Engelska, 2016
1 455 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 10th International RuleML Symposium, RuleML 2016, held in New York, NY, USA during July 2016.
The 19 full papers, 1 short paper, 2 keynote abstracts, 2 invited tutorial papers, 1 invited standard paper, presented were carefully reviewed and selected from 36 submissions. RuleML is a leading conference aiming to build bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack. It is devoted to rule-based programming and rule-based systems including production rule systems, logic programming rule engines, and business rule engines and business rule management systems, Semantic Web rule languages and rule standards and technologies, and research on inference rules, transformation rules, decision rules, and ECA rules.
Del 10370 - Lecture Notes in Computer Science
Reasoning Web. Semantic Interoperability on the Web
13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures
AvGiovambattista Ianni,Domenico Lembom. fl.
Häftad, Engelska, 2017
562 kr
Skickas inom 10-15 vardagar
This volume contains the lecture notes of the 13th Reasoning Web Summer School, RW 2017, held in London, UK, in July 2017.In 2017, the theme of the school was "Semantic Interoperability on the Web", which encompasses subjects such as data integration, open data management, reasoning over linked data, database to ontology mapping, query answering over ontologies, hybrid reasoning with rules and ontologies, and ontology-based dynamic systems. The papers of this volume focus on these topics and also address foundational reasoning techniques used in answer set programming and ontologies.
Reasoning Web. Semantic Interoperability on the Web
13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures
AvSteffen Staab,Georg Gottlobm. fl.
E-bok
Engelska, 2017
732 kr
Läs direkt efter köp
This volume contains the lecture notes of the 13th Reasoning Web Summer School, RW 2017, held in London, UK, in July 2017.
In 2017, the theme of the school was "Semantic Interoperability on the Web", which encompasses subjects such as data integration, open data management, reasoning over linked data, database to ontology mapping, query answering over ontologies, hybrid reasoning with rules and ontologies, and ontology-based dynamic systems. The papers of this volume focus on these topics and also address foundational reasoning techniques used in answer set programming and ontologies.
Semantics in Databases
Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers
AvLeopoldo Bertossi,Gyula O.H. Katonam. fl.
Häftad, Engelska, 2003
562 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Semantics in Databases, held in Dagstuhl Castle, Germany, in January 2001.The 10 revised full papers presented together with an introduction by the volume editors were carefully selected during two rounds of reviewing. Among the aspects of database semantics discussed are semantic constraints, paraconsistency, logic foundations of databases, ER modeling, type hierarchies, null values, consistency enforcement, logic-based pattern languages, and semantic classification of queries. Among the classes of databases dealt with are deductive databases, relational databases, distributed information systems, and tree-structured data.
Inconsistency Tolerance
AvLeopoldo Bertossi,Anthony Hunterm. fl.
Häftad, Engelska, 2005
562 kr
Skickas inom 10-15 vardagar
Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information.The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field.
Inconsistency Tolerance
AvTorsten Schaub,Anthony Hunterm. fl.
E-bok
PDF, Engelska, 2005
732 kr
Läs direkt efter köp
Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information.
The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field.
Semantics in Databases
Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers
AvBernhard Thalheim,Klaus-Dieter Schewem. fl.
E-bok
PDF, Engelska, 2003
710 kr
Läs direkt efter köp

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Semantics in Databases, held in Dagstuhl Castle, Germany, in January 2001.
The 10 revised full papers presented together with an introduction by the volume editors were carefully selected during two rounds of reviewing. Among the aspects of database semantics discussed are semantic constraints, paraconsistency, logic foundations of databases, ER modeling, type hierarchies, null values, consistency enforcement, logic-based pattern languages, and semantic classification of queries. Among the classes of databases dealt with are deductive databases, relational databases, distributed information systems, and tree-structured data.

Företag, bibliotek eller offentlig verksamhet?

Leopoldo Bertossi – författare

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006

Database Repairing and Consistent Query Answering

Database Repairing and Consistent Query Answering

Reasoning Web. Causality, Explanations and Declarative Knowledge

Reasoning Web. Causality, Explanations and Declarative Knowledge

Reasoning Web. Causality, Explanations and Declarative Knowledge : 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tuto

Rule Technologies. Research, Tools, and Applications

Rule Technologies. Research, Tools, and Applications

Reasoning Web. Semantic Interoperability on the Web

Reasoning Web. Semantic Interoperability on the Web

Semantics in Databases

Inconsistency Tolerance

Inconsistency Tolerance

Semantics in Databases

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration