Search Sciweavers | Sciweavers

4573 search results - page 237 / 915

» Automated Reasoning

115

click to vote

ECSQARU
2005
Springer

93views Automated Reasoning» more ECSQARU 2005»

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

16 years 19 days ago

Download www.cril.univ-artois.fr

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

claim paper

Read More »

145

click to vote

ICCBR
2005
Springer

107views Automated Reasoning» more ICCBR 2005»

A CBR Module for a Strategy Videogame

16 years 18 days ago

Download gaia.fdi.ucm.es

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

claim paper

Read More »

138

click to vote

LPNMR
2005
Springer

105views Automated Reasoning» more LPNMR 2005»

Platypus: A Platform for Distributed Answer Set Solving

16 years 17 days ago

Download dtai.cs.kuleuven.be

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

claim paper

Read More »

131

click to vote

LPNMR
2005
Springer

93views Automated Reasoning» more LPNMR 2005»

On the Local Closed-World Assumption of Data-Sources

16 years 17 days ago

Download people.cs.kuleuven.be

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

claim paper

Read More »

137

click to vote

PPSWR
2005
Springer

227views Automated Reasoning» more PPSWR 2005»

SomeWhere in the Semantic Web

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers