Sciweavers

19 search results - page 1 / 4

» jolli 2008

6

JOLLI
2008

52views more JOLLI 2008»

A Remark on Collective Quantification

13 years 4 months ago

A Remark on Collective Quantification

Download www.jakubszymanik.com

Juha Kontinen, Jakub Szymanik

claim paper

Read More »

8

JOLLI
2008

69views more JOLLI 2008»

Learning to Apply Theory of Mind

13 years 4 months ago

Learning to Apply Theory of Mind

Download www.ai.rug.nl

Rineke Verbrugge, Lisette Mol

claim paper

Read More »

8

JOLLI
2008

51views more JOLLI 2008»

Strong Completeness and Limited Canonicity for PDL

13 years 4 months ago

Strong Completeness and Limited Canonicity for PDL

Download www.rug.nl

Gerard R. Renardel de Lavalette, Barteld P. Kooi, ...

claim paper

Read More »

9

INFFUS
2008

71views more INFFUS 2008»

Improvement of an association algorithm for obstacle tracking

13 years 4 months ago

Improvement of an association algorithm for obstacle tracking

Download www.iut-bethune.univ-artois.fr

Yann Lemeret, E. Lefevre, Daniel Jolly

claim paper

Read More »

14

JOLLI
2008

122views more JOLLI 2008»

The Basic Constructive Logic for Negation-Consistency

13 years 4 months ago

The Basic Constructive Logic for Negation-Consistency

Download campus.usal.es

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

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »