1588 search results - page 244 / 318 » On the Logic of Constitutive Rules |
112
click to vote
WOLLIC
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
111
click to vote
LPKR
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
119
click to vote
SWAP
2007
15 years 2 months ago
2007
We address the problem of reasoning with instances of heterogeneously formalized ontologies. Given a set of semantic mappings, reconciling conceptual and instance level heterogenei...
132
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
112
click to vote
MOBIHOC
2004
ACM
16 years 1 months ago
2004
ACM
In the near future, the advent of large-scale networks of mobile agents autonomously performing long-term sensing and communication tasks will be upon us. However, using controlle...