Baral shows how to write programs that behave intelligently, by giving them the ability to express knowledge and to reason. This book will appeal to practising and would-be knowledge engineers wishing to learn more about the subject in courses or through self-teaching.

This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and colleagues. Several of these papers were presented during the Symposium on Constructive Mathematics in Computer Science, held in Lexington, KY, USA on October 25-26, 2010. The 27 scientific papers included in the book focus on answer set programming. The papers are organized in sections named “Foundations: ASP and Theories of LP, KR, and NMR”, “ASP and Dynamic Domains”, and “ASP – Applications and Tools”.

knowledgewrappedinrules,databases,ortheWeballowsonetoexploreintere- ing hidden knowledge.Declarativetechniques for the transformation,deduction, induction, visualization, or querying of knowledge, or data mining techniques for exploring knowledge have the advantage of high transparency and better maintainability compared to procedural approaches.

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.

This in-depth introduction for students and researchers shows how to use ASP for intelligent tasks, including answering queries, planning, and diagnostics.

This book constitutes the refereed proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages, PADL 2016, held in St. Petersburg, FL, USA, in January 2016. The 11 revised papers presented were carefully reviewed and selected from 17 initial submissions for inclusion in the book. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc.

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.

This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and the 25th Workshop on Logic Programming, WLP 2011, held in Vienna, Austria, in September 2011. The 19 papers presented in this volume were carefully reviewed and selected from 27 papers presented at the conference and initially a total of 35 submissions. The book also contains the papers of two invited talks. The papers are organized in topical sections on languages; answer-set programming and abductive reasoning; constraints and logic programming; answer-set programming and model expansion; application papers; and system descriptions.

Managing uncertainty and inconsistency has been extensively explored in - ti?cial Intelligence over a number of years. Now with the advent of massive amounts of data and knowledge from distributed heterogeneous,and potentially con?icting, sources, there is interest in developing and applying formalisms for uncertainty andinconsistency widelyin systems that need to better managethis data and knowledge. The annual International Conference on Scalable Uncertainty Management (SUM) has grown out of this wide-ranging interest in managing uncertainty and inconsistency in databases, the Web, the Semantic Web, and AI. It aims at bringing together all those interested in the management of large volumes of uncertainty and inconsistency, irrespective of whether they are in databases,the Web, the Semantic Web, or in AI, as well as in other areas such as information retrieval, risk analysis, and computer vision, where signi?cant computational - forts are needed. After a promising First International Conference on Scalable Uncertainty Management was held in Washington DC, USA in 2007, the c- ference series has been successfully held in Napoli, Italy, in 2008, and again in Washington DC, USA, in 2009.

This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies.