Sciweavers

4516 search results - page 19 / 904

» Education and the Semantic Web

32

CORR
2006
Springer

88views Education» more CORR 2006»

A Constructive Semantic Characterization of Aggregates in ASP

14 years 9 months ago

A Constructive Semantic Characterization of Aggregates in ASP

Download www.cs.nmsu.edu

Tran Cao Son, Enrico Pontelli

claim paper

Read More »

30

CORR
2006
Springer

103views Education» more CORR 2006»

Semantics and Complexity of SPARQL

14 years 9 months ago

Semantics and Complexity of SPARQL

Download web.ing.puc.cl

Jorge Pérez, Marcelo Arenas, Claudio Gutier...

claim paper

Read More »

53

CORR
2007
Springer

101views Education» more CORR 2007»

Curry-style type Isomorphisms and Game Semantics

14 years 9 months ago

Curry-style type Isomorphisms and Game Semantics

Download www.pps.jussieu.fr

Joachim De Lataillade

claim paper

Read More »

45

CORR
2000
Springer

58views Education» more CORR 2000»

On the semantics of merging

14 years 9 months ago

On the semantics of merging

Download www.dsl.uow.edu.au

Thomas Andreas Meyer

claim paper

Read More »

54

CORR
2002
Springer

96views Education» more CORR 2002»

Precongruence Formats for Decorated Trace Semantics

14 years 9 months ago

Precongruence Formats for Decorated Trace Semantics

Download www.cs.vu.nl

Bard Bloom, Wan Fokkink, Rob J. van Glabbeek

claim paper

Read More »

« Prev « First page 19 / 904 Last » Next »