Search Sciweavers | Sciweavers

4617 search results - page 186 / 924

» Automation of Diagrammatic Reasoning

138

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 »

157

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 »

136

click to vote

TARK
2005
Springer

103views Automated Reasoning» more TARK 2005»

Continuous consensus via common knowledge

15 years 12 months ago

Download www.tark.org

Tal Mizrahi, Yoram Moses

claim paper

Read More »

139

click to vote

TARK
2005
Springer

100views Automated Reasoning» more TARK 2005»

The communication cost of selfishness: ex post implementation

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers