Search Sciweavers | Sciweavers

4573 search results - page 102 / 915

» Automated Reasoning

140

click to vote

GIS
2009
ACM

141views Automated Reasoning» more GIS 2009»

Towards the SocioScope: an information system for the study of social dynamics through digital traces

15 years 9 months ago

Download www.cse.unt.edu

Andrea Vaccari, Francesco Calabrese, Bing Liu, Car...

claim paper

Read More »

109

click to vote

DLOG
2007

106views Automated Reasoning» more DLOG 2007»

Description Logics in the Calculus of Structures

15 years 8 months ago

Download dl.kr.org

Jean-David Roubach, Pascal Yim, Joaquin Rodriguez

claim paper

Read More »

170

click to vote

DLOG
2007

225views Automated Reasoning» more DLOG 2007»

Dynamic Description Logic: Embracing Actions into Description Logic

15 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Liang Chang, Zhongzhi Shi, Lirong Qiu, Fen Lin

claim paper

Read More »

click to vote

DLOG
2007

104views Automated Reasoning» more DLOG 2007»

Ontology Reuse: Better Safe than Sorry

15 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazako...

claim paper

Read More »

134

click to vote

DLOG
2007

120views Automated Reasoning» more DLOG 2007»

Actions and Programs over Description Logic Ontologies

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers