Search dblp for Publications

export results for "toc:db/reference/spatial/spatial2007.bht:"

 download as .bib file

@incollection{DBLP:reference/spatial/AielloPB07,
  author       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  editor       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  title        = {What is Spatial Logic?},
  booktitle    = {Handbook of Spatial Logics},
  pages        = {1--11},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-1-4020-5587-4\_1},
  doi          = {10.1007/978-1-4020-5587-4\_1},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/spatial/AielloPB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/spatial/AndrekaMN07,
  author       = {Hajnal Andr{\'{e}}ka and
                  Judit X. Madar{\'{a}}sz and
                  Istv{\'{a}}n N{\'{e}}meti},
  editor       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  title        = {Logic of Space-Time and Relativity Theory},
  booktitle    = {Handbook of Spatial Logics},
  pages        = {607--711},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-1-4020-5587-4\_11},
  doi          = {10.1007/978-1-4020-5587-4\_11},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/spatial/AndrekaMN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/spatial/BalbianiGKV07,
  author       = {Philippe Balbiani and
                  Valentin Goranko and
                  Ruaan Kellerman and
                  Dimiter Vakarelov},
  editor       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  title        = {Logical Theories for Fragments of Elementary Geometry},
  booktitle    = {Handbook of Spatial Logics},
  pages        = {343--428},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-1-4020-5587-4\_7},
  doi          = {10.1007/978-1-4020-5587-4\_7},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/reference/spatial/BalbianiGKV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/spatial/BennettD07,
  author       = {Brandon Bennett and
                  Ivo D{\"{u}}ntsch},
  editor       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  title        = {Axioms, Algebras and Topology},
  booktitle    = {Handbook of Spatial Logics},
  pages        = {99--159},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-1-4020-5587-4\_3},
  doi          = {10.1007/978-1-4020-5587-4\_3},
  timestamp    = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/spatial/BennettD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/spatial/BenthemB07,
  author       = {Johan van Benthem and
                  Guram Bezhanishvili},
  editor       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  title        = {Modal Logics of Space},
  booktitle    = {Handbook of Spatial Logics},
  pages        = {217--298},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-1-4020-5587-4\_5},
  doi          = {10.1007/978-1-4020-5587-4\_5},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/spatial/BenthemB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/spatial/BlochHR07,
  author       = {Isabelle Bloch and
                  Henk J. A. M. Heijmans and
                  Christian Ronse},
  editor       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  title        = {Mathematical Morphology},
  booktitle    = {Handbook of Spatial Logics},
  pages        = {857--944},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-1-4020-5587-4\_14},
  doi          = {10.1007/978-1-4020-5587-4\_14},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/spatial/BlochHR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/spatial/GeertsK07,
  author       = {Floris Geerts and
                  Bart Kuijpers},
  editor       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  title        = {Real Algebraic Geometry and Constraint Databases},
  booktitle    = {Handbook of Spatial Logics},
  pages        = {799--856},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-1-4020-5587-4\_13},
  doi          = {10.1007/978-1-4020-5587-4\_13},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/reference/spatial/GeertsK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/spatial/KontchakovKWZ07,
  author       = {Roman Kontchakov and
                  Agi Kurucz and
                  Frank Wolter and
                  Michael Zakharyaschev},
  editor       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  title        = {Spatial Logic + Temporal Logic = ?},
  booktitle    = {Handbook of Spatial Logics},
  pages        = {497--564},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-1-4020-5587-4\_9},
  doi          = {10.1007/978-1-4020-5587-4\_9},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/spatial/KontchakovKWZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/spatial/KremerM07,
  author       = {Philip Kremer and
                  Grigori Mints},
  editor       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  title        = {Dynamic Topological Logic},
  booktitle    = {Handbook of Spatial Logics},
  pages        = {565--606},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-1-4020-5587-4\_10},
  doi          = {10.1007/978-1-4020-5587-4\_10},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/spatial/KremerM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/spatial/ParikhMS07,
  author       = {Rohit Parikh and
                  Lawrence S. Moss and
                  Chris Steinsvold},
  editor       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  title        = {Topology and Epistemic Logic},
  booktitle    = {Handbook of Spatial Logics},
  pages        = {299--341},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-1-4020-5587-4\_6},
  doi          = {10.1007/978-1-4020-5587-4\_6},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/spatial/ParikhMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/spatial/Pratt-Hartmann07,
  author       = {Ian Pratt{-}Hartmann},
  editor       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  title        = {First-Order Mereotopology},
  booktitle    = {Handbook of Spatial Logics},
  pages        = {13--97},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-1-4020-5587-4\_2},
  doi          = {10.1007/978-1-4020-5587-4\_2},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/spatial/Pratt-Hartmann07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/spatial/RenzN07,
  author       = {Jochen Renz and
                  Bernhard Nebel},
  editor       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  title        = {Qualitative Spatial Reasoning Using Constraint Calculi},
  booktitle    = {Handbook of Spatial Logics},
  pages        = {161--215},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-1-4020-5587-4\_4},
  doi          = {10.1007/978-1-4020-5587-4\_4},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/spatial/RenzN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/spatial/SmythW07,
  author       = {Michael B. Smyth and
                  Julian Webster},
  editor       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  title        = {Discrete Spatial Models},
  booktitle    = {Handbook of Spatial Logics},
  pages        = {713--798},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-1-4020-5587-4\_12},
  doi          = {10.1007/978-1-4020-5587-4\_12},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/spatial/SmythW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/spatial/Varzi07,
  author       = {Achille C. Varzi},
  editor       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  title        = {Spatial Reasoning and Ontology: Parts, Wholes, and Locations},
  booktitle    = {Handbook of Spatial Logics},
  pages        = {945--1038},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-1-4020-5587-4\_15},
  doi          = {10.1007/978-1-4020-5587-4\_15},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/spatial/Varzi07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/spatial/Vickers07,
  author       = {Steven Vickers},
  editor       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  title        = {Locales and Toposes as Spaces},
  booktitle    = {Handbook of Spatial Logics},
  pages        = {429--496},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-1-4020-5587-4\_8},
  doi          = {10.1007/978-1-4020-5587-4\_8},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/spatial/Vickers07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:reference/spatial/2007,
  editor       = {Marco Aiello and
                  Ian Pratt{-}Hartmann and
                  Johan van Benthem},
  title        = {Handbook of Spatial Logics},
  publisher    = {Springer},
  year         = {2007},
  isbn         = {978-1-4020-5586-7},
  timestamp    = {Tue, 10 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/spatial/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.