Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 1:11, 10 December 2019

Search the publication database

  . Return

Your search returned the following 26 documents:

  1. Hans de Nivelle, Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
    Computing Finite Models by Reduction to Function-Free Clause Logic
    In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, Seattle, USA, 2006, 82-95
  2. Hans de Nivelle and Jia Meng
    Geo 2006j
    can be obtained from my homepage
  3. Hans de Nivelle and Jia Meng
    Geometric Resolution: A Proof Procedure Based on Finite Model Search
    In: Automated reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, 2006, 303-317
  4. Hans de Nivelle and Stéphane Demri
    Deciding Regular Grammar Logics with Converse through First-Order Logic
    Journal of Logic, Language and Information 14 (3): 289-329, 2005
  5. Hans de Nivelle
    Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
    Information and Computation 199 (1): 24-54, 2005
  6. Hans de Nivelle and Ruzica Piskac
    Verification of an Off-Line Checker for Priority Queues
    In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), Koblenz, 2005, 210-219
  7. Yevgeny Kazakov and Hans de Nivelle
    A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
    In: Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, County Cork, Ireland, 2004, 122-136
  8. Hans de Nivelle and Yevgeny Kazakov
    Resolution Decision Procedures for the Guarded Fragment with Transitive Guards
    Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, MPI-I-2004-2-001, Research Report
    [PDF: Download: MPI-I-2004-2-001.pdf]
  9. Hans de Nivelle and Stéphane Demri
    Deciding Modal Logics through Relational Translations into GF2
    In: Proceedings of the 3rd Methods for Modalities Workshop, Nancy, France, September, 2003, 15-30
  10. Hans de Nivelle and Stéphane Demri
    Deciding regular grammar logics with converse through first-order logic
    Laboratoire de Spécification et de Vérification, ENS Cachan, Cachan, LSV-03-4, research report
  11. Hans de Nivelle and Maarten de Rijke
    Deciding the Guarded Fragments by Resolution
    Journal of Symbolic Computation 35: 21-58, 2003
  12. Hans de Nivelle
    Implementing the clausal normal form transformation with proof generation
    In: Fourth Workshop on the Implementation of Logics, Almaty, Kazachstan, September, 25th, 2003, 69-83
  13. Yevgeny Kazakov and Hans de Nivelle
    Subsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete
    In: 2003 International Workshop on Description Logics (DL-03), Rome, Italy, September 5-7, 2003, 2003, 56-64
    [PDF: Download: SubDL.pdf]
  14. Hans de Nivelle
    Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
    In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, USA, July 2003, 2003, 365-379
  15. Marc Bezem, Dimitri Hendriks, and Hans de Nivelle
    Automated Proof Construction in Type Theory using Resolution
    Journal of Automated Reasoning 29 (3/4): 253-275, 2002
  16. Hans de Nivelle
    Extraction of Proofs from the Clausal Normal Form Transformation
    In: Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, UK, 2002, 584-598
  17. Hans de Nivelle and Ian Pratt-Hartmann
    A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality
    In: Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001, 2001, 211-225
  18. Hans de Nivelle, Patrick Blackburn, Johan Bos, and Michael Kohlhase
    Inference and Computational Semantics
    Studies in Linguistics and Philosophy, Computing Meaning 77 (2): 11-28, 2001
  19. Carlos Areces, Maarten de Rijke, and Hans de Nivelle
    Resolution in modal, description and hybrid logic
    Journal of Logic and Computation 11 (5): 717-736, 2001
  20. Hans de Nivelle
    Splitting through New Proposition Symbols
    In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), Havana, Cuba, December 3-7, 2001, 2001, 172-185
  21. Hans de Nivelle
    An Overview of Resolution Decision Procedures
    In: Formalizing the Dynamics of Information, Stanford University, Palo Alto, USA, May, 29 - May, 31, 2000, 115-130
  22. Hans de Nivelle, Marc Bezem, and Dimitri Hendriks
    Automated Proof Construction in Type Theory Using Resolution
    In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), Carnegie Mellon University, Pittsburgh, PA, USA, June 17-20, 2000, 2000, 148-163
  23. Hans de Nivelle
    Deciding the E-plus class by an a posteriori, liftable order
    Annals of Pure and Applied Logic 88 (1): 219-232, 2000
  24. Hans de Nivelle, Ullrich Hustadt, and Renate A. Schmidt
    Resolution-Based Methods for Modal Logics
    Logic Journal of the IGPL 8 (3): 265-292, 2000. Note: %My name is misspelt as 'Nivellle'
  25. Harald Ganzinger and Hans de Nivelle
    A Superposition Decision Procedure for the Guarded Fragment with Equality
    In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), Trento, Italy, Trento, Italy, 1999, 295-303
    [PDF: Download: 99LICS_2.pdf] [PS: Download: 99LICS_2_ps.gz]
  26. Hans de Nivelle, Carlos Areces, and Maarten de Rijke
    Prefixed Resolution: A Resolution Method for Modal and Description Logics
    In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), Trento, Italy, July 7-10, 1999, 1999, 187-201