# | | Year | Author(s) [non member] | | Title | Type | |
1 |
| D'Agostino, Marcello (ed.) |
| |
1 |
| |
1 |
| Dahn, Ingo (ed.) |
| |
3 |
| |
2 |
| Damm, Werner |
| |
1 |
| |
1 |
| Dauchet, Max (ed.) |
| |
1 |
| |
1 |
| De Giacomo, Giuseppe (ed.) |
| |
1 |
| |
1 |
| de Moor, Aldo (ed.) |
| |
26 |
| |
| | 2006 | de Nivelle, Hans
[Baumgartner, Peter]
[Fuchs, Alexander]
[Tinelli, Cesare] | | Computing Finite Models by Reduction to Function-Free Clause Logic
In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 82-95 | Electronic Proceedings Article | |
| | 2006 | de Nivelle, Hans
[Meng, Jia] | | Geo 2006j | Miscellaneous | |
| | 2006 | de Nivelle, Hans
[Meng, Jia] | | Geometric Resolution: A Proof Procedure Based on Finite Model Search
In: Automated reasoning : Third International Joint Conference, IJCAR 2006, 303-317 | Proceedings Article | |
| | 2005 | de Nivelle, Hans
[Demri, Stéphane] | | Deciding Regular Grammar Logics with Converse through First-Order Logic
In: Journal of Logic, Language and Information [14], 289-329 | Journal Article | |
| | 2005 | de Nivelle, Hans | | Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Information and Computation [199], 24-54 | Journal Article | |
| | 2005 | de Nivelle, Hans
Piskac, Ruzica | | Verification of an Off-Line Checker for Priority Queues
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 210-219 | Proceedings Article | |
| | 2004 | Kazakov, Yevgeny
de Nivelle, Hans | | A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 122-136 | Proceedings Article | |
| | 2004 | de Nivelle, Hans
Kazakov, Yevgeny | | Resolution Decision Procedures for the Guarded Fragment with
Transitive Guards | Report | |
| | 2003 | de Nivelle, Hans
[Demri, Stéphane] | | Deciding Modal Logics through Relational Translations into GF2
In: Proceedings of the 3rd Methods for Modalities Workshop, 15-30 | Proceedings Article | |
| | 2003 | de Nivelle, Hans
[Demri, Stéphane] | | Deciding regular grammar logics with converse through first-order logic | Report | |
| | 2003 | de Nivelle, Hans
[de Rijke, Maarten] | | Deciding the Guarded Fragments by Resolution
In: Journal of Symbolic Computation [35], 21-58 | Journal Article | |
| | 2003 | de Nivelle, Hans | | Implementing the clausal normal form transformation with proof generation
In: Fourth Workshop on the Implementation of Logics, 69-83 | Proceedings Article | |
| | 2003 | Kazakov, Yevgeny
de Nivelle, Hans | | Subsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete
In: 2003 International Workshop on Description Logics (DL-03), 56-64 | Proceedings Article | |
| | 2003 | de Nivelle, Hans | | Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 365-379 | Proceedings Article | |
| | 2002 | [Bezem, Marc]
[Hendriks, Dimitri]
de Nivelle, Hans | | Automated Proof Construction in Type Theory using Resolution
In: Journal of Automated Reasoning [29], 253-275 | Journal Article | |
| | 2002 | de Nivelle, Hans | | Extraction of Proofs from the Clausal Normal Form Transformation
In: Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, 584-598 | Proceedings Article | |
| | 2001 | de Nivelle, Hans
[Pratt-Hartmann, Ian] | | A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 211-225 | Proceedings Article | |
| | 2001 | de Nivelle, Hans
[Blackburn, Patrick]
[Bos, Johan]
[Kohlhase, Michael] | | Inference and Computational Semantics
In: Studies in Linguistics and Philosophy, Computing Meaning [77], 11-28 | Journal Article | |