Hans de Nivelle

41 papers A* 1A 10B 9Journal 15Unranked 5

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	Generating Tokenizers with Flat Automata. GandALF Hans de Nivelle, Dina Muktubayeva
2018	J	`jnl`	Subsumption Algorithms for Three-Valued Geometric Resolution. Log. Methods Comput. Sci. Hans de Nivelle
2017	J	`jnl`	Subsumption Algorithms for Three-Valued Geometric Resolution. CoRR Hans de Nivelle
2017	J	`jnl`	Theorem proving for classical logic with partial functions by reduction to Kleene logic. J. Log. Comput. Hans de Nivelle
2016	A	`conf`	Subsumption Algorithms for Three-Valued Geometric Resolution. IJCAR Hans de Nivelle
2015	B	`ed.`	Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings TABLEAUX Hans de Nivelle
2014	—	`conf`	Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic. ARQNL@IJCAR Hans de Nivelle
2011	J	`jnl`	Classical Logic with Partial Functions. J. Autom. Reason. Hans de Nivelle
2010	A	`conf`	Classical Logic with Partial Functions. IJCAR Hans de Nivelle
2009	J	`jnl`	Computing finite models by reduction to function-free clause logic. J. Appl. Log. Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli
2008	—	`conf`	A Small Framework for Proof Checking. PAAR/ESHOL Hans de Nivelle, Piotr Witkowski
2006	A	`conf`	Geometric Resolution: A Proof Procedure Based on Finite Model Search. IJCAR Hans de Nivelle, Jia Meng
2005	J	`jnl`	Deciding Regular Grammar Logics with Converse Through First-Order Logic. J. Log. Lang. Inf. Stéphane Demri, Hans de Nivelle
2005	—	`ed.`	Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and the Second International Workshop on Pragmatics of Decision Procedures, PDPAR@IJCAR 2004, Cork, Ireland, July 2004 D/PDPAR@IJCAR Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli
2005	J	`jnl`	Translation of resolution proofs into short first-order proofs without choice axioms. Inf. Comput. Hans de Nivelle
2005	B	`conf`	Verification of an Off-Line Checker for Priority Queues. SEFM Hans de Nivelle, Ruzica Piskac
2004	A	`conf`	A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. IJCAR Yevgeny Kazakov, Hans de Nivelle
2004	—	`conf`	Preface. D/PDPAR@IJCAR Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli
2003	J	`jnl`	Deciding regular grammar logics with converse through first-order logic CoRR Stéphane Demri, Hans de Nivelle
2003	J	`jnl`	Deciding the guarded fragments by resolution. J. Symb. Comput. Hans de Nivelle, Maarten de Rijke
2003	—	`conf`	Subsumption of Concepts in FL Description Logics Yevgeny Kazakov, Hans de Nivelle
2003	A	`conf`	Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms. CADE Hans de Nivelle
2002	J	`jnl`	Automated Proof Construction in Type Theory Using Resolution. J. Autom. Reason. Marc Bezem, Dimitri Hendriks, Hans de Nivelle
2002	B	`conf`	Extraction of Proofs from the Clausal Normal Form Transformation. CSL Hans de Nivelle
2001	A	`conf`	A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality. IJCAR Hans de Nivelle, Ian Pratt-Hartmann
2001	J	`jnl`	Resolution in Modal, Description and Hybrid Logic. J. Log. Comput. Carlos Areces, Maarten de Rijke, Hans de Nivelle
2001	B	`conf`	Splitting Through New Proposition Symbols. LPAR Hans de Nivelle
2000	A	`conf`	Automated Proof Construction in Type Theory Using Resolution. CADE Marc Bezem, Dimitri Hendriks, Hans de Nivelle
2000	J	`jnl`	Deciding the E Ann. Pure Appl. Log. Hans de Nivelle
2000	J	`jnl`	Resolution-Based Methods for Modal Logics. Log. J. IGPL Ullrich Hustadt, Hans de Nivelle, Renate A. Schmidt
1999	A*	`conf`	A Superposition Decision Procedure for the Guarded Fragment with Equality. LICS Harald Ganzinger, Hans de Nivelle
1999	A	`conf`	Prefixed Resolution: A Resolution Method for Modal and Description Logics. CADE Carlos Areces, Hans de Nivelle, Maarten de Rijke
1998	A	`conf`	A Resolution Decision Procedure for the Guarded Fragment. CADE Hans de Nivelle
1998	J	`jnl`	An Algorithm for the Retrieval of Unifiers from Discrimination Trees. J. Autom. Reason. Hans de Nivelle
1998	J	`jnl`	The Resolution Calculus, Alexander Leitsch. J. Log. Lang. Inf. Hans de Nivelle
1997	A	`conf`	A Classification of Non-liftable Orders for Resolution. CADE Hans de Nivelle
1996	B	`conf`	An Algorithm for the Retrieval of Unifiers from Discrimination Trees. JELIA Hans de Nivelle
1994	B	`conf`	A Unification of Ordering Refinements of Resolution in Classical Logic. JELIA Hans de Nivelle
1994	B	`conf`	Resolution Games and Non-Liftable Resolution Orderings. CSL Hans de Nivelle
1994	B	`conf`	Revision of Non-Monotonic Theories. JELIA Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle
1993	B	`conf`	Generic Resolution in Propositional Modal Systems. LPAR Hans de Nivelle