# | | Year | Author(s) [non member] | Editor(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] | [Ahrendt, Wolfgang]
[Baumgartner, Peter]
de Nivelle, Hans | | 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] | [Furbach, Ulrich]
[Shankar, Natarajan] | | 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 | | | 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
[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
Piskac, Ruzica | Aichernig, Bernhard K.
Beckert, Bernhard | | 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 | de Nivelle, Hans
Kazakov, Yevgeny | | | Resolution Decision Procedures for the Guarded Fragment with
Transitive Guards | Report | |
| | 2004 | Kazakov, Yevgeny
de Nivelle, Hans | [Basin, David]
[Rusinowitch, Michael] | | A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 122-136 | Proceedings Article | |
| | 2003 | de Nivelle, Hans | [Baader, Franz] | | 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 | |
| | 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
[Demri, Stéphane] | | | Deciding regular grammar logics with converse through first-order logic | Report | |
| | 2003 | de Nivelle, Hans
[Demri, Stéphane] | [Areces, Carlos]
[Blackburn, Patrick] | | 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 | [Konev, Boris]
[Schmidt, Renate] | | 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 | [Calvanese, Diego]
[De Giacomo, Giuseppe]
[Franconi, Enrico] | | 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 | |
| | 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 | [Bradfield, Julian] | | 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 | [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 | |
| | 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 | |