Matches in SemOpenAlex for { <https://semopenalex.org/work/W1946848086> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1946848086 abstract "The author summarizes the application of the KIDS system (knowledge-based) (D.R. Smith, 1990) to a large-scale problem drawn from the domain of air traffic control. Hughes Aircraft supplied a natural language specification of the track assignment portion of an air traffic control system. This specification was formalized as a domain theory, and programs were derived within this theory. This derived code is compared with hand-generated Ada code developed manually by Hughes personnel. >" @default.
- W1946848086 created "2016-06-24" @default.
- W1946848086 creator A5031528898 @default.
- W1946848086 date "2003-01-02" @default.
- W1946848086 modified "2023-09-26" @default.
- W1946848086 title "Track assignment in an air traffic control system: a rational reconstruction of system design" @default.
- W1946848086 cites W2045323411 @default.
- W1946848086 cites W2051228988 @default.
- W1946848086 cites W2103090960 @default.
- W1946848086 cites W2125565960 @default.
- W1946848086 cites W2129466151 @default.
- W1946848086 cites W2132058805 @default.
- W1946848086 cites W2177760151 @default.
- W1946848086 doi "https://doi.org/10.1109/kbse.1992.252908" @default.
- W1946848086 hasPublicationYear "2003" @default.
- W1946848086 type Work @default.
- W1946848086 sameAs 1946848086 @default.
- W1946848086 citedByCount "6" @default.
- W1946848086 crossrefType "proceedings-article" @default.
- W1946848086 hasAuthorship W1946848086A5031528898 @default.
- W1946848086 hasConcept C111919701 @default.
- W1946848086 hasConcept C118615104 @default.
- W1946848086 hasConcept C119599485 @default.
- W1946848086 hasConcept C127413603 @default.
- W1946848086 hasConcept C134306372 @default.
- W1946848086 hasConcept C146978453 @default.
- W1946848086 hasConcept C154945302 @default.
- W1946848086 hasConcept C166961238 @default.
- W1946848086 hasConcept C17500928 @default.
- W1946848086 hasConcept C177264268 @default.
- W1946848086 hasConcept C199360897 @default.
- W1946848086 hasConcept C2775924081 @default.
- W1946848086 hasConcept C2776760102 @default.
- W1946848086 hasConcept C29585364 @default.
- W1946848086 hasConcept C33923547 @default.
- W1946848086 hasConcept C36503486 @default.
- W1946848086 hasConcept C41008148 @default.
- W1946848086 hasConcept C44154836 @default.
- W1946848086 hasConcept C79403827 @default.
- W1946848086 hasConcept C89992363 @default.
- W1946848086 hasConceptScore W1946848086C111919701 @default.
- W1946848086 hasConceptScore W1946848086C118615104 @default.
- W1946848086 hasConceptScore W1946848086C119599485 @default.
- W1946848086 hasConceptScore W1946848086C127413603 @default.
- W1946848086 hasConceptScore W1946848086C134306372 @default.
- W1946848086 hasConceptScore W1946848086C146978453 @default.
- W1946848086 hasConceptScore W1946848086C154945302 @default.
- W1946848086 hasConceptScore W1946848086C166961238 @default.
- W1946848086 hasConceptScore W1946848086C17500928 @default.
- W1946848086 hasConceptScore W1946848086C177264268 @default.
- W1946848086 hasConceptScore W1946848086C199360897 @default.
- W1946848086 hasConceptScore W1946848086C2775924081 @default.
- W1946848086 hasConceptScore W1946848086C2776760102 @default.
- W1946848086 hasConceptScore W1946848086C29585364 @default.
- W1946848086 hasConceptScore W1946848086C33923547 @default.
- W1946848086 hasConceptScore W1946848086C36503486 @default.
- W1946848086 hasConceptScore W1946848086C41008148 @default.
- W1946848086 hasConceptScore W1946848086C44154836 @default.
- W1946848086 hasConceptScore W1946848086C79403827 @default.
- W1946848086 hasConceptScore W1946848086C89992363 @default.
- W1946848086 hasLocation W19468480861 @default.
- W1946848086 hasOpenAccess W1946848086 @default.
- W1946848086 hasPrimaryLocation W19468480861 @default.
- W1946848086 hasRelatedWork W1981049286 @default.
- W1946848086 hasRelatedWork W2035809126 @default.
- W1946848086 hasRelatedWork W2115410000 @default.
- W1946848086 hasRelatedWork W2116095425 @default.
- W1946848086 hasRelatedWork W2319538440 @default.
- W1946848086 hasRelatedWork W2356062605 @default.
- W1946848086 hasRelatedWork W2380237371 @default.
- W1946848086 hasRelatedWork W2577310708 @default.
- W1946848086 hasRelatedWork W2784956715 @default.
- W1946848086 hasRelatedWork W292502476 @default.
- W1946848086 hasRelatedWork W2981737330 @default.
- W1946848086 hasRelatedWork W3027713749 @default.
- W1946848086 hasRelatedWork W603178154 @default.
- W1946848086 hasRelatedWork W622717029 @default.
- W1946848086 hasRelatedWork W637992741 @default.
- W1946848086 hasRelatedWork W650122199 @default.
- W1946848086 hasRelatedWork W1540459552 @default.
- W1946848086 hasRelatedWork W1644516378 @default.
- W1946848086 hasRelatedWork W290477236 @default.
- W1946848086 hasRelatedWork W3155629406 @default.
- W1946848086 isParatext "false" @default.
- W1946848086 isRetracted "false" @default.
- W1946848086 magId "1946848086" @default.
- W1946848086 workType "article" @default.