1 |
| D'Agostino, Marcello (ed.) |
| |
1 |
| De Giacomo, Giuseppe (ed.) |
| |
| | 2003 | de Nivelle, Hans
[de Rijke, Maarten] | | | Deciding the Guarded Fragments by Resolution
In: Journal of Symbolic Computation [35], 21-58 | Journal Article | |
| | 2001 | [Areces, Carlos]
[de Rijke, Maarten]
de Nivelle, Hans | | | Resolution in modal, description and hybrid logic
In: Journal of Logic and Computation [11], 717-736 | Journal Article | |
| | 1999 | de Nivelle, Hans
[Areces, Carlos]
[de Rijke, Maarten] | Ganzinger, Harald | | Prefixed Resolution: A Resolution Method for Modal and Description Logics
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 187-201 | Proceedings Article | |