Uni-Logo

Matthias Westphal – Publikationen

(Alle Abstracts einblenden) (Alle Abstracts ausblenden)

2015

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

2014

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

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

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

2013

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

  • Matthias Westphal, Julien Hué und 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.
    (Abstract einblenden) (PDF) (DOI) (DBLP) (Translation Script; TAR.GZ)

2012

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

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

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

2011

  • Matthias Westphal und 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 und Jochen Renz.
    On Qualitative Route Descriptions: Representation and Computational Complexity.
    In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), S. 1120-1125. AAAI Press 2011.
    (Abstract einblenden) (Online; PDF)

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

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

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

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

2010

  • Silvia Richter und Matthias Westphal.
    The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks.
    Journal of Artificial Intelligence Research 39, S. 127-177. 2010.
    (Abstract einblenden) (PDF)

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

2009

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

  • Matthias Westphal und 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.
    (Abstract einblenden) (PDF) (DBLP)

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

  • Matthias Westphal und 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.
    (Abstract einblenden) (PDF)

  • Matthias Westphal, Stefan Wölfl und 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.
    (Abstract einblenden) (PDF)

2008

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

  • Zeno Gantner, Matthias Westphal und 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.
    (Abstract einblenden) (PDF)

  • Silvia Richter, Malte Helmert und Matthias Westphal.
    Landmarks Revisited.
    In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008), S. 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.
    (Abstract einblenden) (PDF) (slides; PDF)