Journal of Automated Reasoning View Homepage


Ontology type: schema:Periodical     


Journal Info

START YEAR

1985

PUBLISHER

Springer Netherlands

LANGUAGE

en

HOMEPAGE

http://link.springer.com/journal/10817

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", 
    "about": [
      {
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I16048", 
        "inDefinedTermSet": "http://scigraph.springernature.com/ontologies/product-market-codes/", 
        "name": "Mathematical Logic and Formal Languages", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I21000", 
        "inDefinedTermSet": "http://scigraph.springernature.com/ontologies/product-market-codes/", 
        "name": "Artificial Intelligence", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/M24005", 
        "inDefinedTermSet": "http://scigraph.springernature.com/ontologies/product-market-codes/", 
        "name": "Mathematical Logic and Foundations", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I17052", 
        "inDefinedTermSet": "http://scigraph.springernature.com/ontologies/product-market-codes/", 
        "name": "Symbolic and Algebraic Manipulation", 
        "type": "DefinedTerm"
      }
    ], 
    "contentRating": [
      {
        "author": "snip", 
        "ratingValue": "2.005", 
        "type": "Rating"
      }, 
      {
        "author": "sjr", 
        "ratingValue": "0.65", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2017", 
        "ratingValue": "1.321", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2016", 
        "ratingValue": "1.636", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2015", 
        "ratingValue": "2.113", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2014", 
        "ratingValue": "0.881", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2013", 
        "ratingValue": "0.468", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2012", 
        "ratingValue": "0.567", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2011", 
        "ratingValue": "0.714", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2010", 
        "ratingValue": "2.280", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2009", 
        "ratingValue": "1.926", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2008", 
        "ratingValue": "1.691", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2007", 
        "ratingValue": "0.833", 
        "type": "Rating"
      }
    ], 
    "description": "

The interdisciplinary Journal of Automated Reasoning balances theory, implementation and application. The spectrum of coverage ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. Topics include automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications. The contents focus on several aspects of automated reasoning, a field whose objective is the design and implementation of a computer program that serves as an assistant in solving problems and in answering questions that require reasoning.

\n

The Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.

\n

Proof Pearls

\n

In addition to regular research articles, the Journal of Automated Reasoning offers the special article type Proof Pearls. The goal is to disseminate insights gleaned from the growing body of machine-checked formalizations and proofs, obtained using both interactive and automated methods. Application areas include the full range from pure mathematics and logic to software and hardware verification. Proof Pearls should be short communications that focus on a few central ideas rather than extended research reports.

\n

Contributions may include: a short, elegant proof of a self-standing result; a novel way of defining a fundamental concept; a notable approach to proving a key lemma in a larger development; a snippet of verified code, carefully engineered to balance efficiency with ease of verification; or a clever or impressive application of automated tools in a particular domain.

\n

Proof Pearls adapt Jon Bentley's notion of a \"programming pearl\" to the verification paradigm. Proof Pearls should thus encapsulate fundamental insights that are adaptable and reusable, while being elegant and satisfying in their own right. Typical examples could be a verification of Huffman's algorithm, a perspicuous proof of the fundamental theorem of algebra, or a novel axiomatization of a particular algebraic system that was discovered using automated methods.

\n

Submissions will undergo the usual refereeing process, and will be evaluated according to expository and theoretical merit. Systems and formalizations should be made available online.

", "editor": [ { "familyName": "Nipkow", "givenName": "Tobias", "type": "Person" } ], "id": "sg:journal.1136522", "inLanguage": [ "en" ], "isAccessibleForFree": false, "issn": [ "0168-7433", "1573-0670" ], "license": "Hybrid (Open Choice)", "name": "Journal of Automated Reasoning", "productId": [ { "name": "scopus_id", "type": "PropertyValue", "value": [ "24354" ] }, { "name": "wos_id", "type": "PropertyValue", "value": [ "0168-7433/JOURNAL OF AUTOMATED REASONING" ] }, { "name": "nlm_unique_id", "type": "PropertyValue", "value": [ "101730032" ] }, { "name": "nsd_ids_id", "type": "PropertyValue", "value": [ "442472" ] }, { "name": "springer_id", "type": "PropertyValue", "value": [ "10817" ] }, { "name": "lccn_id", "type": "PropertyValue", "value": [ "2004229180" ] }, { "name": "dimensions_id", "type": "PropertyValue", "value": [ "136522" ] }, { "name": "era_ids_id", "type": "PropertyValue", "value": [ "17974" ] } ], "publisher": { "name": "Springer Netherlands", "type": "Organization" }, "publisherImprint": "Springer", "sameAs": [ "https://app.dimensions.ai/discover/publication?and_facet_source_title=jour.1136522" ], "sdDataset": "journals", "sdDatePublished": "2019-03-18T11:05", "sdLicense": "https://scigraph.springernature.com/explorer/license/", "sdPublisher": { "name": "Springer Nature - SN SciGraph project", "type": "Organization" }, "sdSource": "file:///home/ubuntu/piotr/scigraph_export/journals_20190313_sn_only.jsonl", "startYear": "1985", "type": "Periodical", "url": "http://link.springer.com/journal/10817" } ]
 

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/journal.1136522'

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

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/journal.1136522'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/journal.1136522'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/journal.1136522'


 

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

165 TRIPLES      21 PREDICATES      45 URIs      37 LITERALS      24 BLANK NODES

Subject Predicate Object
1 sg:journal.1136522 schema:about sg:ontologies/product-market-codes/I16048
2 sg:ontologies/product-market-codes/I17052
3 sg:ontologies/product-market-codes/I21000
4 sg:ontologies/product-market-codes/M24005
5 schema:contentRating N0e47c02b539a44eda09b3b3f396cae1e
6 N26a9321bc16b4b5ea95a6186348c9a4c
7 N5ab5066b82ac4f9995cd047baf4a53a5
8 N66c1399eab5743de9f68254662567f0a
9 N756f1f3ef5f8449dac7668ca5b67bdf8
10 N82e9f1f965ef4fccadd76b9f8c0729c3
11 N8e1efba2b59447718d73c57ccf73d222
12 N933660a9ba2443d8acc62e0eb1a6c00a
13 N990c3d11287143b1bf6d71ef7e80198e
14 Nc0036ddb8c0645059966ef464d37127e
15 Nd25e3aabcb9849fca328f4afccb11b6e
16 Ndd6b5f5025dc4445a539796a3ac788a0
17 Nee9de8a43ef545739ff34cfe000023c7
18 schema:description <P>The interdisciplinary Journal of Automated Reasoning balances theory, implementation and application. The spectrum of coverage ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. Topics include automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications. The contents focus on several aspects of automated reasoning, a field whose objective is the design and implementation of a computer program that serves as an assistant in solving problems and in answering questions that require reasoning.</P> <P>The Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.</P> <P><STRONG>Proof Pearls</STRONG></P> <P>In addition to regular research articles, the Journal of Automated Reasoning offers the special article type Proof Pearls. The goal is to disseminate insights gleaned from the growing body of machine-checked formalizations and proofs, obtained using both interactive and automated methods. Application areas include the full range from pure mathematics and logic to software and hardware verification. Proof Pearls should be short communications that focus on a few central ideas rather than extended research reports. </P> <P>Contributions may include: a short, elegant proof of a self-standing result; a novel way of defining a fundamental concept; a notable approach to proving a key lemma in a larger development; a snippet of verified code, carefully engineered to balance efficiency with ease of verification; or a clever or impressive application of automated tools in a particular domain.</P> <P>Proof Pearls adapt Jon Bentley's notion of a "programming pearl" to the verification paradigm. Proof Pearls should thus encapsulate fundamental insights that are adaptable and reusable, while being elegant and satisfying in their own right. Typical examples could be a verification of Huffman's algorithm, a perspicuous proof of the fundamental theorem of algebra, or a novel axiomatization of a particular algebraic system that was discovered using automated methods.</P> <P>Submissions will undergo the usual refereeing process, and will be evaluated according to expository and theoretical merit. Systems and formalizations should be made available online.</P>
19 schema:editor N6c5ed51291644ffd82ad444d3da67f4b
20 schema:inLanguage en
21 schema:isAccessibleForFree false
22 schema:issn 0168-7433
23 1573-0670
24 schema:license Hybrid (Open Choice)
25 schema:name Journal of Automated Reasoning
26 schema:productId N1f5ac8bf7ed54114834db295bbc801b0
27 N26c8bcfcc1264feba48c05806f8a2f7a
28 N5e2a59c9b605418da11156413c8b3fc4
29 N7aceb4f370864ee6b21cb87b72092058
30 Na4f8634cc0694c5480660e7ef3cb72b0
31 Na6a905d9d66f4ebab3d40a40d2b4ece0
32 Nc5ed03497a294ecfb54b4eea1f1adadd
33 Ncc5d0589c91949408070f238c7e9199b
34 schema:publisher N51c5ce7ccd7b4bbb9fb2895a085a6fe8
35 schema:publisherImprint Springer
36 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_source_title=jour.1136522
37 schema:sdDatePublished 2019-03-18T11:05
38 schema:sdLicense https://scigraph.springernature.com/explorer/license/
39 schema:sdPublisher Ncdf00b4319ab4dfd8a1860bf4f1b9b6c
40 schema:startYear 1985
41 schema:url http://link.springer.com/journal/10817
42 sgo:license sg:explorer/license/
43 sgo:sdDataset journals
44 rdf:type schema:Periodical
45 N02e6fff488ad4127a0bb08160f3d9bcd rdf:first impact_factor_wos
46 rdf:rest rdf:nil
47 N0c509cb03e23447197e4bcc2963a74e9 rdf:first impact_factor_wos
48 rdf:rest rdf:nil
49 N0e47c02b539a44eda09b3b3f396cae1e schema:author Ndcfc680ab7314aaf86abd03c9d3186dd
50 schema:dateCreated 2015
51 schema:ratingValue 2.113
52 rdf:type schema:Rating
53 N1f5ac8bf7ed54114834db295bbc801b0 schema:name era_ids_id
54 schema:value 17974
55 rdf:type schema:PropertyValue
56 N26a9321bc16b4b5ea95a6186348c9a4c schema:author N02e6fff488ad4127a0bb08160f3d9bcd
57 schema:dateCreated 2009
58 schema:ratingValue 1.926
59 rdf:type schema:Rating
60 N26c8bcfcc1264feba48c05806f8a2f7a schema:name wos_id
61 schema:value 0168-7433/JOURNAL OF AUTOMATED REASONING
62 rdf:type schema:PropertyValue
63 N295b7e8c760b4230bf8e9d17d248f067 rdf:first impact_factor_wos
64 rdf:rest rdf:nil
65 N40b3fc672bf1453e9d4828fc6c4ad906 rdf:first impact_factor_wos
66 rdf:rest rdf:nil
67 N51c5ce7ccd7b4bbb9fb2895a085a6fe8 schema:name Springer Netherlands
68 rdf:type schema:Organization
69 N5ab5066b82ac4f9995cd047baf4a53a5 schema:author N83e8d5f502ef49eaad0c721403e4d7b4
70 schema:dateCreated 2008
71 schema:ratingValue 1.691
72 rdf:type schema:Rating
73 N5e2a59c9b605418da11156413c8b3fc4 schema:name dimensions_id
74 schema:value 136522
75 rdf:type schema:PropertyValue
76 N66c1399eab5743de9f68254662567f0a schema:author N91c400634aae4460acc509731c3870a0
77 schema:dateCreated 2010
78 schema:ratingValue 2.280
79 rdf:type schema:Rating
80 N6c5ed51291644ffd82ad444d3da67f4b rdf:first Nf3aa961722264a288f534d919686db9f
81 rdf:rest rdf:nil
82 N756f1f3ef5f8449dac7668ca5b67bdf8 schema:author N99627d532e254e31b7784670a17ed202
83 schema:dateCreated 2013
84 schema:ratingValue 0.468
85 rdf:type schema:Rating
86 N7aceb4f370864ee6b21cb87b72092058 schema:name springer_id
87 schema:value 10817
88 rdf:type schema:PropertyValue
89 N82e9f1f965ef4fccadd76b9f8c0729c3 schema:author N40b3fc672bf1453e9d4828fc6c4ad906
90 schema:dateCreated 2014
91 schema:ratingValue 0.881
92 rdf:type schema:Rating
93 N83e8d5f502ef49eaad0c721403e4d7b4 rdf:first impact_factor_wos
94 rdf:rest rdf:nil
95 N8e1efba2b59447718d73c57ccf73d222 schema:author N0c509cb03e23447197e4bcc2963a74e9
96 schema:dateCreated 2007
97 schema:ratingValue 0.833
98 rdf:type schema:Rating
99 N91c400634aae4460acc509731c3870a0 rdf:first impact_factor_wos
100 rdf:rest rdf:nil
101 N933660a9ba2443d8acc62e0eb1a6c00a schema:author Nbc01a65a12ec4455ba5a5ce0f87ed247
102 schema:dateCreated 2012
103 schema:ratingValue 0.567
104 rdf:type schema:Rating
105 N990c3d11287143b1bf6d71ef7e80198e schema:author N295b7e8c760b4230bf8e9d17d248f067
106 schema:dateCreated 2011
107 schema:ratingValue 0.714
108 rdf:type schema:Rating
109 N99627d532e254e31b7784670a17ed202 rdf:first impact_factor_wos
110 rdf:rest rdf:nil
111 Na4f8634cc0694c5480660e7ef3cb72b0 schema:name nsd_ids_id
112 schema:value 442472
113 rdf:type schema:PropertyValue
114 Na6a905d9d66f4ebab3d40a40d2b4ece0 schema:name nlm_unique_id
115 schema:value 101730032
116 rdf:type schema:PropertyValue
117 Nb13ec6d4fbd04318a0c42058ed24cd13 rdf:first impact_factor_wos
118 rdf:rest rdf:nil
119 Nbc01a65a12ec4455ba5a5ce0f87ed247 rdf:first impact_factor_wos
120 rdf:rest rdf:nil
121 Nc0036ddb8c0645059966ef464d37127e schema:author Nc7071b640fc5481db1858333b99aa74b
122 schema:dateCreated 2016
123 schema:ratingValue 1.636
124 rdf:type schema:Rating
125 Nc5ed03497a294ecfb54b4eea1f1adadd schema:name scopus_id
126 schema:value 24354
127 rdf:type schema:PropertyValue
128 Nc7071b640fc5481db1858333b99aa74b rdf:first impact_factor_wos
129 rdf:rest rdf:nil
130 Ncc5d0589c91949408070f238c7e9199b schema:name lccn_id
131 schema:value 2004229180
132 rdf:type schema:PropertyValue
133 Ncdf00b4319ab4dfd8a1860bf4f1b9b6c schema:name Springer Nature - SN SciGraph project
134 rdf:type schema:Organization
135 Nd25e3aabcb9849fca328f4afccb11b6e schema:author Nfd17ad8834b84b9bbc758eeb08114436
136 schema:ratingValue 0.65
137 rdf:type schema:Rating
138 Ndcfc680ab7314aaf86abd03c9d3186dd rdf:first impact_factor_wos
139 rdf:rest rdf:nil
140 Ndd6b5f5025dc4445a539796a3ac788a0 schema:author Nb13ec6d4fbd04318a0c42058ed24cd13
141 schema:dateCreated 2017
142 schema:ratingValue 1.321
143 rdf:type schema:Rating
144 Nebb9f3c47b1744a48bae9a7ef102a71b rdf:first snip
145 rdf:rest rdf:nil
146 Nee9de8a43ef545739ff34cfe000023c7 schema:author Nebb9f3c47b1744a48bae9a7ef102a71b
147 schema:ratingValue 2.005
148 rdf:type schema:Rating
149 Nf3aa961722264a288f534d919686db9f schema:familyName Nipkow
150 schema:givenName Tobias
151 rdf:type schema:Person
152 Nfd17ad8834b84b9bbc758eeb08114436 rdf:first sjr
153 rdf:rest rdf:nil
154 sg:ontologies/product-market-codes/I16048 schema:inDefinedTermSet sg:ontologies/product-market-codes/
155 schema:name Mathematical Logic and Formal Languages
156 rdf:type schema:DefinedTerm
157 sg:ontologies/product-market-codes/I17052 schema:inDefinedTermSet sg:ontologies/product-market-codes/
158 schema:name Symbolic and Algebraic Manipulation
159 rdf:type schema:DefinedTerm
160 sg:ontologies/product-market-codes/I21000 schema:inDefinedTermSet sg:ontologies/product-market-codes/
161 schema:name Artificial Intelligence
162 rdf:type schema:DefinedTerm
163 sg:ontologies/product-market-codes/M24005 schema:inDefinedTermSet sg:ontologies/product-market-codes/
164 schema:name Mathematical Logic and Foundations
165 rdf:type schema:DefinedTerm
 




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


...