Stefan Wölfl

Proceedings of the Handbuch der Künstlichen Intelligenz, 6. Auflage, 2020

2016

Reasoning About General TBoxes with Spatial and Temporal Constraints: Implementation and Optimizations.

[BibT_eX]

[DOI]

Matthias Hengel

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

On Qualitative Route Descriptions.

[BibT_eX]

[DOI]

J. Philos. Log., 2015

2014

On the Scope of Qualitative Constraint Calculi.

[BibT_eX]

[DOI]

Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

Towards a New Semantics for Possibilistic Answer Sets.

[BibT_eX]

[DOI]

Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

2013

Transition Constraints: A Study on the Computational Complexity of Qualitative Change.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Wissensrepräsentation und -verarbeitung.

[BibT_eX]

[DOI]

Proceedings of the Handbuch der Künstlichen Intelligenz, 5. Auflage, 2013

2012

An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

2011

Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning.

[BibT_eX]

[DOI]

Spatial Cogn. Comput., 2011

Qualitative Spatial and Temporal Reasoning: Emerging Applications, Trends, and Directions.

[BibT_eX]

[DOI]

Mehul Bhatt

Hans W. Guesgen

Shyamanta Moni Hazarika

Spatial Cogn. Comput., 2011

On Qualitative Route Descriptions: Representation and Computational Complexity.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

RCC8 Is Polynomial on Networks of Bounded Treewidth.

[BibT_eX]

[DOI]

Manuel Bodirsky

Proceedings of the IJCAI 2011, 2011

2010

Restarts and Nogood Recording in Qualitative Constraint-based Reasoning.

[BibT_eX]

[DOI]

Jason Jingshi Li

Proceedings of the ECAI 2010, 2010

A Qualitative Representation of Route Networks.

[BibT_eX]

[DOI]

Jochen Renz

Proceedings of the ECAI 2010, 2010

10412 Summary and Abstracts Collection - QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning, 10.10., 2010

2009

Reports of the AAAI 2009 Spring Symposia.

[BibT_eX]

[DOI]

Andrea Lockerd Thomaz

Katherine M. Tsui

AI Mag., 2009

Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning.

[BibT_eX]

[DOI]

Florian Pommerening

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

On Combinations of Binary Qualitative Constraint Calculi.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

GQR: A Fast Solver for Binary Qualitative Constraint Networks.

[BibT_eX]

[DOI]

Zeno Gantner

Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

Confirming the QSR Promise.

[BibT_eX]

[DOI]

Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

Preface.

[BibT_eX]

[DOI]

Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

Organizing Committee.

[BibT_eX]

[DOI]

Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

2008

SailAway: Spatial Cognition in Sea Navigation.

[BibT_eX]

[DOI]

Künstliche Intell., 2008

Spatial Cognition 2008 - Call for Papers.

[BibT_eX]

[DOI]

Künstliche Intell., 2008

Reasoning about Topological and Positional Information in Dynamic Settings.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

2007

Qualitative Spatial Reasoning for Rule Compliant Agent Navigation.

[BibT_eX]

[DOI]

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

2006

Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

Events in Branching Time.

[BibT_eX]

[DOI]

Stud Logica, 2005

Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs.

[BibT_eX]

[DOI]

Proceedings of the KI 2005: Advances in Artificial Intelligence, 2005

Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.

[BibT_eX]

[DOI]

Till Mossakowski

Lutz Schröder

Proceedings of the Spatial Cognition: Specialization and Integration, 04.12. - 09.12.2005, 2005

Casl Specifications of Qualitative Calculi.

[BibT_eX]

[DOI]

Till Mossakowski

Proceedings of the Spatial Information Theory, International Conference, 2005

2004

Branching Allen.

[BibT_eX]

[DOI]

Proceedings of the Spatial Cognition IV: Reasoning, 2004

Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2002

Propositional <i>Q</i>-Logic.

[BibT_eX]

[DOI]

J. Philos. Log., 2002

1999

Combinations of Tense and Modality for Predicate Logic.

[BibT_eX]

[DOI]