Search Sciweavers | Sciweavers

4573 search results - page 166 / 915

» Automated Reasoning

107

click to vote

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Characterizing Provability in

15 years 12 months ago

Download www.loria.fr

Didier Galmiche, Daniel Méry

claim paper

Read More »

140

click to vote

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

15 years 12 months ago

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

158

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 12 months ago

Download www.dis.uniroma1.it

Riccardo Rosati

claim paper

Read More »

128

click to vote

RWEB
2005
Springer

111views Automated Reasoning» more RWEB 2005»

Introduction to Semantic Web Ontology Languages

15 years 12 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

137

click to vote

TARK
2005
Springer

103views Automated Reasoning» more TARK 2005»

Continuous consensus via common knowledge

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers