60. Birthday: Marek J. Sergot 2012

Marek Sergot: A Memoir

• Trevor J. M. Bench-Capon:
  Marek Sergot: A Memoir. 1-3
  
• Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller, Stephen Muggleton, Giovanni Sartor:
  The Scientific Contribution of Marek Sergot. 4-11
  

Part I: Logic Programming

• Robert A. Kowalski, Fariba Sadri:
  Teleo-Reactive Abductive Logic Programs. 12-32
  
• Paolo Mancarella, Francesca Toni:
  Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties. 33-51
  
• Dov M. Gabbay:
  What Is Negation as Failure? 52-78
  

Part II: Temporal Reasoning and Action Languages

• Dario Della Monica, Angelo Montanari, Pietro Sala:
  The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. 79-102
  
• Evgenios Hadjisoteriou, Antonis C. Kakas:
  Argumentation and the Event Calculus. 103-122
  
• Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
  Reactive Event Calculus for Monitoring Global Computing Applications. 123-146
  
• Justin Blount, Michael Gelfond:
  Reasoning about the Intentions of Agents. 147-171
  
• Alessio Lomuscio, Wojciech Penczek:
  Symbolic Model Checking for Temporal-Epistemic Logic. 172-195
  
• Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer:
  GOAL Agents Instantiate Intention Logic. 196-219
  

Part III: AI and Law

• Trevor J. M. Bench-Capon:
  Open Texture and Argumentation: What Makes an Argument Persuasive? 220-233
  
• Paul E. Dunne:
  Irrationality in Persuasive Argumentation. 234-248
  
• Henry Prakken:
  Some Reflections on Two Current Trends in Formal Argumentation. 249-272
  

Part IV: Deontic Logic and Norm-Governed Systems

• Andrew J. I. Jones, Steven O. Kimbrough:
  On the Representation of Normative Sentences in FOL. 273-294
  
• Xavier Parent:
  Why Be Afraid of Identity? - Comments on Sergot and Prakken's Views. 295-307
  
• Marco Alberti, Marco Gavanelli, Evelina Lamma:
  Deon + : Abduction and Constraints for Normative Reasoning. 308-328
  
• Paolo Turrini, Xavier Parent, Leendert van der Torre, Silvano Colombo Tosatto:
  Contrary-To-Duties in Games. 329-348
  

Part V: Logical Approaches to Policies and Authorization

• Steve Barker:
  Logical Approaches to Authorization Policies. 349-373
  
• Naftaly H. Minsky:
  Decentralized Governance of Distributed Systems via Interaction Control. 374-400
  
• Jeremy Pitt:
  Managing User-Generated Content as a Knowledge Commons. 401-424
  

Last update Fri May 24 00:24:17 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page