Jean Marie Guillaume Gerard de Nivelle

View Scopus Profile

Jean Marie Guillaume Gerard de Nivelle, PhD

Associate Professor

Calculated based on number of publications stored in Pure and citations from Scopus
1993 …2022

Research activity per year

Filter
Conference contribution

Search results

  • 2016

    Subsumption algorithms for three-valued geometric resolution

    de Nivelle, H., 2016, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Olivetti, N. & Tiwari, A. (eds.). Springer Verlag, p. 257-272 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9706).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)
  • 2015

    Automated reasoning with analytic tableaux and related methods: 24th International Conference, TABLEAUX 2015 Wrocław, Poland, September 21-24, 2015 proceedings

    De Nivelle, H., 2015, Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Proceedings. de Nivelle, H. (ed.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9323).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)
  • 2010

    Classical logic with partial functions

    De Nivelle, H., 2010, Automated Reasoning - 5th International Joint Conference, IJCAR 2010, Proceedings. p. 203-217 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6173 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Citations (Scopus)
  • 2006

    Geometric resolution: A proof procedure based on finite model search

    De Nivelle, H. & Meng, J., 2006, Automated Reasoning - Third International Joint Conference, IJCAR 2006, Proceedings. Springer Verlag, p. 303-317 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4130 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    34 Citations (Scopus)
  • 2005

    Verification of an off-line checker for priority queues

    De Nivelle, H. & Piskac, R., 2005, Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005. p. 210-219 10 p. 1575910. (Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Citations (Scopus)
  • 2003

    Translation of resolution proofs into short first-order proofs without choice axioms

    de Nivelle, H., 2003, Automated Deduction - CADE-19 - 19th International Conference on Automated Deduction, Proceedings. Baader, F. (ed.). Springer Verlag, p. 365-379 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2741).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)
  • 2002

    Extraction of proofs from the clausal normal form transformation

    de Nivelle, H., 2002, Computer Science Logic - 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL 2002, Proceedings. Bradfield, J. (ed.). Springer Verlag, p. 584-598 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2471).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Citations (Scopus)
  • 2001

    A resolution-based decision procedure for the two-variable fragment with equality

    De Nivelle, H. & Pratt-Hartmann, I., 2001, Automated Reasoning - First International Joint Conference, IJCAR 2001, Proceedings. Gore, R., Leitsch, A. & Nipkow, T. (eds.). Springer Verlag, p. 211-225 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2083 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Citations (Scopus)

  • Splitting through new proposition symbols

    De Nivelle, H., 2001, Logic for Programming, Artificial Intelligence, and Reasoning - 8th International Conference, LPAR 2001, Proceedings. Nieuwenhuis, R. & Voronkov, A. (eds.). Springer Verlag, p. 172-185 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2250).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    12 Citations (Scopus)
  • 2000

    Automated proof construction in type theory using resolution

    Bezem, M., Hendriks, D. & De Nivelle, H., 2000, Automated Deduction - CADE-17 - 17th International Conference on Automated Deduction, Proceedings. McAllester, D. (ed.). Springer Verlag, p. 148-163 16 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 1831).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Citations (Scopus)
  • 1999

    Prefixed resolution: A resolution method for modal and description logics

    Areces, C., de Nivelle, H. & de Rijke, M., 1999, Automated Deduction — CADE-16 - 16th International Conference on Automated Deduction, Proceedings. Ganzinger, H. (ed.). Springer Verlag, p. 187-201 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1632).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Citations (Scopus)

  • Superposition decision procedure for the guarded fragment with equality

    Ganzinger, H. & de Nivelle, H., 1999, Proceedings - Symposium on Logic in Computer Science. IEEE, p. 295-303 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    81 Citations (Scopus)
  • 1998

    A resolution decision procedure for the guarded fragment

    De Nivelle, H., 1998, Automated Deduction - CADE-15 - 15th International Conference on Automated Deduction, 1998, Proceedings. Kirchner, C. & Kirchner, H. (eds.). Springer Verlag, p. 191-204 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1421).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    22 Citations (Scopus)
  • 1997

    A classification of non-liftable orders for resolution

    de Nivelle, H., 1997, Automated Deduction – CADE-14 - 14th International Conference on Automated Deduction, Proceedings. McCune, W. (ed.). Springer Verlag, p. 336-350 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1249).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1996

    An algorithm for the retrieval of unifiers from discrimination trees

    de Nivelle, H., 1996, Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings. Alferes, J. J., Pereira, L. M. & Orlowska, E. (eds.). Springer Verlag, p. 18-33 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1126).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1995

    Resolution games and non-liftable resolution orderings

    De Nivelle, H., 1995, Computer Science Logic - 8th Workshop, CSL 1994, Selected Papers. Pacholski, L. & Tiuryn, J. (eds.). Springer Verlag, p. 279-293 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 933).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Citations (Scopus)
  • 1994

    A unification of ordering refinements of resolution in classical logic

    de Nivelle, H., 1994, Logics in Artificial Intelligence - European Workshop JELIA 1994, Proceedings. MacNish, C., Pearce, D. & Pereira, L. M. (eds.). Springer Verlag, p. 217-230 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 838 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Revision of non-monotonic theories: Some postulates and an application to logic programming

    Witteveen, C., van der Hoek, W. & de Nivelle, H., 1994, Logics in Artificial Intelligence - European Workshop JELIA 1994, Proceedings. MacNish, C., Pearce, D. & Pereira, L. M. (eds.). Springer Verlag, p. 137-151 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 838 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Citations (Scopus)
  • 1993

    Generic resolution in propositional modal systems

    de Nivelle, H., 1993, Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings. Voronkov, A. (ed.). Springer Verlag, p. 241-252 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 698 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)