A Defeasible Logic Programming Based Framework To Support Argumentation In Semantic Web Applications

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.

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.

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.

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.

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 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.

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.

"This book provides a comprehensive collection of state-of-the-art advancements in rule languages"--Provided by publisher.