Sciweavers

15 search results - page 2 / 3
» jolli 2010
Sort
View
JOLLI
2010
123views more  JOLLI 2010»
13 years 3 months ago
The Situation Calculus: A Case for Modal Logic
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
Gerhard Lakemeyer
JOLLI
2010
78views more  JOLLI 2010»
13 years 3 months ago
On the Membership Problem for Non-Linear Abstract Categorial Grammars
embership problem for non-linear Abstract Categorial Grammars Sylvain Salvati Abstract In this paper we show that the membership problem for second order nonbstract Categorial Gram...
Sylvain Salvati
JOLLI
2010
69views more  JOLLI 2010»
13 years 3 months ago
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars
in Abstract Categorial Grammars Christian Retor´e, Sylvain Salvati This paper solves a natural but still open question: can Abstract Categorial Grammars (ACGs) have been defined ...
Christian Retoré, Sylvain Salvati
JOLLI
2010
92views more  JOLLI 2010»
13 years 3 months ago
A Theory of Hierarchical Consequence and Conditionals
We introduce A-ranked preferential structures and combine them with an accessibility relation. A-ranked preferential structures are intermediate between simple preferential struct...
Dov M. Gabbay, Karl Schlechta
JOLLI
2010
94views more  JOLLI 2010»
13 years 3 months ago
Querying Linguistic Trees
Large databases of linguistic annotations are used for testing linguistic hypotheses and for training language processing models. These linguistic annotations are often syntactic ...
Catherine Lai, Steven Bird