Search

Your search keyword '"Dyrkolbotn, Sjur"' showing total 40 results

Search Constraints

Start Over You searched for: Author "Dyrkolbotn, Sjur" Remove constraint Author: "Dyrkolbotn, Sjur"
40 results on '"Dyrkolbotn, Sjur"'

Search Results

2. Paraconsistency, resolution and relevance

3. On Preemption and Overdetermination in Formal Theories of Causality

5. On the legitimacy of economic development takings

6. Computing Consensus: A Logic for Reasoning About Deliberative Processes Based on Argumentation

8. Computing consensus: A logic for reasoning about deliberative processes based on argumentation

9. Big, but not unruly: Tractable norms for anonymous game structures

10. Concurrent Game Structures with Roles

11. No big deal: introducing roles to reduce the size of ATL models

12. A Typology of Liability Rules for Robot Harms

15. Location and marking of cadastral boundaries in the Nordic countries

16. On a Formal Connection between Truth, Argumentation and Belief

17. Agents Homogeneous: A Procedurally Anonymous Semantics Characterizing the Homogeneous Fragment of ATL

18. The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic

19. Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic

27. Order execution in power futures markets for hedging power producers

30. Computing Consensus: A Logic for Reasoning About Deliberative Processes Based on Argumentation

35. The legally mandated approximate language about AI.

Catalog

Books, media, physical & digital resources