713 search results - page 3 / 143 » Viewcharts: Syntax and Semantics |
158
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set ...
162
click to vote
WOLLIC
2007
Springer
15 years 12 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...
127
Voted
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
129
Voted
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
