1

Model checking for coalition announcement logic

E-Article
2
3

Belief ascription under bounded resources

by: Alechina, Natasha
In: Synthese (2010)
E-Article
4

A Logic of Situated Resource-Bounded Agents

E-Article
5

Verifying time, memory and communication bounds in systems of reasoning agents

by: Alechina, Natasha
In: Synthese (2009)
E-Article
6

Preference-based belief revision for rule-based agents

by: Alechina, Natasha
In: Synthese (2008)
E-Article
7

Editorial

E-Article
8

State Space Search with Prioritised Soft Constraints

E-Article
9

Functional Dependencies between Variables

E-Article
10

Functional Dependencies between Variables

E-Article
11

Review: Quantifiers: Logic, Models and Computation

E-Article
12

Book Review

E-Article
13
14
15
16

Coalition and Group Announcement Logic

E-Article
17

Coalition logic with individual, distributed and common knowledge

E-Article
18

Formal Models of Awareness

E-Article
19

A Logic for Reasoning About Knowledge of Unawareness

E-Article
20

Belief ascription under bounded resources

E-Article