Matches in SemOpenAlex for { <https://semopenalex.org/work/W5179166> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W5179166 endingPage "136" @default.
- W5179166 startingPage "133" @default.
- W5179166 abstract "This paper shows how a computer-processable document can be written in a controlled natural language (PENG) with the help of a sophisticated lookahead editor (ECOLE). The editor provides syntactic hints after each word form entered and indicates how the author can continue the text. This way the author does not need to learn or to remember the restrictions of the controlled language. PENG documents are automatically translated into first-order logic via discourse representation structures. These formal entities can be checked by a theorem prover for inconsistency or consistency can be revealed by a model builder." @default.
- W5179166 created "2016-06-24" @default.
- W5179166 creator A5002458833 @default.
- W5179166 creator A5065808644 @default.
- W5179166 date "2002-01-01" @default.
- W5179166 modified "2023-10-12" @default.
- W5179166 title "How to Write a Document in Controlled Natural Language." @default.
- W5179166 cites W1491947308 @default.
- W5179166 cites W1541857386 @default.
- W5179166 cites W1786578488 @default.
- W5179166 cites W1848127211 @default.
- W5179166 cites W2092850018 @default.
- W5179166 cites W2126583599 @default.
- W5179166 cites W2164827396 @default.
- W5179166 cites W2258945302 @default.
- W5179166 cites W2615154302 @default.
- W5179166 hasPublicationYear "2002" @default.
- W5179166 type Work @default.
- W5179166 sameAs 5179166 @default.
- W5179166 citedByCount "2" @default.
- W5179166 countsByYear W51791662013 @default.
- W5179166 crossrefType "proceedings-article" @default.
- W5179166 hasAuthorship W5179166A5002458833 @default.
- W5179166 hasAuthorship W5179166A5065808644 @default.
- W5179166 hasConcept C100481476 @default.
- W5179166 hasConcept C138885662 @default.
- W5179166 hasConcept C154945302 @default.
- W5179166 hasConcept C166957645 @default.
- W5179166 hasConcept C17744445 @default.
- W5179166 hasConcept C186644900 @default.
- W5179166 hasConcept C195324797 @default.
- W5179166 hasConcept C199360897 @default.
- W5179166 hasConcept C199539241 @default.
- W5179166 hasConcept C204321447 @default.
- W5179166 hasConcept C2776359362 @default.
- W5179166 hasConcept C2776436953 @default.
- W5179166 hasConcept C2776608160 @default.
- W5179166 hasConcept C41008148 @default.
- W5179166 hasConcept C41895202 @default.
- W5179166 hasConcept C70777604 @default.
- W5179166 hasConcept C90805587 @default.
- W5179166 hasConcept C94625758 @default.
- W5179166 hasConcept C95457728 @default.
- W5179166 hasConceptScore W5179166C100481476 @default.
- W5179166 hasConceptScore W5179166C138885662 @default.
- W5179166 hasConceptScore W5179166C154945302 @default.
- W5179166 hasConceptScore W5179166C166957645 @default.
- W5179166 hasConceptScore W5179166C17744445 @default.
- W5179166 hasConceptScore W5179166C186644900 @default.
- W5179166 hasConceptScore W5179166C195324797 @default.
- W5179166 hasConceptScore W5179166C199360897 @default.
- W5179166 hasConceptScore W5179166C199539241 @default.
- W5179166 hasConceptScore W5179166C204321447 @default.
- W5179166 hasConceptScore W5179166C2776359362 @default.
- W5179166 hasConceptScore W5179166C2776436953 @default.
- W5179166 hasConceptScore W5179166C2776608160 @default.
- W5179166 hasConceptScore W5179166C41008148 @default.
- W5179166 hasConceptScore W5179166C41895202 @default.
- W5179166 hasConceptScore W5179166C70777604 @default.
- W5179166 hasConceptScore W5179166C90805587 @default.
- W5179166 hasConceptScore W5179166C94625758 @default.
- W5179166 hasConceptScore W5179166C95457728 @default.
- W5179166 hasLocation W51791661 @default.
- W5179166 hasOpenAccess W5179166 @default.
- W5179166 hasPrimaryLocation W51791661 @default.
- W5179166 hasRelatedWork W1583703388 @default.
- W5179166 hasRelatedWork W1752750746 @default.
- W5179166 hasRelatedWork W1994920162 @default.
- W5179166 hasRelatedWork W2002981330 @default.
- W5179166 hasRelatedWork W2250254463 @default.
- W5179166 hasRelatedWork W2251185410 @default.
- W5179166 hasRelatedWork W2299452948 @default.
- W5179166 hasRelatedWork W2478984437 @default.
- W5179166 hasRelatedWork W2489517723 @default.
- W5179166 hasRelatedWork W2489926474 @default.
- W5179166 hasRelatedWork W2724316322 @default.
- W5179166 hasRelatedWork W2950886504 @default.
- W5179166 hasRelatedWork W2979605214 @default.
- W5179166 hasRelatedWork W3022142379 @default.
- W5179166 hasRelatedWork W2416414900 @default.
- W5179166 hasRelatedWork W2607320032 @default.
- W5179166 hasRelatedWork W2824584079 @default.
- W5179166 hasRelatedWork W2838262411 @default.
- W5179166 hasRelatedWork W2850752656 @default.
- W5179166 hasRelatedWork W2927651148 @default.
- W5179166 isParatext "false" @default.
- W5179166 isRetracted "false" @default.
- W5179166 magId "5179166" @default.
- W5179166 workType "article" @default.