Search Results

Logic Programs, Norms and Action

Download or Read eBook Logic Programs, Norms and Action PDF written by Alexander Artikis and published by Springer. This book was released on 2012-04-25 with total page 444 pages. Available in PDF, EPUB and Kindle.
Logic Programs, Norms and Action
Author :
Publisher : Springer
Total Pages : 444
Release :
ISBN-10 : 9783642294143
ISBN-13 : 3642294146
Rating : 4/5 (43 Downloads)

Book Synopsis Logic Programs, Norms and Action by : Alexander Artikis

Book excerpt: This book is dedicated to Marek Sergot, Professor in Computational Logic at Imperial College London, on the occasion of his 60th birthday. Professor Sergot’s scientific contributions range over many different fields. He has developed a series of novel ideas and formal methods bridging areas including artificial intelligence, computational logic, philosophical logic, legal theory, artificial intelligence and law, multi-agent systems and bioinformatics. By combining his background in logic and computing with his interest in the law, deontic logic, action, and related areas, and applying to all his capacity to understand the subtleties of social interaction and normative reasoning, Professor Sergot has opened up new directions of research, and has been a reference, an inspiration, and a model for many researchers in the fields to which he has contributed. The Festschrift includes several reminiscences and introductory essays describing Professor Sergot's achievements, followed by a series of articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems, and logical approaches to policies.


Logic Programs, Norms and Action Related Books

Logic Programs, Norms and Action
Language: en
Pages: 444
Authors: Alexander Artikis
Categories: Computers
Type: BOOK - Published: 2012-04-25 - Publisher: Springer

DOWNLOAD EBOOK

This book is dedicated to Marek Sergot, Professor in Computational Logic at Imperial College London, on the occasion of his 60th birthday. Professor Sergot’s
Hyperintensionality and Normativity
Language: en
Pages: 247
Authors: Federico L. G. Faroldi
Categories: Philosophy
Type: BOOK - Published: 2019-03-28 - Publisher: Springer

DOWNLOAD EBOOK

Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current an
Twelfth Scandinavian Conference on Artificial Intelligence
Language: en
Pages: 324
Authors: M. Jaeger
Categories: Computers
Type: BOOK - Published: 2013-11-14 - Publisher: IOS Press

DOWNLOAD EBOOK

Artificial intelligence has become so much a part of everyday life that it is now hard to imagine a world without it. This book presents papers from the 12th Sc
A Protocol-theoretic Framework for the Logic of Epistemic Norms
Language: en
Pages: 540
Authors: Ralph Jenkins
Categories: Philosophy
Type: BOOK - Published: 2022-09-26 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for representing and
Deontic Logic in Computer Science
Language: en
Pages: 225
Authors: Thomas Agotnes
Categories: Mathematics
Type: BOOK - Published: 2012-07-11 - Publisher: Springer

DOWNLOAD EBOOK

This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in J
Scroll to top