1 |
| Nebel, Bernhard Nebel (ed.) |
| |
| | 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 | |
| | 1994 | Madden, Peter | Nebel, Bernhard
Dreschler-Fischer, Leonie | | Formal Methods for Automated Program Improvement
In: KI-94: Advances in Artificial Intelligence. Proceedings of the 18th German Annual Conference on Artificial Intelligence, 367-378 | Proceedings Article | |
| | 1994 | Weydert, Emil | Lakemeyer, Gerhard
Nebel, Bernhard | | Hyperrational Conditionals
In: Foundations of Knowledge Representation and Reasoning, 310-332 | Proceedings Article | |
4 |
| Nieuwenhuis, Robert (ed.) |
| |