skip to content
Reasoning web : explainable artificial intelligence : 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial lectures Preview this item
ClosePreview this item
Checking...

Reasoning web : explainable artificial intelligence : 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial lectures

Author: Markus Krötzsch; Daria Stepanova
Publisher: Cham, Switzerland : Springer, 2019.
Series: Lecture notes in computer science, 11810.; LNCS sublibrary., SL 3,, Information systems and applications, incl. Internet/Web, and HCI.
Edition/Format:   eBook : Document : Conference publication : English
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Markus Krötzsch; Daria Stepanova
ISBN: 9783030314231 3030314235
OCLC Number: 1121047055
Notes: Includes author index.
Description: 1 online resource (xi, 283 pages) : illustrations (some color).
Contents: Intro; Preface; Organization; Reasoning Web 2019 Sponsors; Contents; Classical Algorithms for Reasoning and Explanation in Description Logics; 1 Introduction; 2 Description Logics; 2.1 Syntax; 2.2 Semantics; 2.3 Reasoning Problems; 2.4 Reductions Between Reasoning Problems; 3 Tableau Procedures; 3.1 Deciding Concept Satisfiability; 3.2 TBox Reasoning; 4 Axiom Pinpointing; 4.1 Computing One Justification; 4.2 Computing All Justifications; 4.3 Computing All Repairs; 4.4 Computing Justifications and Repairs Using SAT Solvers; 5 Summary and Outlook; A Appendix; A.1 Computational Complexity A.2 Propositional Logic and SATReferences; Explanation-Friendly Query Answering Under Uncertainty; 1 Introduction; 2 The Datalog+/- Family of Ontology Languages; 2.1 Preliminary Concepts and Notations; 2.2 Syntax and Semantics of Datalog+/-; 2.3 Conjunctive Query Answering; 2.4 Datalog+/- Fragments: In Search of Decidability and Tractability; 3 Query Answering over Probabilistic Knowledge Bases; 3.1 Brief Overview of Basic Probabilistic Graphical Models; 3.2 Probabilistic Datalog+/-; 3.3 Towards Explainable Probabilistic Ontological Reasoning 4 Inconsistency-Tolerant Query Answering with Datalog+/-4.1 Relationship with (Classical) Consistent Answers; 4.2 Relationship with IAR Semantics; 4.3 Lazy Answers; 4.4 Towards Explainable Inconsistency-Tolerant Query Answering; 5 Discussion and Future Research Directions; References; Provenance in Databases: Principles and Applications; 1 Introduction; 2 Provenance; 3 Example Applications; 4 Beyond Relational Provenance; 5 Outlook; References; Knowledge Representation and Rule Mining in Entity-Centric Knowledge Bases; 1 Introduction; 1.1 Knowledge Bases; 1.2 Applications 1.3 Knowledge Representation and Rule Mining2 Knowledge Representation; 2.1 Entities; 2.2 Classes; 2.3 Relations; 2.4 Knowledge Bases; 2.5 The Semantic Web; 2.6 Challenges in Knowledge Representation; 3 Rule Mining; 3.1 Rules; 3.2 Rule Mining; 3.3 Rule Mining Approaches; 3.4 Related Approaches; 3.5 Challenges in Rule Mining; 4 Representation Learning; 4.1 Embedding; 4.2 Neural Networks; 4.3 Knowledge Base Embeddings; 4.4 Challenges in Representation Learning; 5 Conclusion; A Computation of Support and Confidence; References; Explaining Data with Formal Concept Analysis; 1 Introduction; 2 TL DR --
Formal Concept Analysis in a Nutshell3 Concept Lattices; 3.1 Formal Contexts and Cross Tables; 3.2 The Derivation Operators; 3.3 Formal Concepts, Extent and Intent; 3.4 Conceptual Hierarchy; 3.5 Concept Lattice Diagrams; 3.6 Supremum and Infimum; 3.7 Complete Lattices; 3.8 The Basic Theorem of FCA; 3.9 Computing All Concepts of a Context; 3.10 Drawing Concept Lattices; 3.11 Clarifying and Reducing a Formal Context; 3.12 Additive and Nested Line Diagrams; 4 Closure Systems; 4.1 Definition and Examples; 4.2 The Next Closure Algorithm; 5 Implications; 5.1 Implications of a Formal Context
Series Title: Lecture notes in computer science, 11810.; LNCS sublibrary., SL 3,, Information systems and applications, incl. Internet/Web, and HCI.
Responsibility: Markus Krötzsch, Daria Stepanova (eds.).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1121047055> # Reasoning web : explainable artificial intelligence : 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial lectures
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "1121047055" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9547329482#Topic/semantic_web> ; # Semantic Web
    schema:about <http://experiment.worldcat.org/entity/work/data/9547329482#Topic/semantic_computing> ; # Semantic computing
    schema:about <http://dewey.info/class/025.0427/e23/> ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/9547329482#Meeting/summer_school_on_reasoning_web_15th_2019_bolzano_italy> ; # Summer School on Reasoning Web (15th : 2019 : Bolzano, Italy)
    schema:datePublished "2019" ;
    schema:description "Intro; Preface; Organization; Reasoning Web 2019 Sponsors; Contents; Classical Algorithms for Reasoning and Explanation in Description Logics; 1 Introduction; 2 Description Logics; 2.1 Syntax; 2.2 Semantics; 2.3 Reasoning Problems; 2.4 Reductions Between Reasoning Problems; 3 Tableau Procedures; 3.1 Deciding Concept Satisfiability; 3.2 TBox Reasoning; 4 Axiom Pinpointing; 4.1 Computing One Justification; 4.2 Computing All Justifications; 4.3 Computing All Repairs; 4.4 Computing Justifications and Repairs Using SAT Solvers; 5 Summary and Outlook; A Appendix; A.1 Computational Complexity"@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/9547329482#Person/krotzsch_markus> ; # Markus Krötzsch
    schema:editor <http://experiment.worldcat.org/entity/work/data/9547329482#Person/stepanova_daria> ; # Daria Stepanova
    schema:exampleOfWork <http://worldcat.org/entity/work/id/9547329482> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9547329482#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9547329482#Series/lncs_sublibrary_sl_3_information_systems_and_applications_incl_internet_web_and_hci> ; # LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9547329482#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Reasoning web : explainable artificial intelligence : 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial lectures"@en ;
    schema:productID "1121047055" ;
    schema:url <https://doi.org/10.1007/978-3-030-31423-1> ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=5924664> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-030-31423-1> ;
    schema:workExample <http://worldcat.org/isbn/9783030314231> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB9G5903> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1121047055> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/9547329482#Meeting/summer_school_on_reasoning_web_15th_2019_bolzano_italy> # Summer School on Reasoning Web (15th : 2019 : Bolzano, Italy)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/9547329482#Place/bolzano_italy> ; # Bolzano, Italy)
    schema:name "Summer School on Reasoning Web (15th : 2019 : Bolzano, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/9547329482#Person/krotzsch_markus> # Markus Krötzsch
    a schema:Person ;
    schema:familyName "Krötzsch" ;
    schema:givenName "Markus" ;
    schema:name "Markus Krötzsch" ;
    .

<http://experiment.worldcat.org/entity/work/data/9547329482#Person/stepanova_daria> # Daria Stepanova
    a schema:Person ;
    schema:familyName "Stepanova" ;
    schema:givenName "Daria" ;
    schema:name "Daria Stepanova" ;
    .

<http://experiment.worldcat.org/entity/work/data/9547329482#Place/bolzano_italy> # Bolzano, Italy)
    a schema:Place ;
    schema:name "Bolzano, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/9547329482#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1121047055> ; # Reasoning web : explainable artificial intelligence : 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial lectures
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/9547329482#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1121047055> ; # Reasoning web : explainable artificial intelligence : 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial lectures
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/9547329482#Series/lncs_sublibrary_sl_3_information_systems_and_applications_incl_internet_web_and_hci> # LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1121047055> ; # Reasoning web : explainable artificial intelligence : 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial lectures
    schema:name "LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI" ;
    .

<http://experiment.worldcat.org/entity/work/data/9547329482#Topic/semantic_computing> # Semantic computing
    a schema:Intangible ;
    schema:name "Semantic computing"@en ;
    .

<http://worldcat.org/isbn/9783030314231>
    a schema:ProductModel ;
    schema:isbn "3030314235" ;
    schema:isbn "9783030314231" ;
    .

<http://www.worldcat.org/title/-/oclc/1121047055>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1121047055> ; # Reasoning web : explainable artificial intelligence : 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial lectures
    schema:dateModified "2019-10-12" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.