36 search results - page 5 / 8 » Resource modalities in game semantics |
145
Voted
WOLLIC
2010
Springer
15 years 8 months 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 ...
104
Voted
ENTCS
2007
15 years 3 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...
136
Voted
SEMWEB
2007
Springer
15 years 10 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...
145
Voted
LICS
2008
IEEE
15 years 10 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...
123
Voted
ATAL
2004
Springer
15 years 9 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 ...