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 N21fc22a568304dd3928357fdfdbb7967
6 N27729f9380244bc1a2928d9b993360f8
7 N306193fcafe04af087fee9767f0a9887
8 N34e64a21b8f54b5c9aafee84e17ab644
9 N52aaf0cccc8c47ce88a646c41326e11b
10 N531e548c7b5a4086a75def704d1ccb78
11 N5aea83ae335846eb843cb0cfde52bdb3
12 N97a9dfc1bb7b4c19bf28d696652392bd
13 N9cf34b8771e14c45b10bd2f0899eff38
14 Na13aca2c966b42cba6f94b80d9e40cc1
15 Nc9412ba8fc6e4b21bff723ff4c39a7a0
16 Nd53fae65a0f4460ca2abf67b491ee5aa
17 Nfef08b200453492a8b6e40e0863e4b40
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 N00e3b0ebbbb24d0381c5aea9e007e673
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 N022356ac9ffc495f8ffd0d1f6dac8572
27 N177c225958034e8d9c3328003091d3fd
28 N462924ab3b304eb980876f2fc002993e
29 N5a87ed82010d4900bf5ae7618ef33e6f
30 N962849953a0b41519d7c52d861ac74c3
31 Na074850440a54cf8aacd3d1c3676b4db
32 Na888e1a7bd7f4f6caf7d567dfd19927b
33 Na8bcf26248de4a9896861d76c8ab2f74
34 schema:publisher N47d81a2a5e764994a525906e45b0970e
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 Nd8071f4296024a60b462830ff75c2767
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 N00e3b0ebbbb24d0381c5aea9e007e673 rdf:first N29b7eb7b243d4ea885374ef4f0c044c2
46 rdf:rest rdf:nil
47 N022356ac9ffc495f8ffd0d1f6dac8572 schema:name nlm_unique_id
48 schema:value 101730032
49 rdf:type schema:PropertyValue
50 N177c225958034e8d9c3328003091d3fd schema:name lccn_id
51 schema:value 2004229180
52 rdf:type schema:PropertyValue
53 N21fc22a568304dd3928357fdfdbb7967 schema:author N9848ac54277944ee91589cfd1d699fa7
54 schema:dateCreated 2008
55 schema:ratingValue 1.691
56 rdf:type schema:Rating
57 N27729f9380244bc1a2928d9b993360f8 schema:author N2dbb28edd2ce41588a2502277c768874
58 schema:dateCreated 2013
59 schema:ratingValue 0.468
60 rdf:type schema:Rating
61 N29b7eb7b243d4ea885374ef4f0c044c2 schema:familyName Nipkow
62 schema:givenName Tobias
63 rdf:type schema:Person
64 N2dbb28edd2ce41588a2502277c768874 rdf:first impact_factor_wos
65 rdf:rest rdf:nil
66 N306193fcafe04af087fee9767f0a9887 schema:author N4d0950da93564d38a671367abbd188d0
67 schema:dateCreated 2010
68 schema:ratingValue 2.280
69 rdf:type schema:Rating
70 N34e64a21b8f54b5c9aafee84e17ab644 schema:author N58c58aaad740493f9a9f8ea84ace476f
71 schema:dateCreated 2016
72 schema:ratingValue 1.636
73 rdf:type schema:Rating
74 N462924ab3b304eb980876f2fc002993e schema:name era_ids_id
75 schema:value 17974
76 rdf:type schema:PropertyValue
77 N47d81a2a5e764994a525906e45b0970e schema:name Springer Netherlands
78 rdf:type schema:Organization
79 N4d0950da93564d38a671367abbd188d0 rdf:first impact_factor_wos
80 rdf:rest rdf:nil
81 N5075eefdd76b46238b5021feba0821e9 rdf:first impact_factor_wos
82 rdf:rest rdf:nil
83 N52aaf0cccc8c47ce88a646c41326e11b schema:author Na0095782a00641e89d8eec3172b5c2eb
84 schema:dateCreated 2014
85 schema:ratingValue 0.881
86 rdf:type schema:Rating
87 N531e548c7b5a4086a75def704d1ccb78 schema:author Ncb7c77284ac945faaf405650b8df676a
88 schema:dateCreated 2015
89 schema:ratingValue 2.113
90 rdf:type schema:Rating
91 N54600850d17642fd8a1929e256fa663c rdf:first impact_factor_wos
92 rdf:rest rdf:nil
93 N58c58aaad740493f9a9f8ea84ace476f rdf:first impact_factor_wos
94 rdf:rest rdf:nil
95 N5a87ed82010d4900bf5ae7618ef33e6f schema:name dimensions_id
96 schema:value 136522
97 rdf:type schema:PropertyValue
98 N5aea83ae335846eb843cb0cfde52bdb3 schema:author N5075eefdd76b46238b5021feba0821e9
99 schema:dateCreated 2017
100 schema:ratingValue 1.321
101 rdf:type schema:Rating
102 N81e9e75a150848ddb624664793c925ab rdf:first impact_factor_wos
103 rdf:rest rdf:nil
104 N853503336cc04b53a4ae3f3e10d0e030 rdf:first sjr
105 rdf:rest rdf:nil
106 N94ae23c32ab34f1f9730c27c879de367 rdf:first snip
107 rdf:rest rdf:nil
108 N962849953a0b41519d7c52d861ac74c3 schema:name springer_id
109 schema:value 10817
110 rdf:type schema:PropertyValue
111 N97a9dfc1bb7b4c19bf28d696652392bd schema:author N853503336cc04b53a4ae3f3e10d0e030
112 schema:ratingValue 0.65
113 rdf:type schema:Rating
114 N9848ac54277944ee91589cfd1d699fa7 rdf:first impact_factor_wos
115 rdf:rest rdf:nil
116 N9cf34b8771e14c45b10bd2f0899eff38 schema:author N94ae23c32ab34f1f9730c27c879de367
117 schema:ratingValue 2.005
118 rdf:type schema:Rating
119 Na0095782a00641e89d8eec3172b5c2eb rdf:first impact_factor_wos
120 rdf:rest rdf:nil
121 Na074850440a54cf8aacd3d1c3676b4db schema:name wos_id
122 schema:value 0168-7433/JOURNAL OF AUTOMATED REASONING
123 rdf:type schema:PropertyValue
124 Na13aca2c966b42cba6f94b80d9e40cc1 schema:author Nc23e2140979b4a8aa1c17d12ae421e1a
125 schema:dateCreated 2007
126 schema:ratingValue 0.833
127 rdf:type schema:Rating
128 Na888e1a7bd7f4f6caf7d567dfd19927b schema:name scopus_id
129 schema:value 24354
130 rdf:type schema:PropertyValue
131 Na8bcf26248de4a9896861d76c8ab2f74 schema:name nsd_ids_id
132 schema:value 442472
133 rdf:type schema:PropertyValue
134 Nc23e2140979b4a8aa1c17d12ae421e1a rdf:first impact_factor_wos
135 rdf:rest rdf:nil
136 Nc9412ba8fc6e4b21bff723ff4c39a7a0 schema:author Ncf041bc7c60b4690a56bd54f63be27ab
137 schema:dateCreated 2009
138 schema:ratingValue 1.926
139 rdf:type schema:Rating
140 Ncb7c77284ac945faaf405650b8df676a rdf:first impact_factor_wos
141 rdf:rest rdf:nil
142 Ncf041bc7c60b4690a56bd54f63be27ab rdf:first impact_factor_wos
143 rdf:rest rdf:nil
144 Nd53fae65a0f4460ca2abf67b491ee5aa schema:author N54600850d17642fd8a1929e256fa663c
145 schema:dateCreated 2011
146 schema:ratingValue 0.714
147 rdf:type schema:Rating
148 Nd8071f4296024a60b462830ff75c2767 schema:name Springer Nature - SN SciGraph project
149 rdf:type schema:Organization
150 Nfef08b200453492a8b6e40e0863e4b40 schema:author N81e9e75a150848ddb624664793c925ab
151 schema:dateCreated 2012
152 schema:ratingValue 0.567
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)


...