Lena Kurzen
Biographic Data
| ID | 5995725 |
|---|---|
| NAME | Lena Kurzen |
| GIVEN NAMES | Lena |
| FAMILY NAME | Kurzen |
| SIGNATURE | KURZEN L |
| AFFILIATIONS | University of Amsterdam |
| VERIFIED | No |
| TOTAL WORKS | 2 |
| TOTAL CITATIONS | 1 |
| WORKS AS AUTHOR | 2 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 2009 |
| LATEST PUBLICATION YEAR | 2014 |
| H-INDEX | 1 |
Exploring the tractability border in epistemic tasks
Reasoning about cooperation, actions and preferences
In this paper, a logic for reasoning about coalitional power is developed which explicitly represents agents’ preferences and the actions by which the agents can achieve certain results. A complete axiomatization is given and its satisfiability problem is shown to be decidable and EXPTIME-hard
Reasoning about cooperation, actions and preferences
In this paper, a logic for reasoning about coalitional power is developed which explicitly represents agents’ preferences and the actions by which the agents can achieve certain results. A complete axiomatization is given and its satisfiability problem is shown to be decidable and EXPTIME-hard
Exploring the tractability border in epistemic tasks
Advanced Algebra and Logic (2 works) · Computer Science (2 works) · Epistemology (2 works) · Logic, Reasoning, and Knowledge (2 works) · Metaphysics (2 works) · Philosophy (2 works) · Philosophy of language (2 works) · Philosophy of science (2 works) · Algorithm (1 work) · Boolean satisfiability problem (1 work)