𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Editorial: Semantic approaches to binding

✍ Scribed by Alastair Butler; Edward L. Keenan; Jason Mattausch


Book ID
106519221
Publisher
Springer
Year
2006
Tongue
English
Weight
48 KB
Volume
5
Category
Article
ISSN
1570-7075

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


An approach to intensional semantics
✍ Maria Luisa Dalla Chiara πŸ“‚ Article πŸ“… 1987 πŸ› Springer Netherlands 🌐 English βš– 732 KB
ZemPod: A semantic web approach to podca
✍ Γ’scar Celma; Yves Raimond πŸ“‚ Article πŸ“… 2008 πŸ› Elsevier Science 🌐 English βš– 621 KB

In this paper we present a semantic web approach to solve some current limitations of podcasting. The main shortcomings of podcasts are two. The first one is that there is no formal description of the contents of a podcast session, apart from a textual description only available in HTML. The second

A Semantic Approach to Order-sorted Rewr
✍ A. Werner πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 863 KB

Order-sorted rewriting builds a nice framework to handle partially defined functions and subtypes. To be able to prove a critical-pair lemma and Birkhoff's completeness theorem, order-sorted rewriting was restricted to sort decreasing term rewriting systems. However, natural examples show that this