The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ullrich Hustadt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov
    SCAN Is Complete for All Sahlqvist Formulae. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:149-162 [Conf]
  2. Renate A. Schmidt, Ullrich Hustadt
    Mechanised Reasoning and Model Generation for Extended Modal Logics. [Citation Graph (0, 0)][DBLP]
    Theory and Applications of Relational Structures as Knowledge Instruments, 2003, pp:38-67 [Conf]
  3. Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt
    Two Proof Systems for Peirce Algebras. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:238-251 [Conf]
  4. Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt
    A Resolution-Based Decision Procedure for Extensions of K4. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 1998, pp:225-246 [Conf]
  5. Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
    A New Clausal Class Decidable by Hyperresolution. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:260-274 [Conf]
  6. Ullrich Hustadt, Boris Konev
    TRP++2.0: A Temporal Resolution Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:274-278 [Conf]
  7. Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov
    TeMP: A Temporal Monodic Prover. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:326-330 [Conf]
  8. Ullrich Hustadt, Boris Konev, Renate A. Schmidt
    Deciding Monodic Fragments by Temporal Resolution. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:204-218 [Conf]
  9. Ullrich Hustadt, Renate A. Schmidt
    Maslov's Class K Revisited. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:172-186 [Conf]
  10. Renate A. Schmidt, Ullrich Hustadt
    A Resolution Decision Procedure for Fluted Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:433-448 [Conf]
  11. Renate A. Schmidt, Ullrich Hustadt
    A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:412-426 [Conf]
  12. Ullrich Hustadt, Boris Motik
    Description Logics and Disjunctive Datalog – The Story so Far. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  13. Ullrich Hustadt, Renate A. Schmidt, Christoph Weidenbach
    MSPASS: Subsumption Testing with SPASS. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  14. Ullrich Hustadt, Boris Motik, Ulrike Sattler
    Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:353-357 [Conf]
  15. Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
    Verification within the KARO Agent Theory. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:33-47 [Conf]
  16. Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher
    Normal Forms and Proofs in Combined Modal and Temporal Logics. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:73-87 [Conf]
  17. Ullrich Hustadt, Renate A. Schmidt
    Issues of Decidability for Description Logics in the Framework of Resolution. [Citation Graph (0, 0)][DBLP]
    FTP (LNCS Selection), 1998, pp:191-205 [Conf]
  18. Ullrich Hustadt, Boris Motik, Ulrike Sattler
    Data Complexity of Reasoning in Very Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:466-471 [Conf]
  19. Ullrich Hustadt, Renate A. Schmidt
    On Evaluating Decision Procedures for Modal Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:202-209 [Conf]
  20. Ullrich Hustadt, Renate A. Schmidt
    On the Relation of Resolution and Tableaux Proof Systems for Description Logics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:110-117 [Conf]
  21. Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
    Automated Reasoning About Metric and Topology. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:490-493 [Conf]
  22. Ullrich Hustadt, Boris Motik, Ulrike Sattler
    Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:152-162 [Conf]
  23. Ullrich Hustadt, Renate A. Schmidt
    Scientific Benchmarking with Temporal Logic Decision Procedures. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:533-546 [Conf]
  24. Ullrich Hustadt
    Do we need the closed world assumption in knowledge representation? [Citation Graph (0, 0)][DBLP]
    KRDB, 1994, pp:- [Conf]
  25. Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
    Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:85-99 [Conf]
  26. Ullrich Hustadt, Boris Motik, Ulrike Sattler
    A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:21-35 [Conf]
  27. Ullrich Hustadt, Renate A. Schmidt
    MSPASS: Modal Reasoning by Translation and First-Order Resolution. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:67-71 [Conf]
  28. Ullrich Hustadt, Renate A. Schmidt
    Simplification and Backjumping in Modal Tableau. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:187-201 [Conf]
  29. Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
    Reasoning about agents in the KARO framework. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:206-213 [Conf]
  30. Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
    Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. [Citation Graph (0, 0)][DBLP]
    TIME, 2003, pp:72-82 [Conf]
  31. Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke
    Combinations of Modal Logics. [Citation Graph (0, 0)][DBLP]
    Artif. Intell. Rev., 2002, v:17, n:1, pp:1-20 [Journal]
  32. Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
    Mechanising first-order temporal resolution. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:55-86 [Journal]
  33. Ullrich Hustadt, Hans de Nivelle, Renate A. Schmidt
    Resolution-Based Methods for Modal Logics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:3, pp:- [Journal]
  34. Ullrich Hustadt, Renate A. Schmidt
    An empirical analysis of modal theorem provers. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1999, v:9, n:4, pp:- [Journal]
  35. Ullrich Hustadt, Renate A. Schmidt
    Using Resolution for Testing Modal Satisfiability and Building Models. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:28, n:2, pp:205-232 [Journal]
  36. M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev
    First-Order Temporal Verification in Practice. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:34, n:3, pp:295-321 [Journal]
  37. Ullrich Hustadt
    Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2001, v:10, n:3, pp:406-410 [Journal]
  38. Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
    Hyperresolution for guarded formulae. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2003, v:36, n:1-2, pp:163-192 [Journal]
  39. Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt
    Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2004, v:78, n:3, pp:381-415 [Journal]
  40. Ullrich Hustadt, Boris Motik, Ulrike Sattler
    Reasoning in Description Logics by a Reduction to Disjunctive Datalog. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2007, v:39, n:3, pp:351-384 [Journal]
  41. Renate A. Schmidt, Ullrich Hustadt
    The axiomatic translation principle for modal logic. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2007, v:8, n:4, pp:- [Journal]

  42. Fair Derivations in Monodic Temporal Reasoning. [Citation Graph (, )][DBLP]


  43. A Refined Resolution Calculus for CTL. [Citation Graph (, )][DBLP]


  44. Resolution-Based Model Construction for PLTL. [Citation Graph (, )][DBLP]


  45. CTL-RP: A computation tree logic resolution prover. [Citation Graph (, )][DBLP]


  46. Implementing a fair monodic temporal logic prover. [Citation Graph (, )][DBLP]


  47. Preface. [Citation Graph (, )][DBLP]


Search in 0.103secs, Finished in 0.104secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002