The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stefan Wölfl: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stefan Wölfl, Till Mossakowski
    Casl Specifications of Qualitative Calculi. [Citation Graph (0, 0)][DBLP]
    COSIT, 2005, pp:200-217 [Conf]
  2. Stefan Wölfl
    Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:70-81 [Conf]
  3. Marco Ragni, Stefan Wölfl
    Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs. [Citation Graph (0, 0)][DBLP]
    KI, 2005, pp:64-78 [Conf]
  4. Marco Ragni, Stefan Wölfl
    Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:472-480 [Conf]
  5. Marco Ragni, Stefan Wölfl
    Branching Allen. [Citation Graph (0, 0)][DBLP]
    Spatial Cognition, 2004, pp:323-343 [Conf]
  6. Stefan Wölfl
    Events in Branching Time. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:79, n:2, pp:255-282 [Journal]
  7. Diedrich Wolter, Frank Dylla, L. Frommberger, Jan Oliver Wallgrün, Bernhard Nebel, Stefan Wölfl
    Qualitative Spatial Reasoning for Rule Compliant Agent Navigation. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2007, pp:673-674 [Conf]
  8. Stefan Wölfl, Till Mossakowski, Lutz Schröder
    Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2007, pp:665-0 [Conf]

  9. Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. [Citation Graph (, )][DBLP]


  10. A Qualitative Representation of Route Networks. [Citation Graph (, )][DBLP]


  11. Restarts and Nogood Recording in Qualitative Constraint-based Reasoning. [Citation Graph (, )][DBLP]


  12. Reasoning about Topological and Positional Information in Dynamic Settings. [Citation Graph (, )][DBLP]


  13. Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning. [Citation Graph (, )][DBLP]


  14. On Combinations of Binary Qualitative Constraint Calculi. [Citation Graph (, )][DBLP]


  15. Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning. [Citation Graph (, )][DBLP]


  16. Robust computational reconstitution - a new method for the comparative analysis of gene expression in tissues and isolated cell fractions. [Citation Graph (, )][DBLP]


Search in 0.031secs, Finished in 0.032secs
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