Matches in SemOpenAlex for { <https://semopenalex.org/work/W2141101701> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2141101701 abstract "Railway operation disorder is a serious problem and eqected to be recovered as soon as possi- ble. In order to assist the quick recovery of disordered railway diagram, we are planning to provide a railway diagram recovery system, which is based on an anno- tated logic program called EVALPSN (Extended Vector Annotated Logic Program with Strong Negation) with temporal reasoning. The system is based on a railway interlocking safety verification system and a railway di- agram simulation system. In this paper, we introduce the ideas of the railway interlocking safety verification system based on EVALPSN and its prototype simula- tion system with signal control." @default.
- W2141101701 created "2016-06-24" @default.
- W2141101701 creator A5065350573 @default.
- W2141101701 creator A5083802816 @default.
- W2141101701 date "2004-01-01" @default.
- W2141101701 modified "2023-09-27" @default.
- W2141101701 title "Intelligent Railway Interlocking Safety on Annotated Logic Program and Verification Based its Simulator" @default.
- W2141101701 cites W1532083067 @default.
- W2141101701 cites W1584057407 @default.
- W2141101701 cites W1980589711 @default.
- W2141101701 cites W2158084301 @default.
- W2141101701 cites W2253106092 @default.
- W2141101701 cites W2463530317 @default.
- W2141101701 hasPublicationYear "2004" @default.
- W2141101701 type Work @default.
- W2141101701 sameAs 2141101701 @default.
- W2141101701 citedByCount "0" @default.
- W2141101701 crossrefType "journal-article" @default.
- W2141101701 hasAuthorship W2141101701A5065350573 @default.
- W2141101701 hasAuthorship W2141101701A5083802816 @default.
- W2141101701 hasConcept C127413603 @default.
- W2141101701 hasConcept C199360897 @default.
- W2141101701 hasConcept C200601418 @default.
- W2141101701 hasConcept C2778844933 @default.
- W2141101701 hasConcept C32155586 @default.
- W2141101701 hasConcept C41008148 @default.
- W2141101701 hasConcept C44154836 @default.
- W2141101701 hasConceptScore W2141101701C127413603 @default.
- W2141101701 hasConceptScore W2141101701C199360897 @default.
- W2141101701 hasConceptScore W2141101701C200601418 @default.
- W2141101701 hasConceptScore W2141101701C2778844933 @default.
- W2141101701 hasConceptScore W2141101701C32155586 @default.
- W2141101701 hasConceptScore W2141101701C41008148 @default.
- W2141101701 hasConceptScore W2141101701C44154836 @default.
- W2141101701 hasLocation W21411017011 @default.
- W2141101701 hasOpenAccess W2141101701 @default.
- W2141101701 hasPrimaryLocation W21411017011 @default.
- W2141101701 hasRelatedWork W1016790993 @default.
- W2141101701 hasRelatedWork W1493006972 @default.
- W2141101701 hasRelatedWork W167024964 @default.
- W2141101701 hasRelatedWork W1840572385 @default.
- W2141101701 hasRelatedWork W1867495292 @default.
- W2141101701 hasRelatedWork W1868636283 @default.
- W2141101701 hasRelatedWork W1892266140 @default.
- W2141101701 hasRelatedWork W1967597118 @default.
- W2141101701 hasRelatedWork W2039064891 @default.
- W2141101701 hasRelatedWork W2061427726 @default.
- W2141101701 hasRelatedWork W2108414441 @default.
- W2141101701 hasRelatedWork W2160974783 @default.
- W2141101701 hasRelatedWork W2396704242 @default.
- W2141101701 hasRelatedWork W2531550985 @default.
- W2141101701 hasRelatedWork W2899378641 @default.
- W2141101701 hasRelatedWork W2946792284 @default.
- W2141101701 hasRelatedWork W2965544680 @default.
- W2141101701 hasRelatedWork W3149247053 @default.
- W2141101701 hasRelatedWork W3150593164 @default.
- W2141101701 hasRelatedWork W1865734005 @default.
- W2141101701 isParatext "false" @default.
- W2141101701 isRetracted "false" @default.
- W2141101701 magId "2141101701" @default.
- W2141101701 workType "article" @default.