D-Net

<?xml version="1.0" encoding="UTF-8"?>

<record xmlns="http://www.openarchives.org/OAI/2.0/">

   <header>

    <identifier>oai:pumaoai.isti.cnr.it:cnr.isti/cnr.isti/2014-TR-001</identifier>

    <datestamp>2014-01-09</datestamp>

    <setSpec>openaire</setSpec>

   </header>

   <metadata>

     <oai_dc:dc xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/        http://www.openarchives.org/OAI/2.0/oai_dc.xsd">

      <dc:title>Logics of space and time</dc:title>

      <dc:creator>Ciancia, Vincenzo</dc:creator>

      <dc:creator>Latella, Diego</dc:creator>

      <dc:creator>Massink, Mieke</dc:creator>

      <dc:subject>Modal logics</dc:subject>

      <dc:subject>Spatial logics</dc:subject>

      <dc:subject>Topology</dc:subject>

      <dc:subject>info:eu-repo/classification/acm/F.3.1 Specifying and Verifying and Reasoning about Programs</dc:subject>

      <dc:subject>info:eu-repo/classification/acm/F.4.1 Mathematical Logic</dc:subject>

      <dc:subject>info:eu-repo/classification/acm/D.2.4 Software/Program Verification</dc:subject>

      <dc:subject>info:eu-repo/classification/msc/03B70</dc:subject>

      <dc:subject>info:eu-repo/classification/msc/03B45</dc:subject>

      <dc:description>We review some literature in the field of spatial logics. The selection of papers we make is intended as an introductory guide in this broad area. In perspective, this review should be expanded in the future and become tailored to the use of spatial reasoning in the context of population models and their ODE / PDE approximations. The application to keep in mind is the analysis of population models where individuals are scattered over a spatial structure. In this context, typically, space is intended to be multi-dimensional, discrete or continuous; it may be useful to think in terms of Euclidean spaces, but also graph-based relational models may be the subject of spatial reasoning. Furthermore, metrics, measures, probabilities and rates may also be part of the requirements of an analysis methodology.</dc:description>

      <dc:relation>info:eu-repo/grantAgreement/EC/FP7/600708/EU/A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours/QUANTICOL</dc:relation>

      <dc:date>2014-01-08</dc:date>

      <dc:type>info:eu-repo/semantics/report</dc:type>

      <dc:identifier>http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2014-TR-001</dc:identifier>

      <dc:language>en</dc:language>

      <dc:source>QUANTICOL TR-QC-1-2014. Technical report, 2014.</dc:source>

      <dc:relation>info:eu-repo/semantics/altIdentifier/url/http://milner.inf.ed.ac.uk/wiki/files/m30750X1/TRQC012014_SpatialLogics_Ciancia_Latella_Massinkpdf.html</dc:relation>

      <dc:format>application/pdf</dc:format>

      <dc:identifier>http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2014-TR-001/2014-TR-001.pdf</dc:identifier>

      <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>

     </oai_dc:dc>

   </metadata>

  </record>