Search Sciweavers | Sciweavers

4617 search results - page 268 / 924

» Automation of Diagrammatic Reasoning

108

click to vote

ECSQARU
2005
Springer

93views Automated Reasoning» more ECSQARU 2005»

Belief Revision of GIS Systems: The Results of REV!GIS

16 years 2 days ago

Download www.cril.univ-artois.fr

Salem Benferhat, Jonathan Ben-Naim, Robert Jeansou...

claim paper

Read More »

136

click to vote

ICCBR
2005
Springer

107views Automated Reasoning» more ICCBR 2005»

A CBR Module for a Strategy Videogame

16 years 2 days ago

Download gaia.fdi.ucm.es

Rubén Sánchez-Pelegrín, Marco...

claim paper

Read More »

130

click to vote

LPNMR
2005
Springer

105views Automated Reasoning» more LPNMR 2005»

Platypus: A Platform for Distributed Answer Set Solving

16 years 1 days ago

Download dtai.cs.kuleuven.be

Jean Gressmann, Tomi Janhunen, Robert E. Mercer, T...

claim paper

Read More »

124

click to vote

LPNMR
2005
Springer

93views Automated Reasoning» more LPNMR 2005»

On the Local Closed-World Assumption of Data-Sources

16 years 1 days ago

Download people.cs.kuleuven.be

Alvaro Cortés-Calabuig, Marc Denecker, Ofer...

claim paper

Read More »

129

click to vote

PPSWR
2005
Springer

227views Automated Reasoning» more PPSWR 2005»

SomeWhere in the Semantic Web

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers