713 search results - page 3 / 143 » Viewcharts: Syntax and Semantics |
ECAI
2000
Springer
13 years 11 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 ...
WOLLIC
2007
Springer
14 years 1 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...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
RULEML
2005
Springer
14 years 25 days ago
2005
Springer