Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation PDF Download

Author: Thomas Eiter
Publisher: Springer
ISBN: 3319147269
Category : Computers
Languages : en
Pages : 370

View

Book Description
This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and contains articles from fields reflecting the breadth of Gerd's work. The 24 scientific papers included in the book are written by close friends and colleagues and cover topics such as Actions and Agents, Nonmonotonic and Human Reasoning, Preferences and Argumentation.

Author: Arne Meier
Publisher: Springer Nature
ISBN: 3031569407
Category :
Languages : en
Pages : 408

View

Book Description

Author: Reyhan Aydoğan
Publisher: Springer
ISBN: 3319572857
Category : Computers
Languages : en
Pages : 157

View

Book Description
This book constitutes thoroughly revised selected papers of the Second International Workshop on Conflict and Resolution in Decision Makrung, COREDEMA 2016, held in The Hague, The Netherlands, in August 2016. The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The 2nd International Workshop on Conflict Resolution in Decision Making (COREDEMA 2016) focuses on theoretical and practical computational approaches for solving and understanding conflict resolution.

Author: Loizos Michael
Publisher: Springer
ISBN: 3319487582
Category : Computers
Languages : en
Pages : 602

View

Book Description
This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.

Author: S. Kutsch
Publisher: IOS Press
ISBN: 164368163X
Category : Computers
Languages : en
Pages : 186

View

Book Description
A core problem in Artificial Intelligence is the modeling of human reasoning. Classic-logical approaches are too rigid for this task, as deductive inference yielding logically correct results is not appropriate in situations where conclusions must be drawn based on the incomplete or uncertain knowledge present in virtually all real world scenarios. Since there are no mathematically precise and generally accepted definitions for the notions of plausible or rational, the question of what a knowledge base consisting of uncertain rules entails has long been an issue in the area of knowledge representation and reasoning. Different nonmonotonic logics and various semantic frameworks and axiom systems have been developed to address this question. The main theme of this book, Knowledge Representation and Inductive Reasoning using Conditional Logic and Sets of Ranking Functions, is inductive reasoning from conditional knowledge bases. Using ordinal conditional functions as ranking models for conditional knowledge bases, the author studies inferences induced by individual ranking models as well as by sets of ranking models. He elaborates in detail the interrelationships among the resulting inference relations and shows their formal properties with respect to established inference axioms. Based on the introduction of a novel classification scheme for conditionals, he also addresses the question of how to realize and implement the entailment relations obtained. In this work, “Steven Kutsch convincingly presents his ideas, provides illustrating examples for them, rigorously defines the introduced concepts, formally proves all technical results, and fully implements every newly introduced inference method in an advanced Java library (...). He significantly advances the state of the art in this field.” – Prof. Dr. Christoph Beierle of the FernUniversität in Hagen

Author: Jiřina Vejnarová
Publisher: Springer Nature
ISBN: 3030867722
Category : Computers
Languages : en
Pages : 695

View

Book Description
This book constitutes the refereed proceedings of the 16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2021, held in Prague, Czech Republic, in September 2021. The 48 full papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections about argumentation and analogical reasoning, Bayesian networks and graphical models, belief functions, imprecise probability, inconsistency handling and preferences, possibility theory and fuzzy approaches, and probability logic.

Author: P. Baroni
Publisher: IOS Press
ISBN: 1614996865
Category : Computers
Languages : en
Pages : 496

View

Book Description
Research into computational models of argument is a rich interdisciplinary field involving the study of natural, artificial and theoretical argumentation and requiring openness to interactions with a variety of disciplines, ranging from philosophy and cognitive science to formal logic and graph theory. The ultimate aim is to support the development of computer-based systems able to engage in argumentation-related activities, either with human users or among themselves. This book presents the proceedings of the sixth biennial International Conference on Computational Models of Argument (COMMA 2016), held in Potsdam, Germany, on 12- 16 September. The aim of the COMMA conferences is to bring together researchers interested in computational models of argument and the representation of argumentation structures in natural language texts, with special attention to contributions concerning emerging trends and the development of new connections with other areas. The book contains the 25 full papers, 17 short papers and 10 demonstration abstracts presented at the conference, together with 3 invited talks. Subjects covered include abstract, bipolar and structured argumentation, quantitative approaches and their connections with formalisms like Bayesian networks and fuzzy logic, multi-agent scenarios, algorithms and solvers, and mining arguments in text, dialogue, and social media. The book provides an overview of current research and developments in the field of computational models of argument, and will be essential reading for all those with an interest in the field.

Author: Pietro Baroni
Publisher: Springer Nature
ISBN: 303089391X
Category : Computers
Languages : en
Pages : 562

View

Book Description
This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of argumentation, a variety of logic formalisms, nonmonotonic reasoning, dispute and dialogue systems, formal treatment of preference and support, and well as applications in areas like vaccine information and processing of legal texts.

Author: S. Modgil
Publisher: IOS Press
ISBN: 1614999066
Category : Computers
Languages : en
Pages : 498

View

Book Description
In its classical form, the study of argumentation focuses on human-oriented uses of argument, such as whether an argument is legitimate or flawed, engagement in debate, or the rhetorical aspects of argumentation. In recent decades, however, the study of logic and computational models of argumentation has emerged as a growing sub-area of AI. This book presents the Seventh International Conference on Computational Models of Argument (COMMA’18), held in Warsaw, Poland, from 12 to 14 September 2018. Since its inception in 2006, the conference and its related activities have developed alongside the steady growth of interest in computational argumentation worldwide, and the selection of 25 full papers and 17 short papers, out of a total of 70 submissions, and 15 demonstration abstracts included here reflect the broad multidisciplinary nature of argumentation and the increasing body of work which establishes the relevance of computational models to various disciplines and real world applications. Subjects covered include: algorithm development; innovative applications; argument mining, argumentation-based models of dialogue; abstract argument frameworks; and structured argumentation. Representing an overview of current developments in the field, this book will appeal to all those with an interest in computational models of argument.

Author: H. Prakken
Publisher: IOS Press
ISBN: 1643681079
Category : Computers
Languages : en
Pages : 498

View

Book Description
The investigation of computational models of argument is a rich and fascinating interdisciplinary research field with two ultimate aims: the theoretical goal of understanding argumentation as a cognitive phenomenon by modeling it in computer programs, and the practical goal of supporting the development of computer-based systems able to engage in argumentation-related activities with human users or among themselves. The biennial International Conferences on Computational Models of Argument (COMMA) provide a dedicated forum for the presentation and discussion of the latest advancements in the field, and cover both basic research and innovative applications. This book presents the proceedings of COMMA 2020. Due to the Covid-19 pandemic, COMMA 2020 was held as an online event on the originally scheduled dates of 8 -11 September 2020, organised by the University of Perugia, Italy. The book includes 28 full papers and 13 short papers selected from a total of 78 submissions, the abstracts of 3 invited talks and 13 demonstration abstracts. The interdisciplinary nature of the field is reflected, and contributions cover both theory and practice. Theoretical contributions include new formal models, the study of formal or computational properties of models, designs for implemented systems and experimental research. Practical papers include applications to medicine, law and criminal investigation, chatbots and online product reviews. The argument-mining trend from previous COMMA’s is continued, while an emerging trend this year is the use of argumentation for explainable AI. The book provided an overview of the latest work on computational models of argument, and will be of interest to all those working in the field.