Temporal Logic, From Ancient Ideas to Artificial Intelligence View Full Text


Ontology type: schema:Book     


Book Info

DATE

1995

GENRE

Monograph

AUTHORS

Peter Øhrstrøm , F. V. Per Hasle

PUBLISHER

Springer Netherlands

ABSTRACT

N/A

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-0-585-37463-5

DOI

http://dx.doi.org/10.1007/978-0-585-37463-5

ISBN

978-0-7923-3586-3 | 978-0-585-37463-5

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1023691724


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "author": [
      {
        "affiliation": {
          "alternateName": "Aalborg University", 
          "id": "https://www.grid.ac/institutes/grid.5117.2", 
          "name": [
            "Department of Communication, Aalborg University, Denmark"
          ], 
          "type": "Organization"
        }, 
        "familyName": "\u00d8hrstr\u00f8m", 
        "givenName": "Peter", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Aarhus University", 
          "id": "https://www.grid.ac/institutes/grid.7048.b", 
          "name": [
            "Department of Information Science, University of Aarhus, Denmark"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Hasle", 
        "givenName": "F. V. Per", 
        "type": "Person"
      }
    ], 
    "datePublished": "1995", 
    "datePublishedReg": "1995-01-01", 
    "genre": "monograph", 
    "id": "sg:pub.10.1007/978-0-585-37463-5", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isbn": [
      "978-0-7923-3586-3", 
      "978-0-585-37463-5"
    ], 
    "name": "Temporal Logic, From Ancient Ideas to Artificial Intelligence", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "70df8e1d1bc1426f879abf1df2ef4fa929c621e1b9909fedcbef75c2496f8bfe"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-0-585-37463-5"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1023691724"
        ]
      }
    ], 
    "publisher": {
      "location": "Dordrecht", 
      "name": "Springer Netherlands", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-0-585-37463-5", 
      "https://app.dimensions.ai/details/publication/pub.1023691724"
    ], 
    "sdDataset": "books", 
    "sdDatePublished": "2019-04-12T03:57", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000371_0000000371/records_130829_00000002.jsonl", 
    "type": "Book", 
    "url": "https://link.springer.com/10.1007%2F978-0-585-37463-5"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-0-585-37463-5'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-0-585-37463-5'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-0-585-37463-5'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-0-585-37463-5'


 

This table displays all metadata directly associated to this object as RDF triples.

54 TRIPLES      18 PREDICATES      23 URIs      18 LITERALS      6 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-0-585-37463-5 schema:author N6b1c380dd12045209ca0720b9be65c43
2 schema:datePublished 1995
3 schema:datePublishedReg 1995-01-01
4 schema:genre monograph
5 schema:inLanguage en
6 schema:isAccessibleForFree false
7 schema:isbn 978-0-585-37463-5
8 978-0-7923-3586-3
9 schema:name Temporal Logic, From Ancient Ideas to Artificial Intelligence
10 schema:productId N3cf4582bfb7940689c0c4d7a1c1983ee
11 N7c5631fa3e7447d6b70c0e4de41d1f15
12 N8ccc9c6009544e76a4592c933f5b0491
13 schema:publisher N47d0fab9123e4b3f8ee7fe09650fa279
14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023691724
15 https://doi.org/10.1007/978-0-585-37463-5
16 schema:sdDatePublished 2019-04-12T03:57
17 schema:sdLicense https://scigraph.springernature.com/explorer/license/
18 schema:sdPublisher N0d718fc53840431195aecf34f71ba9ed
19 schema:url https://link.springer.com/10.1007%2F978-0-585-37463-5
20 sgo:license sg:explorer/license/
21 sgo:sdDataset books
22 rdf:type schema:Book
23 N0d718fc53840431195aecf34f71ba9ed schema:name Springer Nature - SN SciGraph project
24 rdf:type schema:Organization
25 N3cf4582bfb7940689c0c4d7a1c1983ee schema:name dimensions_id
26 schema:value pub.1023691724
27 rdf:type schema:PropertyValue
28 N42da36fc953f470885dd7002a7a3de49 schema:affiliation https://www.grid.ac/institutes/grid.7048.b
29 schema:familyName Hasle
30 schema:givenName F. V. Per
31 rdf:type schema:Person
32 N47d0fab9123e4b3f8ee7fe09650fa279 schema:location Dordrecht
33 schema:name Springer Netherlands
34 rdf:type schema:Organisation
35 N6b1c380dd12045209ca0720b9be65c43 rdf:first Nafd9cd9ac7e844d49df40f6708b8303a
36 rdf:rest Ncbcdeacde767468599616ff42eada421
37 N7c5631fa3e7447d6b70c0e4de41d1f15 schema:name doi
38 schema:value 10.1007/978-0-585-37463-5
39 rdf:type schema:PropertyValue
40 N8ccc9c6009544e76a4592c933f5b0491 schema:name readcube_id
41 schema:value 70df8e1d1bc1426f879abf1df2ef4fa929c621e1b9909fedcbef75c2496f8bfe
42 rdf:type schema:PropertyValue
43 Nafd9cd9ac7e844d49df40f6708b8303a schema:affiliation https://www.grid.ac/institutes/grid.5117.2
44 schema:familyName Øhrstrøm
45 schema:givenName Peter
46 rdf:type schema:Person
47 Ncbcdeacde767468599616ff42eada421 rdf:first N42da36fc953f470885dd7002a7a3de49
48 rdf:rest rdf:nil
49 https://www.grid.ac/institutes/grid.5117.2 schema:alternateName Aalborg University
50 schema:name Department of Communication, Aalborg University, Denmark
51 rdf:type schema:Organization
52 https://www.grid.ac/institutes/grid.7048.b schema:alternateName Aarhus University
53 schema:name Department of Information Science, University of Aarhus, Denmark
54 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...