Hans de Nivelle

According to our database, Hans de Nivelle authored at least 32 papers between 1993 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Generating Tokenizers with Flat Automata.

Hans de Nivelle, Dina Muktubayeva

Proceedings of the 13th International Symposium on Games, 2022

2018

Subsumption Algorithms for Three-Valued Geometric Resolution.

Hans de Nivelle

Log. Methods Comput. Sci., 2018

2017

Theorem proving for classical logic with partial functions by reduction to Kleene logic.

Hans de Nivelle

J. Log. Comput., 2017

2014

Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic.

Hans de Nivelle

Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014

2011

Classical Logic with Partial Functions.

Hans de Nivelle

J. Autom. Reason., 2011

2009

Computing finite models by reduction to function-free clause logic.

Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli

J. Appl. Log., 2009

2008

A Small Framework for Proof Checking.

Hans de Nivelle, Piotr Witkowski

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

2006

Geometric Resolution: A Proof Procedure Based on Finite Model Search.

Hans de Nivelle, Jia Meng

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

Deciding Regular Grammar Logics with Converse Through First-Order Logic.

Stéphane Demri, Hans de Nivelle

J. Log. Lang. Inf., 2005

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

Hans de Nivelle

Inf. Comput., 2005

Verification of an Off-Line Checker for Priority Queues.

Hans de Nivelle, Ruzica Piskac

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2004

Preface.

Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli

Proceedings of the Selected Papers from the Workshops on Disproving, 2004

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.

Yevgeny Kazakov, Hans de Nivelle

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Deciding the guarded fragments by resolution.

Hans de Nivelle, Maarten de Rijke

J. Symb. Comput., 2003

Subsumption of Concepts in FL_0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete.

Yevgeny Kazakov, Hans de Nivelle

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002

Automated Proof Construction in Type Theory Using Resolution.

Marc Bezem, Dimitri Hendriks, Hans de Nivelle

J. Autom. Reason., 2002

Extraction of Proofs from the Clausal Normal Form Transformation.

Hans de Nivelle

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001

Resolution in Modal, Description and Hybrid Logic.

Carlos Areces, Maarten de Rijke, Hans de Nivelle

J. Log. Comput., 2001

Splitting Through New Proposition Symbols.

Hans de Nivelle

Proceedings of the Logic for Programming, 2001

A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality.

Hans de Nivelle, Ian Pratt-Hartmann

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Resolution-Based Methods for Modal Logics.

Ullrich Hustadt, Hans de Nivelle, Renate A. Schmidt

Log. J. IGPL, 2000

Deciding the E⁺ - class by an a posteriori, liftable order.

Hans de Nivelle

Ann. Pure Appl. Log., 2000

1999

A Superposition Decision Procedure for the Guarded Fragment with Equality.

Harald Ganzinger, Hans de Nivelle

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

Prefixed Resolution: A Resolution Method for Modal and Description Logics.

Carlos Areces, Hans de Nivelle, Maarten de Rijke

Proceedings of the Automated Deduction, 1999

1998

The Resolution Calculus, Alexander Leitsch.

Hans de Nivelle

J. Log. Lang. Inf., 1998

An Algorithm for the Retrieval of Unifiers from Discrimination Trees.

Hans de Nivelle

J. Autom. Reason., 1998

A Resolution Decision Procedure for the Guarded Fragment.

Hans de Nivelle

Proceedings of the Automated Deduction, 1998

1997

A Classification of Non-liftable Orders for Resolution.

Hans de Nivelle

Proceedings of the Automated Deduction, 1997

1994

Revision of Non-Monotonic Theories.

Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

A Unification of Ordering Refinements of Resolution in Classical Logic.

Hans de Nivelle

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

Resolution Games and Non-Liftable Resolution Orderings.

Hans de Nivelle

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

1993

Generic Resolution in Propositional Modal Systems.

Hans de Nivelle

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993