Uni-Logo

Matthias Westphal – Publications

(Show all abstracts) (Hide all abstracts)

2015

  • Matthias Westphal, Stefan Wölfl, Bernhard Nebel and Jochen Renz.
    On qualitative route descriptions: Representation, agent models, and computational complexity.
    Journal of Philosophical Logic 44 (2), pp. 177-201. 2015.
    (Show abstract) (Online; DOI)

2014

  • Matthias Westphal and Julien Hué.
    A Concise Horn Theory for RCC8.
    In Proceedings of European Conference on Artificial Intelligence (ECAI'14). 2014.
    (Show abstract) (Translation Script; TAR.GZ)

  • Julien Hué, Matthias Westphal and Stefan Wölfl.
    Towards a new semantic for Possibilistic Answer Sets.
    In Proceedings of Advances in Artificial Intelligence (KI'14). 2014.
    (Show abstract) (Springer Online; DOI) (DBLP)

  • Matthias Westphal, Julien Hué and Stefan Wölfl.
    On the scope of Qualitative Constraint Calculi.
    In Proceedings of Advances in Artificial Intelligence (KI'14). 2014.
    (Show abstract) (Springer Online; DOI) (DBLP)

2013

  • Matthias Westphal, Julien Hué, Stefan Wölfl and Bernhard Nebel.
    Transition Constraints: A Study on the Computational Complexity of Qualitative Change.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI'13), pp. 1169-1175. 2013.
    (Show abstract) (Online; PDF) (DBLP)

  • Matthias Westphal, Julien Hué and Stefan Wölfl.
    On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning.
    In Proceedings of International Conference on Tools for Artificial Intelligence (ICTAI'13). 2013.
    (Show abstract) (PDF) (DOI) (DBLP) (Translation Script; TAR.GZ)

2012

  • Julien Hué and Matthias Westphal.
    Revising Qualitative Constraint Network: Definition and Implementation.
    In Internationial Conference on Tools for Artificial Intelligence (ICTAI), pp. 548-555. 2012.
    (Show abstract) (PDF)

  • Julien Hué, Matthias Westphal and Stefan Wölfl.
    An automatic decomposition method for qualitative spatial and temporal reasoning.
    In International Conference on Tools for Artificial Intelligence (ICTAI), pp. 588-595. 2012.
    (Show abstract) (PDF) (DBLP)

  • Matthias Westphal and Julien Hué.
    Nogoods in Qualitative Constraint-based Reasoning.
    In KI 2012: Advances in Artificial Intelligence (KI 2012), pp. 180-192. Springer-Verlag 2012.
    (Authors' preprint. The final publication is available at www.springerlink.com.).
    (Show abstract) (PDF)

2011

  • Matthias Westphal and Jochen Renz.
    Evaluating and Minimizing Ambiguities in Qualitative Route Instructions.
    In ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems (ACM-GIS 2011). ACM 2011.

  • Matthias Westphal, Stefan Wölfl, Bernhard Nebel and Jochen Renz.
    On Qualitative Route Descriptions: Representation and Computational Complexity.
    In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 1120-1125. AAAI Press 2011.
    (Show abstract) (Online; PDF)

  • Carmel Domshlak, Malte Helmert, Erez Karpas, Emil Keyder, Silvia Richter, Gabriele Röger, Jendrik Seipp and Matthias Westphal.
    BJOLP: The Big Joint Optimal Landmarks Planner (planner abstract).
    In Seventh International Planning Competition (IPC 2011), Deterministic Part, pp. 91-95. 2011.
    (Show abstract) (PDF)

  • Silvia Richter, Matthias Westphal and Malte Helmert.
    LAMA 2008 and 2011 (planner abstract).
    In Seventh International Planning Competition (IPC 2011), Deterministic Part, pp. 50-54. 2011.
    (Show abstract) (PDF)

  • Malte Helmert, Gabriele Röger, Jendrik Seipp, Erez Karpas, Jörg Hoffmann, Emil Keyder, Raz Nissim, Silvia Richter and Matthias Westphal.
    Fast Downward Stone Soup (planner abstract).
    In Seventh International Planning Competition (IPC 2011), Deterministic Part, pp. 38-45. 2011.
    (Show abstract) (PDF)

  • Matthias Westphal, Christian Dornhege, Stefan Wölfl, Marc Gissler and Bernhard Nebel.
    Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning.
    Spatial Cognition & Computation: An Interdisciplinary Journal 11 (1), pp. 75-102. 2011.
    (Show abstract) (Online; DOI) (BIB)

2010

  • Silvia Richter and Matthias Westphal.
    The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks.
    Journal of Artificial Intelligence Research 39, pp. 127-177. 2010.
    (Show abstract) (PDF)

  • Matthias Westphal, Stefan Wölfl and Jason Jingshi Li.
    Restarts and Nogood Recording in Qualitative Constraint-based Reasoning.
    In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp. 1093-1094. IOS Press 2010.
    Also, see the follow up paper at KI 2012: Nogoods in Qualitative Constaint-based Reasoning.
    (Show abstract) (PDF) (DBLP)

2009

  • Florian Pommerening, Stefan Wölfl and Matthias Westphal.
    Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning.
    In Bärbel Mertsching, Marcus Hund and Muhammad Zaheer Aziz (eds.), Proceedings of the 32nd Annual Conference on Artificial Intelligence (KI 2009), pp. 468-475. Springer-Verlag 2009.
    (Show abstract) (PDF) (DBLP)

  • Matthias Westphal and Stefan Wölfl.
    Qualitative CSP, finite CSP, and SAT: Comparing methods for qualitative constraint-based reasoning.
    In Proceedings of the 21th International Joint Conference on Artificial Intelligence (IJCAI 2009). 2009.
    (Show abstract) (PDF) (DBLP)

  • Stefan Wölfl and Matthias Westphal.
    On combinations of binary qualitative constraint calculi.
    In Proceedings of the 21th International Joint Conference on Artificial Intelligence (IJCAI 2009). 2009.
    (Show abstract) (PDF) (DBLP)

  • Matthias Westphal and Stefan Wölfl.
    Confirming the QSR Promise.
    In AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems. 2009.
    AAAI Technical Report SS-09-02.
    (Show abstract) (PDF)

  • Matthias Westphal, Stefan Wölfl and Zeno Gantner.
    GQR: A Fast Solver for Binary Qualitative Constraint Networks.
    In AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems. 2009.
    AAAI Technical Report SS-09-02.
    (Show abstract) (PDF)

2008

  • Matthias Westphal and Stefan Wölfl.
    Bipath Consistency Revisited.
    In Proceedings of the ECAI'08 Workshop on Spatial and Temporal Reasoning. Patras, Greece 2008.
    (Show abstract) (PDF)

  • Zeno Gantner, Matthias Westphal and Stefan Wölfl.
    GQR - A Fast Reasoner for Binary Qualitative Constraint Calculi.
    In Proceedings of the AAAI'08 Workshop on Spatial and Temporal Reasoning. Chicago, USA 2008.
    (Show abstract) (PDF)

  • Silvia Richter, Malte Helmert and Matthias Westphal.
    Landmarks Revisited.
    In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008), pp. 975-982. AAAI Press 2008.
    Note: After publication, we found a bug in our implementation that affects the results in the columns "CG heuristic/local" and "blind heuristic/local" of Table 1. The version of the paper available for download here corrects these errors.
    (Show abstract) (PDF) (slides; PDF)