713 search results - page 3 / 143 » Viewcharts: Syntax and Semantics |
135
Voted
ECAI
2000
Springer
15 years 8 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 ...
137
click to vote
WOLLIC
2007
Springer
15 years 10 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...
110
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
93
Voted
RULEML
2005
Springer
15 years 9 months ago
2005
Springer