Hans de Nivelle
TitleCited byYear
A superposition decision procedure for the guarded fragment with equality
H Ganzinger, H De Nivelle
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
1331999
Resolution-based methods for modal logics
H De Nivelle, RA Schmidt, U Hustadt
Logic Journal of the IGPL 8 (3), 265-292, 2000
1002000
Computing finite models by reduction to function-free clause logic
P Baumgartner, A Fuchs, H De Nivelle, C Tinelli
Journal of Applied Logic 7 (1), 58-74, 2009
762009
Resolution in modal, description and hybrid logic
C Areces, M de Rijke, H de Nivelle
Journal of Logic and Computation 11 (5), 717-736, 2001
622001
Deciding regular grammar logics with converse through first-order logic
S Demri, H De Nivelle
Journal of Logic, Language and Information 14 (3), 289-329, 2005
612005
Inference and computational semantics
P Blackburn, J Bos, M Kohlhase, H De Nivelle
In Third International Workshop on Computational Semantics (IWCS-3, 1998
581998
Geometric resolution: A proof procedure based on finite model search
H De Nivelle, J Meng
International Joint Conference on Automated Reasoning, 303-317, 2006
572006
A resolution decision procedure for the guarded fragment
H De Nivelle
International Conference on Automated Deduction, 191-204, 1998
531998
Automated proof construction in type theory using resolution
M Bezem, D Hendriks, H De Nivelle
Journal of Automated Reasoning 29 (3-4), 253-275, 2002
522002
Ordering refinements of resolution.
JMGG De Nivelle
521997
Deciding the guarded fragments by resolution
H De Nivelle, M De Rijke
Journal of Symbolic Computation 35 (1), 21-58, 2003
462003
Inference and computational semantics
P Blackburn, J Bos, M Kohlhase, H De Nivelle
Computing Meaning, 11-28, 2001
432001
Subsumption of concepts in for (cyclic) terminologies with respect to descriptive semantics is PSPACE-complete
Y Kazakov, H De Nivelle
Max-Planck-Institut für Informatik, 2003
292003
A resolution-based decision procedure for the two-variable fragment with equality
H De Nivelle, I Pratt-Hartmann
International Joint Conference on Automated Reasoning, 211-225, 2001
292001
Splitting through new proposition symbols
H de Nivelle
International Conference on Logic for Programming Artificial Intelligence …, 2001
222001
A resolution decision procedure for the guarded fragment with transitive guards
Y Kazakov, H De Nivelle
International Joint Conference on Automated Reasoning, 122-136, 2004
172004
Prefixed resolution: A resolution method for modal and description logics
C Areces, H De Nivelle, M De Rijke
International Conference on Automated Deduction, 187-201, 1999
171999
Resolution games and non-liftable resolution orderings
H de Nivelle
International Workshop on Computer Science Logic, 279-293, 1994
171994
Automated proof construction in type theory using resolution
M Bezem, D Hendriks, H De Nivelle
International Conference on Automated Deduction, 148-163, 2000
162000
Resolution decides the guarded fragment
H De Nivelle, M de Rijke
Submitted for journal publication, 1998
161998
The system can't perform the operation now. Try again later.
Articles 1–20