0

Logic Programs, Norms and Action

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

Craven, Robert / Kesim Cicekli et al, Nihan
Erschienen am 01.05.2012, Auflage: 1. Auflage
CHF 68,90
(inkl. MwSt.)
UVP

Lieferbar in ca. 10-14 Arbeitstagen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783642294136
Sprache: Englisch

Beschreibung

InhaltsangabeMarek 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.

Weitere Artikel aus der Kategorie "Informatik & EDV"

Lieferbar innerhalb 36 Stunden

CHF 31,50
inkl. MwSt.
UVP

Lieferbar in ca. 10-14 Arbeitstagen

CHF 17,90
inkl. MwSt.
UVP

Lieferbar innerhalb 36 Stunden

CHF 46,00
inkl. MwSt.
UVP

Nicht mehr lieferbar

CHF 28,90
inkl. MwSt.
UVP

Lieferbar innerhalb 36 Stunden

CHF 28,90
inkl. MwSt.
UVP
Alle Artikel anzeigen