Sciweavers

2308 search results - page 152 / 462
» Categorial Semantics For LFG
Sort
View
WWW
2004
ACM
16 years 7 months ago
Interpreting distributed ontologies
Semantic Web is challenged by the URI meaning issues arising from putting ontologies in open and distributed environments. As a try to clarify some of the meaning issues, this pap...
Yuzhong Qu, Zhiqiang Gao
WWW
2004
ACM
16 years 7 months ago
Metadata co-development: a process resulting in metadata about technical assistance to educators
Metadata development can be challenging because the vocabulary should be flexible and extensible, widely applicable, interoperable, and both machine and human readable. We describ...
Michael B. Knapp, Sara Dexter, Robert McLaughlin
ICFP
2005
ACM
16 years 6 months ago
Witnessing side-effects
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
Tachio Terauchi, Alexander Aiken
ATAL
2009
Springer
16 years 1 months ago
Roles and norms for programming agent organizations
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules C...
TLCA
2009
Springer
16 years 1 months ago
Partial Orders, Event Structures and Linear Strategies
We introduce a Game Semantics where strategies are partial orders, and composition is a generalization of the merging of orders. Building on this, to bridge between Game Semantics ...
Claudia Faggian, Mauro Piccolo