713 search results - page 3 / 143 » Viewcharts: Syntax and Semantics |
108
Voted
ECAI
2000
Springer
15 years 5 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 ...
112
Voted
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...
80
Voted
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
76
Voted
HICSS
2006
IEEE
15 years 7 months ago
2006
IEEE
73
Voted
RULEML
2005
Springer
15 years 6 months ago
2005
Springer