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 N23c3906e03764b29a656a5a02ad0cab0
6 N2464b1865dd24c43a2749fad8958924c
7 N286c744abcd949a685de2835a23d11a6
8 N303739e158444a48823fe9c478d4945a
9 N35c096b5176746c49a8952a8bfd54925
10 N4506b79165c44e8aaf1f1412cf22b027
11 N5ade4fef5d0344e5b883d2a8144f6214
12 N811acc9da035401495dcba6bfc26e9ac
13 N957c9946fbcb44fa843e2779b962d7a1
14 N9a7bc533225640dea63fba755f6bec75
15 Ne66c4d80c5914feeb20db8b14a45000b
16 Ne80ed6d51dbe4ebeafbf1d6904b1a5e3
17 Nfe6d33b2f931411da591ca2c4dc3143f
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 N5e8c611e71264e0595da0f01ad7293d2
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 N03dd4a9915744165a8a067a1fc3efaa8
27 N18ee6b7cb20f4a0383fdc3b0b545bf37
28 N2c066a3ef9b7436a8b8b76c83335e12b
29 N5aed0ce6994c4db5a888b9920192e27a
30 N5e4ce1d773b849bdb5b982f00aa9ef50
31 N7b9d5f1ce28c4908a66877ba9ed6156f
32 Nb7796a45fb8a445ebe987f442e3101ec
33 Nf1b4aa10dde94b61a323f99f06cf7ce5
34 schema:publisher N9f8d582d293a43799d8f0a0046f7ca17
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 N7ad14b1068f54f7092774099b6ad2091
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 N03dd4a9915744165a8a067a1fc3efaa8 schema:name lccn_id
46 schema:value 2004229180
47 rdf:type schema:PropertyValue
48 N0878ec020e254a9490016718c24aa181 rdf:first impact_factor_wos
49 rdf:rest rdf:nil
50 N18ee6b7cb20f4a0383fdc3b0b545bf37 schema:name nlm_unique_id
51 schema:value 101730032
52 rdf:type schema:PropertyValue
53 N1a330b98def847698855f0845bbb4d1c rdf:first impact_factor_wos
54 rdf:rest rdf:nil
55 N1a623b8a63ba4f7f83707d10a3f17929 rdf:first impact_factor_wos
56 rdf:rest rdf:nil
57 N23c3906e03764b29a656a5a02ad0cab0 schema:author N6fdd81c531e74698a4a09c86eec24372
58 schema:dateCreated 2009
59 schema:ratingValue 1.926
60 rdf:type schema:Rating
61 N2464b1865dd24c43a2749fad8958924c schema:author N0878ec020e254a9490016718c24aa181
62 schema:dateCreated 2016
63 schema:ratingValue 1.636
64 rdf:type schema:Rating
65 N286c744abcd949a685de2835a23d11a6 schema:author Nb12d494ca04e42558c7076f2d89c701d
66 schema:dateCreated 2011
67 schema:ratingValue 0.714
68 rdf:type schema:Rating
69 N2c066a3ef9b7436a8b8b76c83335e12b schema:name nsd_ids_id
70 schema:value 442472
71 rdf:type schema:PropertyValue
72 N303739e158444a48823fe9c478d4945a schema:author Ne08887cbad7345f7a65148990b2ae362
73 schema:dateCreated 2017
74 schema:ratingValue 1.321
75 rdf:type schema:Rating
76 N35c096b5176746c49a8952a8bfd54925 schema:author Nba8eaaa1815a41ab8218168d5e33efed
77 schema:dateCreated 2015
78 schema:ratingValue 2.113
79 rdf:type schema:Rating
80 N40ac9337fd924cb7ab22422782ad6dc8 rdf:first impact_factor_wos
81 rdf:rest rdf:nil
82 N4506b79165c44e8aaf1f1412cf22b027 schema:author Nd2a7410d77e944339de4a0ac707c5c99
83 schema:dateCreated 2010
84 schema:ratingValue 2.280
85 rdf:type schema:Rating
86 N504dcaf6dcc94e7ba4ccc4fb2a042ac6 schema:familyName Nipkow
87 schema:givenName Tobias
88 rdf:type schema:Person
89 N5ade4fef5d0344e5b883d2a8144f6214 schema:author N8548d92abc4f4e53b4a3a948229116eb
90 schema:dateCreated 2012
91 schema:ratingValue 0.567
92 rdf:type schema:Rating
93 N5aed0ce6994c4db5a888b9920192e27a schema:name scopus_id
94 schema:value 24354
95 rdf:type schema:PropertyValue
96 N5e4ce1d773b849bdb5b982f00aa9ef50 schema:name wos_id
97 schema:value 0168-7433/JOURNAL OF AUTOMATED REASONING
98 rdf:type schema:PropertyValue
99 N5e8c611e71264e0595da0f01ad7293d2 rdf:first N504dcaf6dcc94e7ba4ccc4fb2a042ac6
100 rdf:rest rdf:nil
101 N6fdd81c531e74698a4a09c86eec24372 rdf:first impact_factor_wos
102 rdf:rest rdf:nil
103 N74a702df8ba347c49c37cd5df9f39aff rdf:first sjr
104 rdf:rest rdf:nil
105 N7ad14b1068f54f7092774099b6ad2091 schema:name Springer Nature - SN SciGraph project
106 rdf:type schema:Organization
107 N7b9d5f1ce28c4908a66877ba9ed6156f schema:name era_ids_id
108 schema:value 17974
109 rdf:type schema:PropertyValue
110 N811acc9da035401495dcba6bfc26e9ac schema:author Nc2b8c9efa4f74a36a1552a152775c8e1
111 schema:ratingValue 2.005
112 rdf:type schema:Rating
113 N8548d92abc4f4e53b4a3a948229116eb rdf:first impact_factor_wos
114 rdf:rest rdf:nil
115 N957c9946fbcb44fa843e2779b962d7a1 schema:author N1a330b98def847698855f0845bbb4d1c
116 schema:dateCreated 2014
117 schema:ratingValue 0.881
118 rdf:type schema:Rating
119 N9a7bc533225640dea63fba755f6bec75 schema:author N40ac9337fd924cb7ab22422782ad6dc8
120 schema:dateCreated 2007
121 schema:ratingValue 0.833
122 rdf:type schema:Rating
123 N9f8d582d293a43799d8f0a0046f7ca17 schema:name Springer Netherlands
124 rdf:type schema:Organization
125 Nb12d494ca04e42558c7076f2d89c701d rdf:first impact_factor_wos
126 rdf:rest rdf:nil
127 Nb7796a45fb8a445ebe987f442e3101ec schema:name springer_id
128 schema:value 10817
129 rdf:type schema:PropertyValue
130 Nba8eaaa1815a41ab8218168d5e33efed rdf:first impact_factor_wos
131 rdf:rest rdf:nil
132 Nc2b8c9efa4f74a36a1552a152775c8e1 rdf:first snip
133 rdf:rest rdf:nil
134 Nd2a7410d77e944339de4a0ac707c5c99 rdf:first impact_factor_wos
135 rdf:rest rdf:nil
136 Ne08887cbad7345f7a65148990b2ae362 rdf:first impact_factor_wos
137 rdf:rest rdf:nil
138 Ne66c4d80c5914feeb20db8b14a45000b schema:author N74a702df8ba347c49c37cd5df9f39aff
139 schema:ratingValue 0.65
140 rdf:type schema:Rating
141 Ne80ed6d51dbe4ebeafbf1d6904b1a5e3 schema:author N1a623b8a63ba4f7f83707d10a3f17929
142 schema:dateCreated 2008
143 schema:ratingValue 1.691
144 rdf:type schema:Rating
145 Nf1b4aa10dde94b61a323f99f06cf7ce5 schema:name dimensions_id
146 schema:value 136522
147 rdf:type schema:PropertyValue
148 Nfdab008f4b524ec58cff27a94b196b6e rdf:first impact_factor_wos
149 rdf:rest rdf:nil
150 Nfe6d33b2f931411da591ca2c4dc3143f schema:author Nfdab008f4b524ec58cff27a94b196b6e
151 schema:dateCreated 2013
152 schema:ratingValue 0.468
153 rdf:type schema:Rating
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)


...