Sciweavers

19 search results - page 1 / 4
» jolli 2008
Sort
View
JOLLI
2008
52views more  JOLLI 2008»
14 years 10 months ago
A Remark on Collective Quantification
Juha Kontinen, Jakub Szymanik
JOLLI
2008
69views more  JOLLI 2008»
14 years 10 months ago
Learning to Apply Theory of Mind
Rineke Verbrugge, Lisette Mol
JOLLI
2008
51views more  JOLLI 2008»
14 years 10 months ago
Strong Completeness and Limited Canonicity for PDL
Gerard R. Renardel de Lavalette, Barteld P. Kooi, ...
INFFUS
2008
71views more  INFFUS 2008»
14 years 10 months ago
Improvement of an association algorithm for obstacle tracking
Yann Lemeret, E. Lefevre, Daniel Jolly
JOLLI
2008
122views more  JOLLI 2008»
14 years 10 months ago
The Basic Constructive Logic for Negation-Consistency
In this paper, consistency is understood in the standard way, i.e. as the absence of a contradiction. The basic constructive logic BK c4 , which is adequate to this sense of consis...
Gemma Robles