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