Dov M. Gabbay

Alessandra Russo

Odinaldo T. Rodrigues

An important aspect in the formalisation of common-sense reasoning is the construction of a model of what an agent believes the world to be like to help in her reasoning process. This model is often incomplete or inaccurate, but new information can be used to refine it. The study of techniques that achieve this in a rational way is the task of the discipline of belief revision, with which this book is concerned. There are three key elements to the book's approach. Firstly, the methodology of logic by translation. A specific instance of this is the idea of revision by translation. Revision for a foreign logic is done via its translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level. In this book, we bring the operation of deletion to the object level. Finally, through Labelled Deductive Systems, we use the context of the revision to finetune its operation and illustrate the idea through the presentation of various algorithms. The book is suitable for researchers and postgraduates in the areas of artificial intelligence, database theory, and logic.

Theoretical and Algorithmic Aspects

Revision, Acceptability and Context

James Cussens

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Conference on Inductive Logic Programming, ILP 2016, held in London, UK, in September 2016. The 10 full papers presented were carefully reviewed and selected from 29 submissions. The papers represent well the current breath of ILP research topics such as predicate invention; graph-based learning; spatial learning; logical foundations; statistical relational learning; probabilistic ILP; implementation and scalability; applications in robotics, cyber security and games.

26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

Inductive Logic Programming

Francesco Strazzari

Abel Polese

This volume explores the continuous line from informal and unrecorded practices all the way up to illegal and criminal practices, performed and reproduced by both individuals and organisations. The authors classify them as alternative, subversive forms of governance performed by marginal (and often invisible) peripheral actors. The volume studies how the informal and the extra-legal unfold transnationally and, in particular, how and why they have been/are being progressively criminalized and integrated into the construction of global and local dangerhoods; how the above-mentioned phenomena are embedded into a post-liberal security order; and whether they shape new states of exception and generate moral panic whose ultimate function is regulatory, disciplinary and one of crafting practices of political ordering.

The Immoral, The Illegal, The Criminal

Governance Beyond the Law

Andy Schürr

This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.

21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Alessandra Russo

About

Books

Join the club