Search Sciweavers | Sciweavers

2395 search results - page 61 / 479

» Reasoning in Semantic Wikis

122

click to vote

LACL
2005
Springer

114views Automated Reasoning» more LACL 2005»

Large Scale Semantic Construction for Tree Adjoining Grammars

16 years 5 days ago

Download www.univ-orleans.fr

Claire Gardent, Yannick Parmentier

claim paper

Read More »

130

click to vote

LPAR
2005
Springer

93views Automated Reasoning» more LPAR 2005»

Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics

16 years 5 days ago

Download formal.cs.uiuc.edu

Wolfgang Ahrendt, Andreas Roth, Ralf Sasse

claim paper

Read More »

164

click to vote

PPSWR
2005
Springer

241views Automated Reasoning» more PPSWR 2005»

Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules

16 years 5 days ago

Download www.dis.uniroma1.it

Riccardo Rosati

claim paper

Read More »

132

click to vote

RWEB
2005
Springer

111views Automated Reasoning» more RWEB 2005»

Introduction to Semantic Web Ontology Languages

16 years 5 days ago

Download www.inf.unibz.it

Grigoris Antoniou, Enrico Franconi, Frank van Harm...

claim paper

Read More »

138

click to vote

KR
2004
Springer

119views Automated Reasoning» more KR 2004»

Meaning and Links: A Semantic Odyssey

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers