E-Books durchsuchen

Logic Programs, Norms and Action [2012]

1
Marek Sergot: A Memoir
4
The Scientific Contribution of Marek Sergot
12
Teleo-Reactive Abductive Logic Programs
33
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties
52
What Is Negation as Failure?
79
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic
103
Argumentation and the Event Calculus
123
Reactive Event Calculus for Monitoring Global Computing Applications
147
Reasoning about the Intentions of Agents
172
Symbolic Model Checking for Temporal-Epistemic Logic
196
GOAL Agents Instantiate Intention Logic
220
Open Texture and Argumentation: What Makes an Argument Persuasive?
234
Irrationality in Persuasive Argumentation
249
Some Reflections on Two Current Trends in Formal Argumentation
273
On the Representation of Normative Sentences in FOL
295
Why Be Afraid of Identity?
308
<Emphasis Type="Italic">Deon</Emphasis> <Superscript> + </Superscript>: Abduction and Constraints for Normative Reasoning
349
Logical Approaches to Authorization Policies
374
Decentralized Governance of Distributed Systems via Interaction Control
Feedback