A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications


Book Description

This book reports on the development and validation of a generic defeasible logic programming framework for carrying out argumentative reasoning in Semantic Web applications (GF@SWA). The proposed methodology is unique in providing a solution for representing incomplete and/or contradictory information coming from different sources, and reasoning with it. GF@SWA is able to represent this type of information, perform argumentation-driven hybrid reasoning to resolve conflicts, and generate graphical representations of the integrated information, thus assisting decision makers in decision making processes. GF@SWA represents the first argumentative reasoning engine for carrying out automated reasoning in the Semantic Web context and is expected to have a significant impact on future business applications. The book provides the readers with a detailed and clear exposition of different argumentation-based reasoning techniques, and of their importance and use in Semantic Web applications. It addresses both academics and professionals, and will be of primary interest to researchers, students and practitioners in the area of Web-based intelligent decision support systems and their application in various domains.




Artificial Intelligence in Theory and Practice IV


Book Description

This book constitutes the refereed proceedings of the 4th IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2015, Held as Part of WCC 2015, in Daejeon, South Korea, in October 2015. The 13 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on artificial intelligence techniques in biomedicine, artificial intelligence for knowledge management, computational intelligence and algorithms, and intelligent decision support systems.




Reasoning Web - Semantic Technologies for Advanced Query Answering


Book Description

This volume contains the lecture notes of the 8th Reasoning Web Summer School 2012, held in Vienna, Austria, in September 2012, in the form of worked out tutorial papers on the various topics that have been covered in that school. The 2012 summer school program had been put together under the general leitmotif of advanced query answering topics for the Web. The idea was to address on the one hand foundations and computational aspects of query answering, in formalisms, methods and technology, and on the other hand to also spotlight some rising or emerging application fields relating to the Semantic Web in which query answering plays a role, and which by their nature also pose new challenges and problems for this task; linked stream processing, geospatial data, semantic wikis, and argumentation on the web fall in this category.




Web Technologies: Concepts, Methodologies, Tools, and Applications


Book Description

With the technological advancement of mobile devices, social networking, and electronic services, Web technologies continues to play an ever-growing part of the global way of life, incorporated into cultural, economical, and organizational levels. Web Technologies: Concepts, Methodologies, Tools, and Applications (4 Volume) provides a comprehensive depiction of current and future trends in support of the evolution of Web information systems, Web applications, and the Internet. Through coverage of the latest models, concepts, and architectures, this multiple-volume reference supplies audiences with an authoritative source of information and direction for the further development of the Internet and Web-based phenomena.




Computational Models of Argument


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.




Database and Expert Systems Applications


Book Description

This two volume set LNCS 7446 and LNCS 7447 constitutes the refereed proceedings of the 23rd International Conference on Database and Expert Systems Applications, DEXA 2012, held in Vienna, Austria, September 3-6, 2012. The 49 revised full papers presented together with 37 short papers and 2 keynote talks were carefully reviewed and selected from 179 submissions. These papers discuss a range of topics including: database query processing, in particular XML queries; labelling of XML documents; computational efficiency, data extraction; personalization, preferences, and ranking; security and privacy; database schema evaluation and evolution; semantic Web; privacy and provenance; data mining; data streaming; distributed systems; searching and query answering; structuring, compression and optimization; failure, fault analysis, and uncertainty; predication, extraction, and annotation; ranking and personalisation; database partitioning and performance measurement; recommendation and prediction systems; business processes; social networking.




Argumentation in Artificial Intelligence


Book Description

Argumentation is all around us. Letters to the Editor often make points of cons- tency, and “Why” is one of the most frequent questions in language, asking for r- sons behind behaviour. And argumentation is more than ‘reasoning’ in the recesses of single minds, since it crucially involves interaction. It cements the coordinated social behaviour that has allowed us, in small bands of not particularly physically impressive primates, to dominate the planet, from the mammoth hunt all the way up to organized science. This volume puts argumentation on the map in the eld of Arti cial Intelligence. This theme has been coming for a while, and some famous pioneers are chapter authors, but we can now see a broader systematic area emerging in the sum of topics and results. As a logician, I nd this intriguing, since I see AI as ‘logic continued by other means’, reminding us of broader views of what my discipline is about. Logic arose originally out of re ection on many-agent practices of disputation, in Greek Ant- uity, but also in India and China. And logicians like me would like to return to this broader agenda of rational agency and intelligent interaction. Of course, Aristotle also gave us a formal systems methodology that deeply in uenced the eld, and eventually connected up happily with mathematical proof and foundations.







Research and Development in Intelligent Systems XXX


Book Description

The papers in this volume are the refereed papers presented at AI-2013, the Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2013 in both the technical and the application streams. They present new and innovative developments and applications, divided into technical stream sections on Knowledge Discovery and Data Mining I, Knowledge Discovery and Data Mining II, Intelligent Agents, Representation and Reasoning, and Machine Learning and Constraint Programming, followed by application stream sections on Medical Applications, Applications in Education and Information Science, and AI Applications. The volume also includes the text of short papers presented as posters at the conference. This is the thirtieth volume in the Research and Development in Intelligent Systems series, which also incorporates the twenty-first volume in the Applications and Innovations in Intelligent Systems series. These series are essential reading for those who wish to keep up to date with developments in this important field.




Applications of Declarative Programming and Knowledge Management


Book Description

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009, held in Évora, Portugal, in November 2009. The 12 revised full papers presented together with 2 invited talks were carefully reviewed and selected during two rounds of reviewing and improvement. The conference comprehensively covers the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. The topics of the selected papers concentrate on three currently important fields: foundations and extensions of logic programming, databases and query languages, declarative programming with logic languages, and applications thereof.