Matches in SemOpenAlex for { <https://semopenalex.org/work/W1525535476> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1525535476 endingPage "93" @default.
- W1525535476 startingPage "80" @default.
- W1525535476 abstract "Smart Cities is a vision driven by the availability of governmental data that fosters many challenging applications. One of them is the management of inconsistent traffic regulations, i.e., the handling of inconsistent traffic signs and measures in urban areas such as wrong sign posting, or errors in data acquisition in traffic sign administration software. We investigate such inconsistent traffic scenarios and formally model traffic regulations using a logic-based approach for traffic signs and measures, and logical theories describe emerging conflicts on a graph-based street model. Founded on this model, we consider major reasoning tasks including consistency testing, diagnosis, and repair, and we analyze their computational complexity for different logical representation formalisms. Our results provide a basis for an ongoing implementation of the approach.KeywordsSpeed LimitSmart CityEffect MappingRegulation ProblemRoad UserThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1525535476 created "2016-06-24" @default.
- W1525535476 creator A5064275343 @default.
- W1525535476 creator A5082178480 @default.
- W1525535476 creator A5090016107 @default.
- W1525535476 date "2012-01-01" @default.
- W1525535476 modified "2023-09-23" @default.
- W1525535476 title "Inconsistency Management for Traffic Regulations: Formalization and Complexity Results" @default.
- W1525535476 cites W1482532598 @default.
- W1525535476 cites W1964583931 @default.
- W1525535476 cites W1969965298 @default.
- W1525535476 cites W1976055110 @default.
- W1525535476 cites W2076698873 @default.
- W1525535476 cites W2088175080 @default.
- W1525535476 cites W2091138122 @default.
- W1525535476 cites W2098791425 @default.
- W1525535476 cites W2109029617 @default.
- W1525535476 cites W2128170995 @default.
- W1525535476 cites W2157334516 @default.
- W1525535476 cites W98416746 @default.
- W1525535476 doi "https://doi.org/10.1007/978-3-642-33353-8_7" @default.
- W1525535476 hasPublicationYear "2012" @default.
- W1525535476 type Work @default.
- W1525535476 sameAs 1525535476 @default.
- W1525535476 citedByCount "5" @default.
- W1525535476 countsByYear W15255354762012 @default.
- W1525535476 countsByYear W15255354762016 @default.
- W1525535476 countsByYear W15255354762017 @default.
- W1525535476 countsByYear W15255354762020 @default.
- W1525535476 crossrefType "book-chapter" @default.
- W1525535476 hasAuthorship W1525535476A5064275343 @default.
- W1525535476 hasAuthorship W1525535476A5082178480 @default.
- W1525535476 hasAuthorship W1525535476A5090016107 @default.
- W1525535476 hasBestOaLocation W15255354762 @default.
- W1525535476 hasConcept C115903868 @default.
- W1525535476 hasConcept C132525143 @default.
- W1525535476 hasConcept C134306372 @default.
- W1525535476 hasConcept C139676723 @default.
- W1525535476 hasConcept C154945302 @default.
- W1525535476 hasConcept C171018156 @default.
- W1525535476 hasConcept C17744445 @default.
- W1525535476 hasConcept C199360897 @default.
- W1525535476 hasConcept C199539241 @default.
- W1525535476 hasConcept C2522767166 @default.
- W1525535476 hasConcept C2524010 @default.
- W1525535476 hasConcept C2776359362 @default.
- W1525535476 hasConcept C2776436953 @default.
- W1525535476 hasConcept C2983860417 @default.
- W1525535476 hasConcept C33923547 @default.
- W1525535476 hasConcept C41008148 @default.
- W1525535476 hasConcept C80444323 @default.
- W1525535476 hasConcept C94625758 @default.
- W1525535476 hasConcept C98045186 @default.
- W1525535476 hasConceptScore W1525535476C115903868 @default.
- W1525535476 hasConceptScore W1525535476C132525143 @default.
- W1525535476 hasConceptScore W1525535476C134306372 @default.
- W1525535476 hasConceptScore W1525535476C139676723 @default.
- W1525535476 hasConceptScore W1525535476C154945302 @default.
- W1525535476 hasConceptScore W1525535476C171018156 @default.
- W1525535476 hasConceptScore W1525535476C17744445 @default.
- W1525535476 hasConceptScore W1525535476C199360897 @default.
- W1525535476 hasConceptScore W1525535476C199539241 @default.
- W1525535476 hasConceptScore W1525535476C2522767166 @default.
- W1525535476 hasConceptScore W1525535476C2524010 @default.
- W1525535476 hasConceptScore W1525535476C2776359362 @default.
- W1525535476 hasConceptScore W1525535476C2776436953 @default.
- W1525535476 hasConceptScore W1525535476C2983860417 @default.
- W1525535476 hasConceptScore W1525535476C33923547 @default.
- W1525535476 hasConceptScore W1525535476C41008148 @default.
- W1525535476 hasConceptScore W1525535476C80444323 @default.
- W1525535476 hasConceptScore W1525535476C94625758 @default.
- W1525535476 hasConceptScore W1525535476C98045186 @default.
- W1525535476 hasLocation W15255354761 @default.
- W1525535476 hasLocation W15255354762 @default.
- W1525535476 hasOpenAccess W1525535476 @default.
- W1525535476 hasPrimaryLocation W15255354761 @default.
- W1525535476 hasRelatedWork W1508451833 @default.
- W1525535476 hasRelatedWork W2022114210 @default.
- W1525535476 hasRelatedWork W2350879319 @default.
- W1525535476 hasRelatedWork W2353865532 @default.
- W1525535476 hasRelatedWork W2384005981 @default.
- W1525535476 hasRelatedWork W2604924028 @default.
- W1525535476 hasRelatedWork W2606452463 @default.
- W1525535476 hasRelatedWork W3007184680 @default.
- W1525535476 hasRelatedWork W3107474891 @default.
- W1525535476 hasRelatedWork W746432122 @default.
- W1525535476 isParatext "false" @default.
- W1525535476 isRetracted "false" @default.
- W1525535476 magId "1525535476" @default.
- W1525535476 workType "book-chapter" @default.