Trends in Belief Revision and Argumentation Dynamics

Author: Eduardo L. Ferme,Dov M. Gabbay,Guillermo R. Simari

Publisher: N.A

ISBN: 9781848900653

Category: Mathematics

Page: 316

View: 5057

Release On

Trends in Belief Revision and Argumentation Dynamics contains a collection of original essays on diverse aspects where these two areas of research converge. The essays are the result of the synergistic interactions that took place during the 2012 Workshop on Belief Revision and Argumentation in Funchal, Madeira. The Island of Madeira provided a stimulating environment for the presentation of research results and the subsequent lively discussions held. The dynamic exchange of ideas contributed to refining the approaches and to discovering new insights that undoubtedly will positively affect the field by advancing the individual research lines. The authors of the chapters in this book have made an effort to reflect these discussions, successfully addressing many of the important points raised during the workshop. The present book encompasses work that comes from the two areas of research, which are different but that are concerned with the epistemic state of an agent. As such, these essays reflect dissimilar perspectives that have contributed to advance the understanding of such a puzzling and thrilling problem. At the same time, with this collection we hope to reach a wider audience by disseminating and stimulating research on this topic, as we strongly believe that the interaction between the two areas will lead to a better understanding of each of them.

Scalable Uncertainty Management

11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

Author: Serafín Moral,Olivier Pivert,Daniel Sánchez,Nicolás Marín

Publisher: Springer

ISBN: 3319675826

Category: Computers

Page: 438

View: 690

Release On

This book constitutes the refereed proceedings of the 11th International Conference on Scalable Uncertainty Management, SUM 2017, which was held in Granada, Spain, in October 2017. The 24 full and 6 short papers presented in this volume were carefully reviewed and selected from 35 submissions. The book also contains 3 invited papers. Managing uncertainty and inconsistency has been extensively explored in Artificial Intelligence over a number of years. Now, with the advent of massive amounts of data and knowledge from distributed, heterogeneous, and potentially conflicting sources, there is interest in developing and applying formalisms for uncertainty and inconsistency in systems that need to better manage this data and knowledge. The International Conference on Scalable Uncertainty (SUM) aims to provide a forum for researchers who are working on uncertainty management, in different communities and with different uncertainty models, to meet and exchange ideas.

Scalable Uncertainty Management

9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings

Author: Christoph Beierle,Alex Dekhtyar

Publisher: Springer

ISBN: 3319235400

Category: Computers

Page: 421

View: 3896

Release On

This book constitutes the refereed proceedings of the 9th International Conference on Scalable Uncertainty Management, SUM 2015, held in Québec City, QC, Canada, in September 2015. The 25 regular papers and 3 short papers were carefully reviewed and selected from 49 submissions. The call for papers for SUM 2015 solicited submissions in all areas of managing and reasoning with substantial and complex kinds of uncertain, incomplete or inconsistent information. These include applications in decision support systems, risk analysis, machine learning, belief networks, logics of uncertainty, belief revision and update, argumentation, negotiation technologies, semantic web applications, search engines, ontology systems, information fusion, information retrieval, natural language processing, information extraction, image recognition, vision systems, data and text mining, and the consideration of issues such as provenance, trust, heterogeneity, and complexity of data and knowledge.

Logics in Artificial Intelligence

15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

Author: Loizos Michael,Antonis Kakas

Publisher: Springer

ISBN: 3319487582

Category: Computers

Page: 586

View: 4222

Release On

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.

Foundations of Information and Knowledge Systems

10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings

Author: Flavio Ferrarotti,Stefan Woltran

Publisher: Springer

ISBN: 3319900501

Category: Mathematics

Page: 401

View: 5049

Release On

This book constitutes the refereed proceedings of the 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018, held in Budapest, Hungary, in May 2018.The 20 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web.​

Argumentation in Multi-Agent Systems

First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

Author: Iyad Rahwan,Pavlos Moraitis,Chris Reed

Publisher: Springer Science & Business Media

ISBN: 9783540245261

Category: Language Arts & Disciplines

Page: 263

View: 5878

Release On


ECAI 2014

21st European Conference on Artificial Intelligence

Author: T. Schaub,G. Friedrich,B. O'Sullivan

Publisher: IOS Press

ISBN: 1614994196

Category: Computers

Page: 1264

View: 4331

Release On

The role of artificial intelligence (AI) applications in fields as diverse as medicine, economics, linguistics, logical analysis and industry continues to grow in scope and importance. AI has become integral to the effective functioning of much of the technical infrastructure we all now take for granted as part of our daily lives. This book presents the papers from the 21st biennial European Conference on Artificial Intelligence, ECAI 2014, held in Prague, Czech Republic, in August 2014. The ECAI conference remains Europe's principal opportunity for researchers and practitioners of Artificial Intelligence to gather and to discuss the latest trends and challenges in all subfields of AI, as well as to demonstrate innovative applications and uses of advanced AI technology. Included here are the 158 long papers and 94 short papers selected for presentation at the conference. Many of the papers cover the fields of knowledge representation, reasoning and logic as well as agent-based and multi-agent systems, machine learning, and data mining. The proceedings of PAIS 2014 and the PAIS System Demonstrations are also included in this volume, which will be of interest to all those wishing to keep abreast of the latest developments in the field of AI.

Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving

10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001. Proceedings

Author: Pavel Brazdil,Alípio Jorge

Publisher: Springer Science & Business Media

ISBN: 354043030X

Category: Computers

Page: 418

View: 2267

Release On

This book constitutes the refereed proceedings of the 10th Portuguese Conference on Artificial Intelligence, EPTA 2001, held in Porto, Portugal, in December 2001. The 21 revised long papers and 18 revised short papers were carefully reviewed and selected from a total of 88 submissions. The papers are organized in topical sections on extraction of knowledge from databases, AI techniques for financial time series analysis, multi-agent systems, AI logics and logic programming, constraint satisfaction, and AI planning.


New Frontiers in Artificial Intelligence

JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers

Author: Mihoko Otake,Setsuya Kurahashi,Yuiko Ota,Ken Satoh,Daisuke Bekki

Publisher: Springer

ISBN: 3319509535

Category: Computers

Page: 548

View: 1261

Release On

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2015 Workshops LENLS 12, JURISIN 9, AAA 2015, HAT-MASH 2015, TSDAA 2015, ASD-HR 2015, and SKL 2015, held in Kanagawa, Japan, in November 2015. The 39 regular papers presented in this volume were carefully reviewed and selected from 114 submissions. LENLS 12 (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and focused on discourse particles; disjunction; truth; copredication; expressive content; categorial grammar; dependent type semantics; sequent calculus; and various aspects of formal pragmatics. JURISIN 9 (Juris-Informatics) is the 9th event in the series. The purpose of this workshop is to discuss fundamental and practical issues such as law, social science, information and intelligent technology, logic and philosophy, including the conventional “AI and law” area. AAA 2015 (Argument for Agreement and Assurance) has the goal of deepening a mutual understanding and exploring a new research field involving researchers/practitioners in formal and informal logic, artificial intelligence, and safety engineering working on agreement and assurance through argument. HAT-MASH 2015 (Healthy Aging Tech Mashup Service, Data and People) provides a forum to discuss important research questions and practical challenges in healthy aging and elderly care support to promote transdisciplinary approaches. TSDAA 2015 (Workshop on Time Series Data Analysis and its Applications) aimes at providing an interdisciplinary forum for discussion of different approaches and techniques of time series data analysis and their implementation in various real life applications. ASD-HR 2015 (Autism Spectrum Disorders Using a Humanoid Robot) presents the studies in the interdisciplinary field of research including both engineering and medical sides. SKL 2015 (Skill Science) discusses the theoretical foundations of skill science as well as practical and engineering issues.

Evolving Knowledge Bases

Specification and Semantics

Author: João Alexandre Leite

Publisher: N.A

ISBN: N.A

Category: Electronic books

Page: 307

View: 8954

Release On

An Evolving Knowledge Base (EKB) is capable of self evolution by means of its internally specified behaviour. In this thesis the author incrementally specifies, semantically characterizes and illustrates with examples, the concepts and tools necessary to the development of EKBs.

Das egoistische Gen

Mit einem Vorwort von Wolfgang Wickler

Author: Richard Dawkins

Publisher: Springer-Verlag

ISBN: 3642553915

Category: Science

Page: 489

View: 5855

Release On

p”Ein auch heute noch bedeutsamer Klassiker“ Daily Express Sind wir Marionetten unserer Gene? Nach Richard Dawkins ́ vor über 30 Jahren entworfener und heute noch immer provozierender These steuern und dirigieren unsere von Generation zu Generation weitergegebenen Gene uns, um sich selbst zu erhalten. Alle biologischen Organismen dienen somit vor allem dem Überleben und der Unsterblichkeit der Erbanlagen und sind letztlich nur die "Einweg-Behälter" der "egoistischen" Gene. Sind wir Menschen also unserem Gen-Schicksal hilflos ausgeliefert? Dawkins bestreitet dies und macht uns Hoffnung: Seiner Meinung nach sind wir nämlich die einzige Spezies mit der Chance, gegen ihr genetisches Schicksal anzukämpfen.

PRICAI 2008: Trends in Artificial Intelligence

10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008, Proceedings

Author: Tu-Bao Ho,Zhi-Hua Zhou

Publisher: Springer Science & Business Media

ISBN: 354089196X

Category: Computers

Page: 1130

View: 7750

Release On

This book constitutes the refereed proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2008, held in Hanoi, Vietnam, in December 2008. The 49 revised long papers, 33 revised regular papers, and 32 poster papers presented together with 1 keynote talk and 3 invited lectures were carefully reviewed and selected from 234 submissions. The papers address all current issues of modern AI research with topics such as AI foundations, knowledge representation, knowledge acquisition and ontologies, evolutionary computation, etc. as well as various exciting and innovative applications of AI to many different areas. Particular importance is attached to the areas of machine learning and data mining, intelligent agents, language and speech processing, information retrieval and extraction.

Eine kurze Geschichte der Menschheit

Author: Yuval Noah Harari

Publisher: DVA

ISBN: 364110498X

Category: History

Page: 528

View: 6735

Release On

Krone der Schöpfung? Vor 100 000 Jahren war der Homo sapiens noch ein unbedeutendes Tier, das unauffällig in einem abgelegenen Winkel des afrikanischen Kontinents lebte. Unsere Vorfahren teilten sich den Planeten mit mindestens fünf weiteren menschlichen Spezies, und die Rolle, die sie im Ökosystem spielten, war nicht größer als die von Gorillas, Libellen oder Quallen. Vor 70 000 Jahren dann vollzog sich ein mysteriöser und rascher Wandel mit dem Homo sapiens, und es war vor allem die Beschaffenheit seines Gehirns, die ihn zum Herren des Planeten und zum Schrecken des Ökosystems werden ließ. Bis heute hat sich diese Vorherrschaft stetig zugespitzt: Der Mensch hat die Fähigkeit zu schöpferischem und zu zerstörerischem Handeln wie kein anderes Lebewesen. Anschaulich, unterhaltsam und stellenweise hochkomisch zeichnet Yuval Harari die Geschichte des Menschen nach und zeigt alle großen, aber auch alle ambivalenten Momente unserer Menschwerdung.

Das Kapital im 21. Jahrhundert

Author: Thomas Piketty

Publisher: C.H.Beck

ISBN: 3406671322

Category: Business & Economics

Page: 816

View: 9081

Release On

Wie entstehen die Akkumulation und die Distribution von Kapital? Welche Dynamiken sind dafür maßgeblich? Fragen der langfristigen Evolution von Ungleichheit, der Konzentration von Wohlstand in wenigen Händen und nach den Chancen für ökonomisches Wachstum bilden den Kern der Politischen Ökonomie. Aber befriedigende Antworten darauf gab es bislang kaum, weil aussagekräftige Daten und eine überzeugende Theorie fehlten. In Das Kapital im 21. Jahrhundert analysiert Thomas Piketty ein beeindruckendes Datenmaterial aus 20 Ländern, zurückgehend bis ins 18. Jahrhundert, um auf dieser Basis die entscheidenden ökonomischen und sozialen Abläufe freizulegen. Seine Ergebnisse stellen die Debatte auf eine neue Grundlage und definieren zugleich die Agenda für das künftige Nachdenken über Wohlstand und Ungleichheit. Piketty zeigt uns, dass das ökonomische Wachstum in der Moderne und die Verbreitung des Wissens es uns ermöglicht haben, den Ungleichheiten in jenem apokalyptischen Ausmaß zu entgehen, das Karl Marx prophezeit hatte. Aber wir haben die Strukturen von Kapital und Ungleichheit andererseits nicht so tiefgreifend modifiziert, wie es in den prosperierenden Jahrzehnten nach dem Zweiten Weltkrieg den Anschein hatte. Der wichtigste Treiber der Ungleichheit – nämlich die Tendenz von Kapitalgewinnen, die Wachstumsrate zu übertreffen – droht heute extreme Ungleichheiten hervorzubringen, die am Ende auch den sozialen Frieden gefährden und unsere demokratischen Werte in Frage stellen. Doch ökonomische Trends sind keine Gottesurteile. Politisches Handeln hat gefährliche Ungleichheiten in der Vergangenheit korrigiert, so Piketty, und kann das auch wieder tun.



Die Grundlagen der Arithmetik

eine logisch-mathematische untersuchung über den begriff der zahl

Author: Gottlob Frege

Publisher: Georg Olms Verlag

ISBN: 9783487400280

Category:

Page: 119

View: 7266

Release On