36 search results - page 5 / 8 » Resource modalities in game semantics |
WOLLIC
2010
Springer
14 years 25 days ago
2010
Springer
In type logical categorial grammar the analysis of an expression is a resource-conscious proof. Anaphora represents a particular challenge to this approach in that the antecedent ...
ENTCS
2007
13 years 7 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
While the Semantic Web requires a large amount of structured knowledge (triples) to allow machine reasoning, the acquisition of this knowledge still represents an open issue. Indee...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
Agent description and discovery (ADD) is a critical infrastructure for open multi-agent services. As multi-agent systems grow larger and more diverse, it becomes harder to locate ...