Matches in SemOpenAlex for { <https://semopenalex.org/work/W1756422458> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1756422458 abstract "Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and theorem proving. This paper presents PLATO, a compiler that automatically generates web forms that detect errors and fill-in implied values from declarative web form descriptions. Instead of writing HTML and JavaScript directly, web developers write an ontology in classical logic that describes the relationships between web form fields, and PLATO automatically generates HTML to display the form and browser scripts to implement the requisite SAT solving and theorem proving. We discuss PLATO's design and implementation and evaluate PLATO's performance both analytically and empirically." @default.
- W1756422458 created "2016-06-24" @default.
- W1756422458 creator A5067711999 @default.
- W1756422458 date "2011-01-01" @default.
- W1756422458 modified "2023-09-26" @default.
- W1756422458 title "Plato: A Compiler for Interactive Web Forms" @default.
- W1756422458 cites W1496211272 @default.
- W1756422458 cites W1501337828 @default.
- W1756422458 cites W1561602672 @default.
- W1756422458 cites W1583044117 @default.
- W1756422458 cites W1598835948 @default.
- W1756422458 cites W1775126135 @default.
- W1756422458 cites W1992660971 @default.
- W1756422458 cites W2013017062 @default.
- W1756422458 cites W2026004882 @default.
- W1756422458 cites W2058697244 @default.
- W1756422458 cites W2075139806 @default.
- W1756422458 cites W2114568665 @default.
- W1756422458 cites W2121496786 @default.
- W1756422458 cites W2130914060 @default.
- W1756422458 cites W2136327713 @default.
- W1756422458 cites W2144621365 @default.
- W1756422458 cites W2149616879 @default.
- W1756422458 cites W2166510103 @default.
- W1756422458 cites W2312760909 @default.
- W1756422458 cites W3099451540 @default.
- W1756422458 cites W4229554797 @default.
- W1756422458 doi "https://doi.org/10.1007/978-3-642-18378-2_7" @default.
- W1756422458 hasPublicationYear "2011" @default.
- W1756422458 type Work @default.
- W1756422458 sameAs 1756422458 @default.
- W1756422458 citedByCount "4" @default.
- W1756422458 countsByYear W17564224582012 @default.
- W1756422458 countsByYear W17564224582013 @default.
- W1756422458 countsByYear W17564224582014 @default.
- W1756422458 crossrefType "book-chapter" @default.
- W1756422458 hasAuthorship W1756422458A5067711999 @default.
- W1756422458 hasBestOaLocation W17564224582 @default.
- W1756422458 hasConcept C118643609 @default.
- W1756422458 hasConcept C127613066 @default.
- W1756422458 hasConcept C130436687 @default.
- W1756422458 hasConcept C136764020 @default.
- W1756422458 hasConcept C169590947 @default.
- W1756422458 hasConcept C195274430 @default.
- W1756422458 hasConcept C199360897 @default.
- W1756422458 hasConcept C206880738 @default.
- W1756422458 hasConcept C21959979 @default.
- W1756422458 hasConcept C35578498 @default.
- W1756422458 hasConcept C41008148 @default.
- W1756422458 hasConcept C544833334 @default.
- W1756422458 hasConcept C61423126 @default.
- W1756422458 hasConceptScore W1756422458C118643609 @default.
- W1756422458 hasConceptScore W1756422458C127613066 @default.
- W1756422458 hasConceptScore W1756422458C130436687 @default.
- W1756422458 hasConceptScore W1756422458C136764020 @default.
- W1756422458 hasConceptScore W1756422458C169590947 @default.
- W1756422458 hasConceptScore W1756422458C195274430 @default.
- W1756422458 hasConceptScore W1756422458C199360897 @default.
- W1756422458 hasConceptScore W1756422458C206880738 @default.
- W1756422458 hasConceptScore W1756422458C21959979 @default.
- W1756422458 hasConceptScore W1756422458C35578498 @default.
- W1756422458 hasConceptScore W1756422458C41008148 @default.
- W1756422458 hasConceptScore W1756422458C544833334 @default.
- W1756422458 hasConceptScore W1756422458C61423126 @default.
- W1756422458 hasLocation W17564224581 @default.
- W1756422458 hasLocation W17564224582 @default.
- W1756422458 hasOpenAccess W1756422458 @default.
- W1756422458 hasPrimaryLocation W17564224581 @default.
- W1756422458 hasRelatedWork W1423770153 @default.
- W1756422458 hasRelatedWork W1555544970 @default.
- W1756422458 hasRelatedWork W1587757316 @default.
- W1756422458 hasRelatedWork W2009812594 @default.
- W1756422458 hasRelatedWork W2169961956 @default.
- W1756422458 hasRelatedWork W2188521699 @default.
- W1756422458 hasRelatedWork W2217148334 @default.
- W1756422458 hasRelatedWork W2222600588 @default.
- W1756422458 hasRelatedWork W2332496214 @default.
- W1756422458 hasRelatedWork W2512911016 @default.
- W1756422458 hasRelatedWork W2517571436 @default.
- W1756422458 hasRelatedWork W2952739102 @default.
- W1756422458 hasRelatedWork W3017805342 @default.
- W1756422458 hasRelatedWork W3033206483 @default.
- W1756422458 hasRelatedWork W3100937765 @default.
- W1756422458 hasRelatedWork W3124622633 @default.
- W1756422458 hasRelatedWork W3146585101 @default.
- W1756422458 hasRelatedWork W3196260665 @default.
- W1756422458 hasRelatedWork W635351216 @default.
- W1756422458 hasRelatedWork W86717647 @default.
- W1756422458 isParatext "false" @default.
- W1756422458 isRetracted "false" @default.
- W1756422458 magId "1756422458" @default.
- W1756422458 workType "book-chapter" @default.