Skip to main content
SpringerLink
Log in

Logic Programs, Norms and Action

Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

  • Book
  • © 2012

Overview

Editors:
  1. Alexander Artikis

    1. Software and Knowledge Engineering Laboratory, Institute of Informatics and Telecommunications, National Centre for Scientific Research ’Demokritos’, Athens, Greece

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Robert Craven

    1. Department of Computing, Imperial College London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Nihan Kesim Çiçekli

    1. Department of Computer Engineering, Middle East Technical University, Çankaya, Turkey

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Babak Sadighi

    1. Axiomatics AB, Stockholm, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Kostas Stathis

    1. Royal Holloway, University of London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Commemorative publication
  • Focusing on the research interests of Marek J. Sergot
  • Written by experts

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7360)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 chapters)

  1. Front Matter

    Download chapter PDF

  2. Marek Sergot: A Memoir

    1. Marek Sergot: A Memoir

      • Trevor Bench-Capon
      Pages 1-3

    2. The Scientific Contribution of Marek Sergot

      • Steve Barker, Andrew J. I. Jones, Antonis Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller et al.
      Pages 4-11

  3. Part I: Logic Programming

    1. Teleo-Reactive Abductive Logic Programs

      • Robert A. Kowalski, Fariba Sadri
      Pages 12-32

    2. Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties

      • Paolo Mancarella, Francesca Toni
      Pages 33-51

    3. What Is Negation as Failure?

      • Dov M. Gabbay
      Pages 52-78

  4. Part II: Temporal Reasoning and Action Languages

    1. The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic

      • Dario Della Monica, Angelo Montanari, Pietro Sala
      Pages 79-102

    2. Argumentation and the Event Calculus

      • Evgenios Hadjisoteriou, Antonis Kakas
      Pages 103-122

    3. Reactive Event Calculus for Monitoring Global Computing Applications

      • Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
      Pages 123-146

    4. Reasoning about the Intentions of Agents

      • Justin Blount, Michael Gelfond
      Pages 147-171

    5. Symbolic Model Checking for Temporal-Epistemic Logic

      • Alessio Lomuscio, Wojciech Penczek
      Pages 172-195

    6. GOAL Agents Instantiate Intention Logic

      • Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
      Pages 196-219

  5. Part III: AI and Law

    1. Open Texture and Argumentation: What Makes an Argument Persuasive?

      • Trevor Bench-Capon
      Pages 220-233

    2. Irrationality in Persuasive Argumentation

      • Paul E. Dunne
      Pages 234-248

    3. Some Reflections on Two Current Trends in Formal Argumentation

      • Henry Prakken
      Pages 249-272

  6. Part IV: Deontic Logic and Norm-Governed Systems

    1. On the Representation of Normative Sentences in FOL

      • Andrew J. I. Jones, Steven O. Kimbrough
      Pages 273-294

    2. Why Be Afraid of Identity?

      • Xavier Parent
      Pages 295-307

    3. Deon  + : Abduction and Constraints for Normative Reasoning

      • Marco Alberti, Marco Gavanelli, Evelina Lamma
      Pages 308-328

    4. Contrary-To-Duties in Games

      • Paolo Turrini, Xavier Parent, Leendert van der Torre, Silvano Colombo Tosatto
      Pages 329-348

  7. Part V: Logical Approaches to Policies and Authorization

    1. Logical Approaches to Authorization Policies

      • Steve Barker
      Pages 349-373
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Software and Knowledge Engineering Laboratory, Institute of Informatics and Telecommunications, National Centre for Scientific Research ’Demokritos’, Athens, Greece

    Alexander Artikis

  • Department of Computing, Imperial College London, London, UK

    Robert Craven

  • Department of Computer Engineering, Middle East Technical University, Çankaya, Turkey

    Nihan Kesim Çiçekli

  • Axiomatics AB, Stockholm, Sweden

    Babak Sadighi

  • Royal Holloway, University of London, UK

    Kostas Stathis

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation