{"@context":{"@vocab":"https://cir.nii.ac.jp/schema/1.0/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/","foaf":"http://xmlns.com/foaf/0.1/","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","datacite":"https://schema.datacite.org/meta/kernel-4/","ndl":"http://ndl.go.jp/dcndl/terms/","jpcoar":"https://github.com/JPCOAR/schema/blob/master/2.0/"},"@id":"https://cir.nii.ac.jp/crid/1010000782291255940.json","@type":"Article","resourceType":"学術雑誌論文(journal article)","dc:title":[{"@language":"ja","@value":"Reasoning in medical and tutoring systems: A decidable first-order temporalparaconsistent non-commutative logic"}],"creator":[{"@id":"https://cir.nii.ac.jp/crid/1420282801199316224","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"60332053"},{"@type":"NRID","@value":"1000060332053"},{"@type":"NRID","@value":"9000002362025"},{"@type":"NRID","@value":"9000002602293"},{"@type":"NRID","@value":"9000000786455"},{"@type":"NRID","@value":"9000403162878"},{"@type":"NRID","@value":"9000010214867"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/read0195280"}],"foaf:name":[{"@language":"ja","@value":"上出 哲広"},{"@language":"en","@value":"KAMIDE Norihiro"}],"jpcoar:affiliationName":[{"@language":"ja","@value":"帝京大学"}]}],"publication":{"prism:publicationName":[{"@language":"ja","@value":"International Journal of Software and Informatics"}],"prism:publicationDate":"2015","prism:volume":"9","prism:startingPage":"73","prism:endingPage":"92","jointInternationalResearch":"false"},"reviewed":"true","dcterms:accessRights":"http://purl.org/coar/access_right/c_abf2","project":[{"@id":"https://cir.nii.ac.jp/crid/1040000782291255808","@type":"Project","projectIdentifier":[{"@type":"KAKEN","@value":"26330263"},{"@type":"JGN","@value":"JP26330263"},{"@type":"URI","@value":"https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-26330263/"}],"notation":[{"@language":"ja","@value":"知識推論システムの論理的基礎付け"},{"@language":"en","@value":"Logical foundations of knowledge representation and reasoning systems"}]}],"dataSourceIdentifier":[{"@type":"KAKEN","@value":"PRODUCT-20222411"}]}