| | 1997 | Basin, David A.
Matthews, Seán
Viganò, Luca | Brewka, Gerhard
Habel, Christopher
Nebel, Bernhard | | Labelled quantified modal logics
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 171-182 | Proceedings Article | |
| | 1997 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | Brewka, Gerhard
Habel, Christopher
Nebel, Bernhard | | Reasoning about exceptions
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 405-408 | Proceedings Article | |
1 |
| Hermenegildo, Manuel (ed.) |
| |