New Publications
- Towards Linked Research Data: An Institutional Approach
- Bi-directional Inter-dependencies of Subjective Expressions and Targets and their Value for a Joint Model
- Committee-based Selection of Weakly Labeled Instances for Learning Relation Extraction
- Proceedings of Interacting with Linked Data (ILD 2012), workshop co-located with the 9th Extended Semantic Web Conference, May 28, 2012, Heraklion, Greece
More...User login
Dynamic semantics as monadic computation |
| Title | Dynamic semantics as monadic computation |
| Publication Type | Conference Proceedings |
| Year of Conference | 2011 |
| Authors | Unger, C |
| Editor | Okumura, M, Bekki D, Satoh K |
| Conference Name | JSAI-isAI |
| Series Title | LNAI |
| Volume | 7258 |
| Pagination | 68-81 |
| Date Published | 2012 |
| Publisher | Springer-Verlag Berlin Heidelberg |
| Conference Location | Takamatsu, Japan |
| Abstract | This paper proposes a formulation of the basic ideas of dynamic semantics in terms of the state monad. Such a monadic treatment allows to specify meanings as computations that clearly separate operations accessing and updating the context from purely truth conditional meaning composition. |
| Attachment | Size |
|---|---|
| unger_dsamc.pdf | 315.67 KB |
- Login to post comments
- Tagged
- XML
- BibTex
- Google Scholar
