Search Sciweavers | Sciweavers

2395 search results - page 61 / 479

» Reasoning in Semantic Wikis

click to vote

LACL
2005
Springer

114views Automated Reasoning» more LACL 2005»

Large Scale Semantic Construction for Tree Adjoining Grammars

15 years 3 months ago

Download www.univ-orleans.fr

Claire Gardent, Yannick Parmentier

claim paper

Read More »

click to vote

LPAR
2005
Springer

93views Automated Reasoning» more LPAR 2005»

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

15 years 3 months ago

Download formal.cs.uiuc.edu

Wolfgang Ahrendt, Andreas Roth, Ralf Sasse

claim paper

Read More »

click to vote

PPSWR
2005
Springer

241views Automated Reasoning» more PPSWR 2005»

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

15 years 3 months ago

Download www.dis.uniroma1.it

Riccardo Rosati

claim paper

Read More »

click to vote

RWEB
2005
Springer

111views Automated Reasoning» more RWEB 2005»

Introduction to Semantic Web Ontology Languages

15 years 3 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

click to vote

KR
2004
Springer

119views Automated Reasoning» more KR 2004»

Meaning and Links: A Semantic Odyssey

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers