TY  - BOOK
AU  - Artikis,Alexander
AU  - Craven,Robert
AU  - Kesim Çiçekli,Nihan
AU  - Sadighi,Babak
AU  - Stathis,Kostas
TI  - Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday 
SN  - 9783642294143
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer communication systems
KW  - Software engineering
KW  - Computer logic
KW  - Mathematical logic
KW  - Artificial intelligence
N1  - Marek Sergot: A Memoir.- The Scientific Contribution of Marek Sergot -- Teleo-Reactive Abductive Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties.- What Is Negation as Failure? -- The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic.- Argumentation and the Event Calculus -- Reactive Event Calculus for Monitoring Global Computing Applications -- Reasoning about the Intentions of Agents -- Symbolic Model Checking for Temporal-Epistemic Logic -- GOAL Agents Instantiate Intention Logic -- Open Texture and Argumentation: What Makes an Argument Persuasive? -- Irrationality in Persuasive Argumentation -- Some Reflections on Two Current Trends in Formal Argumentation -- On the Representation of Normative Sentences in FOL -- Why Be Afraid of Identity? Comments on Sergot and Prakken's Views -- Deon+: Abduction and Constraints for Normative Reasoning -- Contrary-To-Duties in Games -- Logical Approaches to Authorization Policies -- Decentralized Governance of Distributed Systems via Interaction Control -- Managing User-Generated Content as a Knowledge Commons. The Scientific Contribution of Marek Sergot -- Teleo-Reactive Abductive Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties.- What Is Negation as Failure? -- The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic.- Argumentation and the Event Calculus -- Reactive Event Calculus for Monitoring Global Computing Applications -- Reasoning about the Intentions of Agents -- Symbolic Model Checking for Temporal-Epistemic Logic -- GOAL Agents Instantiate Intention Logic -- Open Texture and Argumentation: What Makes an Argument Persuasive? -- Irrationality in Persuasive Argumentation -- Some Reflections on Two Current Trends in Formal Argumentation -- On the Representation of Normative Sentences in FOL -- Why Be Afraid of Identity? Comments on Sergot and Prakken's Views -- Deon+: Abduction and Constraints for Normative Reasoning -- Contrary-To-Duties in Games -- Logical Approaches to Authorization Policies -- Decentralized Governance of Distributed Systems via Interaction Control -- Managing User-Generated Content as a Knowledge Commons
UR  - http://dx.doi.org/10.1007/978-3-642-29414-3
ER  -