Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950996938> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2950996938 abstract "In this paper, an application of automated theorem proving techniques to computational semantics is considered. In order to compute the presuppositions of a natural language discourse, several inference tasks arise. Instead of treating these inferences independently of each other, we show how integrating techniques from formal approaches to context into deduction can help to compute presuppositions more efficiently. Contexts are represented as Discourse Representation Structures and the way they are nested is made explicit. In addition, a tableau calculus is present which keeps track of contextual information, and thereby allows to avoid carrying out redundant inference steps as it happens in approaches that neglect explicit nesting of contexts." @default.
- W2950996938 created "2019-06-27" @default.
- W2950996938 creator A5021578107 @default.
- W2950996938 date "2000-09-20" @default.
- W2950996938 modified "2023-09-23" @default.
- W2950996938 title "Contextual Inference in Computational Semantics" @default.
- W2950996938 cites W1491947308 @default.
- W2950996938 cites W1507714439 @default.
- W2950996938 cites W1553225362 @default.
- W2950996938 cites W1576210512 @default.
- W2950996938 cites W1601018530 @default.
- W2950996938 cites W2046515274 @default.
- W2950996938 cites W2080814527 @default.
- W2950996938 cites W2101266041 @default.
- W2950996938 cites W2119854905 @default.
- W2950996938 cites W2127845924 @default.
- W2950996938 cites W2145814916 @default.
- W2950996938 cites W3021354894 @default.
- W2950996938 cites W3140168455 @default.
- W2950996938 hasPublicationYear "2000" @default.
- W2950996938 type Work @default.
- W2950996938 sameAs 2950996938 @default.
- W2950996938 citedByCount "0" @default.
- W2950996938 crossrefType "posted-content" @default.
- W2950996938 hasAuthorship W2950996938A5021578107 @default.
- W2950996938 hasConcept C138885662 @default.
- W2950996938 hasConcept C151730666 @default.
- W2950996938 hasConcept C154945302 @default.
- W2950996938 hasConcept C17744445 @default.
- W2950996938 hasConcept C184337299 @default.
- W2950996938 hasConcept C191897082 @default.
- W2950996938 hasConcept C192562407 @default.
- W2950996938 hasConcept C199360897 @default.
- W2950996938 hasConcept C199539241 @default.
- W2950996938 hasConcept C204321447 @default.
- W2950996938 hasConcept C21190884 @default.
- W2950996938 hasConcept C2776214188 @default.
- W2950996938 hasConcept C2776359362 @default.
- W2950996938 hasConcept C2776937656 @default.
- W2950996938 hasConcept C2779343474 @default.
- W2950996938 hasConcept C41008148 @default.
- W2950996938 hasConcept C41895202 @default.
- W2950996938 hasConcept C80444323 @default.
- W2950996938 hasConcept C86803240 @default.
- W2950996938 hasConcept C94625758 @default.
- W2950996938 hasConceptScore W2950996938C138885662 @default.
- W2950996938 hasConceptScore W2950996938C151730666 @default.
- W2950996938 hasConceptScore W2950996938C154945302 @default.
- W2950996938 hasConceptScore W2950996938C17744445 @default.
- W2950996938 hasConceptScore W2950996938C184337299 @default.
- W2950996938 hasConceptScore W2950996938C191897082 @default.
- W2950996938 hasConceptScore W2950996938C192562407 @default.
- W2950996938 hasConceptScore W2950996938C199360897 @default.
- W2950996938 hasConceptScore W2950996938C199539241 @default.
- W2950996938 hasConceptScore W2950996938C204321447 @default.
- W2950996938 hasConceptScore W2950996938C21190884 @default.
- W2950996938 hasConceptScore W2950996938C2776214188 @default.
- W2950996938 hasConceptScore W2950996938C2776359362 @default.
- W2950996938 hasConceptScore W2950996938C2776937656 @default.
- W2950996938 hasConceptScore W2950996938C2779343474 @default.
- W2950996938 hasConceptScore W2950996938C41008148 @default.
- W2950996938 hasConceptScore W2950996938C41895202 @default.
- W2950996938 hasConceptScore W2950996938C80444323 @default.
- W2950996938 hasConceptScore W2950996938C86803240 @default.
- W2950996938 hasConceptScore W2950996938C94625758 @default.
- W2950996938 hasOpenAccess W2950996938 @default.
- W2950996938 hasRelatedWork W1483617434 @default.
- W2950996938 hasRelatedWork W1501498122 @default.
- W2950996938 hasRelatedWork W1503129029 @default.
- W2950996938 hasRelatedWork W1553556894 @default.
- W2950996938 hasRelatedWork W1574194273 @default.
- W2950996938 hasRelatedWork W1599479014 @default.
- W2950996938 hasRelatedWork W1838321713 @default.
- W2950996938 hasRelatedWork W202288218 @default.
- W2950996938 hasRelatedWork W2143252279 @default.
- W2950996938 hasRelatedWork W2169842745 @default.
- W2950996938 hasRelatedWork W2177595 @default.
- W2950996938 hasRelatedWork W2400957619 @default.
- W2950996938 hasRelatedWork W2471720752 @default.
- W2950996938 hasRelatedWork W2738202733 @default.
- W2950996938 hasRelatedWork W2772851804 @default.
- W2950996938 hasRelatedWork W2778489400 @default.
- W2950996938 hasRelatedWork W2945547108 @default.
- W2950996938 hasRelatedWork W2950176964 @default.
- W2950996938 hasRelatedWork W3111931364 @default.
- W2950996938 hasRelatedWork W47227379 @default.
- W2950996938 isParatext "false" @default.
- W2950996938 isRetracted "false" @default.
- W2950996938 magId "2950996938" @default.
- W2950996938 workType "article" @default.