@article{vanbeek96temporalreasoning,
        title = {{T}he {D}esign and an {E}xperimental {A}nalysis of {A}lgorithms for {T}emporal {R}easoning},
        author = {Peter van Beek and Dennis W. Manchak},
        journal = {Journal of Artificial Intelligence Research},
        note = {ee = {http://arxiv.org/pdf/cs/9601101}},
        pages = {1--18},
        volume = 4,
        year = 1996,
        url = {http://arxiv.org/abs/cs.AI/9601101},
        ee = {http://arxiv.org/pdf/cs/9601101},
	biburl = {http://www.bibsonomy.org/bibtex/2276f017376952f18622caff720abff65/zeno},
	keywords = {allen 1996 temporal interval-algebra qualitative-reasoning Temporal efficiency ais-07w}
}

@article{Ladkin92Effective,
        title = {Effective Solution of Qualitative Interval Constraint Problems.},
        author = {Peter B. Ladkin and Alexander Reinefeld},
        journal = {Artif. Intell.},
        number = 1,
        pages = {105-124},
        volume = 57,
        year = 1992,
        url = {http://dblp.uni-trier.de/db/journals/ai/ai57.html#LadkinR92},
        date = {2003-11-19},
	description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/2660f7f1df5f87dcccbbef61f5ab213fc/zeno},
	keywords = {1992 interval-algebra qualitative-reasoning}
}

@inproceedings{Ladkin92SymbolicApproach,
        title = {A Symbolic Approach to Interval Constraint Problems.},
        author = {Peter B. Ladkin and Alexander Reinefeld},
        booktitle = {AISMC},
        crossref = {conf/aisc/1992},
        editor = {Jacques Calmet and John A. Campbell},
        pages = {65-84},
        publisher = {Springer},
        series = {Lecture Notes in Computer Science},
        volume = 737,
        year = 1992,
        url = {http://dblp.uni-trier.de/db/conf/aisc/aismc1992.html#LadkinR92},
        isbn = {3-540-57322-4},
	date = {2002-07-01},
	description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/22b58f4e461de829355d6ace3837b5b87/zeno},
	keywords = {1992 interval-algebra qualitative-reasoning}
}

@inproceedings{conf/ijcai/Renz07,
        title = {Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for Everyone.},
        author = {Jochen Renz},
        booktitle = {IJCAI},
        crossref = {conf/ijcai/2007},
        editor = {Manuela M. Veloso},
        pages = {526-531},
        year = 2007,
        url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2007.html#Renz07},
        ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-083.pdf},
	date = {2007-03-05},
	description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/26a34301092b60b2cc7243ce784954ec0/zeno},
	keywords = {allen 2007 spatial temporal interval-algebra qualitative-reasoning tractable rcc}
}

@article{cohn97rcc8,
        title = {Qualitative Spatial Representation and Reasoning with the Region Connection Calculus.},
        author = {Anthony G. Cohn and Brandon Bennett and John Gooday and Nicholas Mark Gotts},
        journal = {GeoInformatica},
        number = 3,
        pages = {275-316},
        volume = 1,
        year = 1997,
        url = {http://dblp.uni-trier.de/db/journals/geoinformatica/geoinformatica1.html#CohnBGG97},
        ee = {http://www.w3j.com/xml/excerpt.html},
	biburl = {http://www.bibsonomy.org/bibtex/2649d39dc93bcb14c7214c8ba05d2af0c/zeno},
	keywords = {1997 spatial qualitative-reasoning rcc}
}

@techreport{Guesgen89RectangleAlgebra,
        title = {{S}patial {R}easoning {B}ased on {A}llen's {T}emporal {L}ogic},
        author = {Hans Werner Guesgen},
        institution = {International Computer Science Institute},
        year = 1989,
        optaddress = {1947 Center St, Suite 600, Berkeley, CA},
	optnumber = {TR-89-049},
	biburl = {http://www.bibsonomy.org/bibtex/2bf876f855e890b46e73814502dd56312/zeno},
	keywords = {allen spatial temporal qualitative-reasoning 1989}
}

@incollection{VilainKautzVanBeek90Revised,
        title = {{C}onstraint {P}ropagation {A}lgorithms for {T}emporal {R}easoning:  {A} {R}evised {R}eport},
        address = {San Francisco, CA, USA},
        author = {Marc Vilain and Henry Kautz and Peter van Beek},
        booktitle = {Readings in qualitative reasoning about physical systems},
        pages = {373--381},
        publisher = {Morgan Kaufmann Publishers Inc.},
        year = 1990,
        isbn = {1-55860-095-7},
	biburl = {http://www.bibsonomy.org/bibtex/2edc4386e11f4b540059684bb2fb990ff/zeno},
	keywords = {revised temporal constraint qualitative-reasoning propagation 1990 algorithm}
}

@incollection{VilainKautz86ConstraintPropagation,
        title = {{C}onstraint {P}ropagation {A}lgorithms for {T}emporal {R}easoning},
        author = {Marc Vilain and Henry Kautz},
        booktitle = {Proceedings of AAAI-86},
        pages = {377--382},
        publisher = {AAAI Press},
        year = 1986,
        biburl = {http://www.bibsonomy.org/bibtex/291e1b0f412ba3307f371f7571a7f866f/zeno},
	keywords = {1986 temporal constraint qualitative-reasoning propagation algorithm}
}

@proceedings{DBLP:conf/cp/2005,
        title = {Principles and Practice of Constraint Programming - CP 2005,
               11th International Conference, CP 2005, Sitges, Spain, October
               1-5, 2005, Proceedings},
        booktitle = {CP},
        editor = {Peter van Beek},
        publisher = {Springer},
        series = {Lecture Notes in Computer Science},
        volume = 3709,
        year = 2005,
        bibsource = {DBLP, http://dblp.uni-trier.de},
	isbn = {3-540-29238-1},
	biburl = {http://www.bibsonomy.org/bibtex/2e82098abf352d3c64900fd008720fcc7/zeno},
	keywords = {2005 constraints qualitative-reasoning CP}
}

@inproceedings{RenzLigozat2005Weak,
        title = {{W}eak {C}omposition for {Q}ualitative {S}patial and {T}emporal {R}easoning},
        author = {Jochen Renz and G{\'e}rard Ligozat},
        booktitle = {CP},
        crossref = {DBLP:conf/cp/2005},
        editor = {Peter van Beek},
        pages = {534-548},
        publisher = {Springer},
        series = {Lecture Notes in Computer Science},
        volume = 3709,
        year = 2005,
        ee = {http://dx.doi.org/10.1007/11564751_40},
	bibsource = {DBLP, http://dblp.uni-trier.de},
	isbn = {3-540-29238-1},
	biburl = {http://www.bibsonomy.org/bibtex/2edd27f94f57ae9a57fa2f05422584a61/zeno},
	keywords = {spatial weak-composition 2005 temporal theory qualitative-reasoning}
}

@inproceedings{BalbianiCondottaFarinas99TractableRA,
        title = {{A} {N}ew {T}ractable {S}ubclass of the {R}ectangle {A}lgebra},
        author = {Philippe Balbiani and Jean-Francois Condotta and Luis Farinas del Cerro},
        booktitle = {{IJCAI}},
        pages = {442-447},
        year = 1999,
        url = {citeseer.ist.psu.edu/balbiani99new.html},
        biburl = {http://www.bibsonomy.org/bibtex/2646dbac2f4d9b5e4f3521d0171198edb/zeno},
	keywords = {rectangle-algebra qualitative-reasoning efficiency 1999}
}

@incollection{Bennett94spatial,
        title = {{S}patial {R}easoning with {P}ropositional {L}ogics},
        address = {San Francisco, California},
        author = {Brandon Bennett},
        booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
        editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
        pages = {51--62},
        publisher = {Morgan Kaufmann},
        year = 1994,
        url = {citeseer.ist.psu.edu/bennett94spatial.html},
        biburl = {http://www.bibsonomy.org/bibtex/2e8f79fee62e673917f8e8eaff9331bbe/zeno},
	keywords = {spatial propositional-logic 1994 qualitative-reasoning intuitionistic rcc logic}
}

@incollection{forbus97qualitative,
        title = {{Q}ualitative {R}easoning},
        author = {Kenneth D. Forbus},
        booktitle = {The Computer Science and Engineering Handbook},
        pages = {715--733},
        publisher = {CRC Press},
        year = 1997,
        biburl = {http://www.bibsonomy.org/bibtex/248e1ec3ef6eac660900c15ae1139803d/zeno},
	keywords = {1997 qualitative-reasoning}
}

@inproceedings{KrokhinJeavonsJonsson2001CompleteAllen,
        title = {A Complete Classification of Complexity in Allens Algebra
               in the Presence of a Non-Trivial Basic Relation.},
        author = {Andrei A. Krokhin and Peter Jeavons and Peter Jonsson},
        booktitle = {IJCAI},
        crossref = {DBLP:conf/ijcai/2001},
        editor = {Bernhard Nebel},
        pages = {83--88},
        publisher = {Morgan Kaufmann},
        year = 2001,
        bibsource = {DBLP, http://dblp.uni-trier.de},
	isbn = {1-55860-777-3},
	biburl = {http://www.bibsonomy.org/bibtex/2d4d9fe3672e63d46a16ff049df91d523/zeno},
	keywords = {allen complexity temporal qualitative-reasoning 2001}
}

@proceedings{DBLP:conf/cosit/2005,
        title = {Spatial Information Theory, International Conference, COSIT
               2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings},
        booktitle = {COSIT 2005},
        editor = {Anthony G. Cohn and David M. Mark},
        publisher = {Springer},
        series = {Lecture Notes in Computer Science: 3693},
        year = 2005,
        bibsource = {DBLP, http://dblp.uni-trier.de},
	isbn = {3-540-28964-X},
	nnvolume = {3693},
	biburl = {http://www.bibsonomy.org/bibtex/2b49794e8e3eb91fc77df87ff0c805e7d/zeno},
	keywords = {information spatial 2005 proceedings theory qualitative-reasoning}
}

@article{Mackworth77,
        title = {{C}onsistency in {N}etworks of {R}elations.},
        author = {Alan K. Mackworth},
        journal = {Artificial Intelligence},
        number = 1,
        pages = {99--118},
        volume = 8,
        year = 1977,
        bibsource = {DBLP, http://dblp.uni-trier.de},
	biburl = {http://www.bibsonomy.org/bibtex/261bf6e8ab963ca12a7e57e9a89881e08/zeno},
	keywords = {path-consistency consistency 1977 qualitative-reasoning algorithm}
}

@article{CohnHazarika01QSRR,
        title = {{Q}ualitative {S}patial {R}epresentation and {R}easoning: {A}n {O}verview},
        author = {A G Cohn and S M Hazarika},
        journal = {Fundamenta Informaticae},
        number = {1-2},
        pages = {1--29},
        volume = 46,
        year = 2001,
        biburl = {http://www.bibsonomy.org/bibtex/20606d2537800b527e59219c2102a73b8/zeno},
	keywords = {spatial overview knowledge-representation qualitative-reasoning 2001}
}

@article{DechterMeiriPearl91TemporalConstraintNetworks,
        title = {{T}emporal {C}onstraint {N}etworks},
        author = {Rina Dechter and Itay Meiri and Judea Pearl},
        journal = {Artificial Intelligence},
        number = {1-3},
        pages = {61--95},
        volume = 49,
        year = 1991,
        biburl = {http://www.bibsonomy.org/bibtex/2120109b22aee635e60de6299ccbfef34/zeno},
	keywords = {1991 temporal constraints qualitative-reasoning}
}

@article{LadkinReinefeld96FastMethods,
        title = {{F}ast {A}lgebraic {M}ethods for {I}nterval {C}onstraint {P}roblems},
        author = {Peter B. Ladkin and Alexander Reinefeld},
        journal = {Annals of Mathematics and Artificial Intelligence},
        number = {3-4},
        pages = {383--411},
        volume = 19,
        year = 1997,
        biburl = {http://www.bibsonomy.org/bibtex/2b9b241cb86e1e3d898c2707a6d85bc96/zeno},
	keywords = {allen 1996 reasoning temporal interval-algebra qualitative-reasoning efficiency}
}

@incollection{RandellCuiCohn92SpatialLogic,
        title = {{A} {S}patial {L}ogic {B}ased on {R}egions and {C}onnection},
        address = {San Mateo, California},
        author = {David A. Randell and Zhan Cui and Anthony Cohn},
        booktitle = {{KR}'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference},
        editor = {Bernhard Nebel and Charles Rich and William Swartout},
        pages = {165--176},
        publisher = {Morgan Kaufmann},
        year = 1992,
        url = {citeseer.ist.psu.edu/randell92spatial.html},
        biburl = {http://www.bibsonomy.org/bibtex/203ff34d4f4120a7a65127aaa5cd9bd14/zeno},
	keywords = {topology qualitative-reasoning mereology regions first-paper rcc}
}