What is included with this book?
Marek Sergot: A Memoir | p. 1 |
The Scientific Contribution of Marek Sergot | p. 4 |
Logic Programming | |
Teleo-Reactive Abductive Logic Programs | p. 12 |
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties | p. 33 |
What Is Negation as Failure? | p. 52 |
Temporal Reasoning and Action Languages | |
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic | p. 79 |
Argumentation and the Event Calculus | p. 103 |
Reactive Event Calculus for Monitoring Global Computing Applications | p. 123 |
Reasoning about the Intentions of Agents | p. 147 |
Symbolic Model Checking for Temporal-Epistemic Logic | p. 172 |
GOAL Agents Instantiate Intention Logic | p. 196 |
AI and Law | |
Open Texture and Argumentation: What Makes an Argument Persuasive? | p. 220 |
Irrationality in Persuasive Argumentation | p. 234 |
Some Reflections on Two Current Trends in Formal Argumentation | p. 249 |
Deontic Logic and Norm-Governed Systems | |
On the Representation of Normative Sentences in FOL | p. 273 |
Why Be Afraid of Identity? Comments on Sergot and Prakken's Views | p. 295 |
Deon+: Abduction and Constraints for Normative Reasoning | p. 308 |
Contrary-To-Duties in Games | p. 329 |
Logical Approaches to Policies and Authorization | |
Logical Approaches to Authorization Policies | p. 349 |
Decentralized Governance of Distributed Systems via Interaction Control | p. 374 |
Managing User-Generated Content as a Knowledge Commons | p. 401 |
Author Index | p. 425 |
Table of Contents provided by Ingram. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.