Marco Manna – författare
Logics in Artificial Intelligence
16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
1 060 kr
Skickas inom 10-15 vardagar
1 290 kr
Läs direkt efter köp
This book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers included in this volume were carefully reviewed and selected from 101 submissions. Additionally, the book contains 3 invited papers. The accepted papers span a number of areas within Logics in AI, including: belief revision and argumentation; causal, defeasible and inductive reasoning; conditional, probabilistic and propositional logic; description logics; logic programming; modal and default logic; and temporal logic.
Reasoning Web. Declarative Artificial Intelligence
16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures
561 kr
Skickas inom 10-15 vardagar
714 kr
Läs direkt efter köp
This volume contains 8 lecture notes of the 16th Reasoning Web Summer School (RW 2020), held in Oslo, Norway, in June 2020.
The Reasoning Web series of annual summer schools has become the prime educational event in the field of reasoning techniques on the Web, attracting both young and established researchers. The broad theme of this year''s summer school was “Declarative Artificial Intelligence” 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 have been presented during the school: Introduction to Probabilistic Ontologies, On the Complexity of Learning Description Logic Ontologies, Explanation via Machine Arguing, Stream Reasoning: From Theory to Practice, First-Order Rewritability of Temporal Ontology-Mediated Queries, An Introduction to Answer Set Programming and Some of Its Extensions, Declarative Data Analysis using Limit Datalog Programs,and Knowledge Graphs: Research Directions.