Sciweavers

2395 search results - page 60 / 479

» Reasoning in Semantic Wikis

119

RR
2009
Springer

101views Automated Reasoning» more RR 2009»

SILK: Higher Level Rules with Defaults and Semantic Scalability

16 years 8 days ago

SILK: Higher Level Rules with Defaults and Semantic Scalability

Download silk.semwebcentral.org

Benjamin N. Grosof

claim paper

Read More »

94

Voted

LICS
2007
IEEE

85views Automated Reasoning» more LICS 2007»

Bialgebraic Operational Semantics and Modal Logic

16 years 10 hour ago

Bialgebraic Operational Semantics and Modal Logic

Download www.mimuw.edu.pl

Bartek Klin

claim paper

Read More »

123

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Answer Set Programming for the Semantic Web

15 years 12 months ago

Answer Set Programming for the Semantic Web

Download www.kr.tuwien.ac.at

Thomas Eiter

claim paper

Read More »

116

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Context Semantics, Linear Logic and Computational Complexity

15 years 11 months ago

Context Semantics, Linear Logic and Computational Complexity

Download tocl.acm.org

Ugo Dal Lago

claim paper

Read More »

122

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

15 years 11 months ago

Denotational Semantics Using Horn Concurrent Transaction Logic

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

« Prev « First page 60 / 479 Last » Next »