dblp.uni-trier.dewww.uni-trier.de

Hans de Nivelle Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
30EEPeter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli: Computing finite models by reduction to function-free clause logic. J. Applied Logic 7(1): 58-74 (2009)
2008
29EEHans de Nivelle, Piotr Witkowski: A Small Framework for Proof Checking. PAAR/ESHOL 2008
2006
28EEHans de Nivelle, Jia Meng: Geometric Resolution: A Proof Procedure Based on Finite Model Search. IJCAR 2006: 303-317
2005
27EEHans de Nivelle, Ruzica Piskac: Verification of an Off-Line Checker for Priority Queues. SEFM 2005: 210-219
26EEHans de Nivelle: Translation of resolution proofs into short first-order proofs without choice axioms. Inf. Comput. 199(1-2): 24-54 (2005)
25EEStéphane Demri, Hans de Nivelle: Deciding Regular Grammar Logics with Converse Through First-Order Logic. Journal of Logic, Language and Information 14(3): 289-329 (2005)
2004
24EEYevgeny Kazakov, Hans de Nivelle: A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. IJCAR 2004: 122-136
2003
23EEHans de Nivelle: Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms. CADE 2003: 365-379
22EEYevgeny Kazakov, Hans de Nivelle: Subsumption of Concepts in FL0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete. Description Logics 2003
21EEStéphane Demri, Hans de Nivelle: Deciding regular grammar logics with converse through first-order logic CoRR cs.LO/0306117: (2003)
20EEHans de Nivelle, Maarten de Rijke: Deciding the guarded fragments by resolution. J. Symb. Comput. 35(1): 21-58 (2003)
2002
19EEHans de Nivelle: Extraction of Proofs from the Clausal Normal Form Transformation. CSL 2002: 584-598
18 Marc Bezem, Dimitri Hendriks, Hans de Nivelle: Automated Proof Construction in Type Theory Using Resolution. J. Autom. Reasoning 29(3-4): 253-275 (2002)
2001
17EEHans de Nivelle, Ian Pratt-Hartmann: A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality. IJCAR 2001: 211-225
16EEHans de Nivelle: Splitting Through New Proposition Symbols. LPAR 2001: 172-185
15EECarlos Areces, Maarten de Rijke, Hans de Nivelle: Resolution in Modal, Description and Hybrid Logic. J. Log. Comput. 11(5): 717-736 (2001)
2000
14EEMarc Bezem, Dimitri Hendriks, Hans de Nivelle: Automated Proof Construction in Type Theory Using Resolution. CADE 2000: 148-163
13 Hans de Nivelle: Deciding the E+ - class by an a posteriori, liftable order. Ann. Pure Appl. Logic 104(1-3): 219-232 (2000)
12EEUllrich Hustadt, Hans de Nivelle, Renate A. Schmidt: Resolution-Based Methods for Modal Logics. Logic Journal of the IGPL 8(3): (2000)
1999
11EECarlos Areces, Hans de Nivelle, Maarten de Rijke: Prefixed Resolution: A Resolution Method for Modal and Description Logics. CADE 1999: 187-201
10EEHarald Ganzinger, Hans de Nivelle: A Superposition Decision Procedure for the Guarded Fragment with Equality. LICS 1999: 295-304
1998
9EEHans de Nivelle: A Resolution Decision Procedure for the Guarded Fragment. CADE 1998: 191-204
8 Hans de Nivelle: An Algorithm for the Retrieval of Unifiers from Discrimination Trees. J. Autom. Reasoning 20(1): 5-25 (1998)
7 Hans de Nivelle: The Resolution Calculus, Alexander Leitsch. Journal of Logic, Language and Information 7(4): 499-502 (1998)
1997
6EEHans de Nivelle: A Classification of Non-liftable Orders for Resolution. CADE 1997: 336-350
1996
5EEHans de Nivelle: An Algorithm for the Retrieval of Unifiers from Discrimination Trees. JELIA 1996: 18-33
1994
4EEHans de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. CSL 1994: 279-293
3EECees Witteveen, Wiebe van der Hoek, Hans de Nivelle: Revision of Non-Monotonic Theories. JELIA 1994: 137-151
2EEHans de Nivelle: A Unification of Ordering Refinements of Resolution in Classical Logic. JELIA 1994: 217-230
1993
1EEHans de Nivelle: Generic Resolution in Propositional Modal Systems. LPAR 1993: 241-252

Coauthor Index

1Carlos Areces [11] [15]
2Peter Baumgartner [30]
3Marc Bezem [14] [18]
4Stéphane Demri [21] [25]
5Alexander Fuchs [30]
6Harald Ganzinger [10]
7Dimitri Hendriks [14] [18]
8Wiebe van der Hoek [3]
9Ullrich Hustadt [12]
10Yevgeny Kazakov [22] [24]
11Jia Meng [28]
12Ruzica Piskac [27]
13Ian Pratt-Hartmann (Ian E. Pratt) [17]
14Maarten de Rijke [11] [15] [20]
15Renate A. Schmidt [12]
16Cesare Tinelli [30]
17Piotr Witkowski [29]
18Cees Witteveen [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)