Matches in SemOpenAlex for { <https://semopenalex.org/work/W1978001532> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1978001532 abstract "This paper presents a logic modeling exercise in which we developtest and implement a logic model for a test editor and use it to testexisting test editing software. We begin by presenting a first orderHorn logic axiomatization of a text editor by providing domain equationsfor the primitive operations insert, delete and character retrieval. We show that this logic model captures the essential aspects of thetext editing task and how more complex features are built using theseprimitives. We discuss possible implementations and conclude thatany operational semantics - the set of algorithms that perform thetask - must be strongly related to the logic model we present. In otherwords, each operational semantics constitutes a model of the logic theoryNext, we illustrate the usefulness of the model by implementinga basic text editing system and testing the correctness of an existingtext editor. We conclude by describing how we are integrating thesemodeling techniques into a larger and more complex knowledge-basedsystem." @default.
- W1978001532 created "2016-06-24" @default.
- W1978001532 creator A5069404099 @default.
- W1978001532 creator A5071607128 @default.
- W1978001532 date "1991-12-01" @default.
- W1978001532 modified "2023-09-23" @default.
- W1978001532 title "Text Editing and Beyond: A Study in Logic Modeling" @default.
- W1978001532 hasPublicationYear "1991" @default.
- W1978001532 type Work @default.
- W1978001532 sameAs 1978001532 @default.
- W1978001532 citedByCount "0" @default.
- W1978001532 crossrefType "posted-content" @default.
- W1978001532 hasAuthorship W1978001532A5069404099 @default.
- W1978001532 hasAuthorship W1978001532A5071607128 @default.
- W1978001532 hasConcept C102993220 @default.
- W1978001532 hasConcept C144024400 @default.
- W1978001532 hasConcept C154945302 @default.
- W1978001532 hasConcept C177264268 @default.
- W1978001532 hasConcept C184337299 @default.
- W1978001532 hasConcept C199360897 @default.
- W1978001532 hasConcept C2524010 @default.
- W1978001532 hasConcept C26713055 @default.
- W1978001532 hasConcept C2775940519 @default.
- W1978001532 hasConcept C2780861071 @default.
- W1978001532 hasConcept C33923547 @default.
- W1978001532 hasConcept C36289849 @default.
- W1978001532 hasConcept C41008148 @default.
- W1978001532 hasConcept C55439883 @default.
- W1978001532 hasConcept C80444323 @default.
- W1978001532 hasConceptScore W1978001532C102993220 @default.
- W1978001532 hasConceptScore W1978001532C144024400 @default.
- W1978001532 hasConceptScore W1978001532C154945302 @default.
- W1978001532 hasConceptScore W1978001532C177264268 @default.
- W1978001532 hasConceptScore W1978001532C184337299 @default.
- W1978001532 hasConceptScore W1978001532C199360897 @default.
- W1978001532 hasConceptScore W1978001532C2524010 @default.
- W1978001532 hasConceptScore W1978001532C26713055 @default.
- W1978001532 hasConceptScore W1978001532C2775940519 @default.
- W1978001532 hasConceptScore W1978001532C2780861071 @default.
- W1978001532 hasConceptScore W1978001532C33923547 @default.
- W1978001532 hasConceptScore W1978001532C36289849 @default.
- W1978001532 hasConceptScore W1978001532C41008148 @default.
- W1978001532 hasConceptScore W1978001532C55439883 @default.
- W1978001532 hasConceptScore W1978001532C80444323 @default.
- W1978001532 hasOpenAccess W1978001532 @default.
- W1978001532 hasRelatedWork W1423770153 @default.
- W1978001532 hasRelatedWork W1497998981 @default.
- W1978001532 hasRelatedWork W1519812352 @default.
- W1978001532 hasRelatedWork W1544080117 @default.
- W1978001532 hasRelatedWork W1555544970 @default.
- W1978001532 hasRelatedWork W1600924895 @default.
- W1978001532 hasRelatedWork W181692710 @default.
- W1978001532 hasRelatedWork W1850657802 @default.
- W1978001532 hasRelatedWork W1855360529 @default.
- W1978001532 hasRelatedWork W2012373058 @default.
- W1978001532 hasRelatedWork W2014979036 @default.
- W1978001532 hasRelatedWork W2055106898 @default.
- W1978001532 hasRelatedWork W2169961956 @default.
- W1978001532 hasRelatedWork W2222600588 @default.
- W1978001532 hasRelatedWork W2332496214 @default.
- W1978001532 hasRelatedWork W2586203470 @default.
- W1978001532 hasRelatedWork W2952739102 @default.
- W1978001532 hasRelatedWork W3124622633 @default.
- W1978001532 hasRelatedWork W3168179111 @default.
- W1978001532 hasRelatedWork W3205300007 @default.
- W1978001532 isParatext "false" @default.
- W1978001532 isRetracted "false" @default.
- W1978001532 magId "1978001532" @default.
- W1978001532 workType "article" @default.