Follow
Hans de Nivelle
Title
Cited by
Cited by
Year
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
1411999
Inference and computational semantics
P Blackburn, J Bos, M Kohlhase, H De Nivelle
Computing Meaning: Volume 2, 11-28, 2001
1212001
Resolution-based methods for modal logics
H De Nivelle, RA Schmidt, U Hustadt
Logic Journal of the IGPL 8 (3), 265-292, 2000
1092000
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
862009
Deciding regular grammar logics with converse through first-order logic
S Demri, H De Nivelle
Journal of Logic, Language and Information 14, 289-329, 2005
732005
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
692001
Geometric resolution: A proof procedure based on finite model search
H De Nivelle, J Meng
Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006
682006
Automated proof construction in type theory using resolution
M Bezem, D Hendriks, H De Nivelle
Journal of Automated Reasoning 29 (3-4), 253, 2002
552002
A resolution decision procedure for the guarded fragment
H De Nivelle
CADE 98, 191-204, 1998
551998
Ordering refinements of resolution.
JMGG De Nivelle
551997
Deciding the guarded fragments by resolution
H De Nivelle, M De Rijke
Journal of Symbolic Computation 35 (1), 21-58, 2003
512003
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
362003
A resolution-based decision procedure for the two-variable fragment with equality
H De Nivelle, I Pratt-Hartmann
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001
302001
Splitting through new proposition symbols
H de Nivelle
Logic for Programming, Artificial Intelligence, and Reasoning: 8th …, 2001
222001
Resolution games and non-liftable resolution orderings
H De Nivelle
Lecture Notes in Computer Science, 279-279, 1995
211995
Bliksem 1.10 user manual
H De Nivelle
MPI Saarbruecken, 1999
191999
Prefixed resolution
C Areces, H de Nivelle, M de Rijke
Automated Deduction–CADE-16, 187, 1999
191999
Translation of resolution proofs into short first-order proofs without choice axioms
H de Nivelle
Information and Computation 199 (1-2), 24-54, 2005
182005
Extraction of proofs from the clausal normal form transformation
H de Nivelle
CSL 2471, 584-598, 2002
182002
Automated proof construction in type theory using resolution
M Bezem, D Hendriks, H de Nivelle
Automated Deduction-CADE-17: 17th International Conference on Automated …, 2000
182000
The system can't perform the operation now. Try again later.
Articles 1–20