#### Filter Results:

- Full text PDF available (6)

#### Publication Year

2001

2015

- This year (0)
- Last 5 years (8)
- Last 10 years (9)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- G. Lechner, T. Pedersen, G. Kramer
- 2007 IEEE International Symposium on Information…
- 2007

Binary message-passing decoders for LDPC codes are analyzed using EXIT charts. For the analysis, the variable node decoder performs all computations in the L-value domain. For the special case of a hard decision channel, this leads to the well-know Gallager B algorithm, while the analysis can be extended to channels with larger output alphabets. By… (More)

- Truls Pedersen, Sjur Dyrkolbotn
- ArXiv
- 2014

We consider multi-agent argumentation, where each agent’s view of the arguments is encoded as an argumentation framework (AF). Then we study deliberative processes than can occur on this basis. We think of a deliberative process as taking the shape of a stepwise aggregation of a single joint AF, and we are interested in reasoning about the space of possible… (More)

- Piotr Kazmierczak, Truls Pedersen, Thomas Ågotnes
- STAIRS
- 2012

We describe NORMC, a model checker for Norm Compliance CTL, a temporal logic for reasoning about compliance in normative systems, implemented in the Haskell programming language. NORMC is intended as a tool for students, researchers, and practitioners to learn about and understand normative systems, and as an exploratory tool for researchers in multi-agent… (More)

In the following paper we present a new semantics for the well-known strategic logic ATL. It is based on adding roles to concurrent game structures, that is at every state, each agent belongs to exactly one role, and the role specifies what actions are available to him at that state. We show advantages of the new semantics, provide motivating examples based… (More)

- Truls Pedersen, Sjur Dyrkolbotn
- PRIMA
- 2013

- Sjur Dyrkolbotn, Piotr Kazmierczak, Erik Parmann, Truls Pedersen
- ArXiv
- 2012

In the following paper we present a new semantics for the well-known strategic logic atl. It is based on adding roles to concurrent game structures, that is at every state, each agent belongs to exactly one role, and the role specifies what actions are available to him at that state. We show advantages of the new semantics, analyze model checking complexity… (More)

- Truls Pedersen, Sjur Dyrkolbotn, Piotr Kazmierczak
- ArXiv
- 2014

We present a new strategic logic nchatl that allows for reasoning about norm compliance on concurrent game structures that satisfy anonymity. We represent such game structures compactly, avoiding models that have exponential size in the number of agents. Then we show that model checking can be done in polynomial time with respect to this compact… (More)

- K Alverson, R Bradley, +6 authors S Tudhope
- Science
- 2001

- Truls Pedersen, Sjur Dyrkolbotn, Thomas Ågotnes
- Information Systems Frontiers
- 2015

- ‹
- 1
- ›