Sciweavers

2395 search results - page 60 / 479

» Reasoning in Semantic Wikis

97

RR
2009
Springer

101views Automated Reasoning» more RR 2009»

SILK: Higher Level Rules with Defaults and Semantic Scalability

15 years 10 months ago

SILK: Higher Level Rules with Defaults and Semantic Scalability

Download silk.semwebcentral.org

Benjamin N. Grosof

claim paper

Read More »

83

LICS
2007
IEEE

85views Automated Reasoning» more LICS 2007»

Bialgebraic Operational Semantics and Modal Logic

15 years 10 months ago

Bialgebraic Operational Semantics and Modal Logic

Download www.mimuw.edu.pl

Bartek Klin

claim paper

Read More »

103

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Answer Set Programming for the Semantic Web

15 years 10 months ago

Answer Set Programming for the Semantic Web

Download www.kr.tuwien.ac.at

Thomas Eiter

claim paper

Read More »

96

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Context Semantics, Linear Logic and Computational Complexity

15 years 10 months ago

Context Semantics, Linear Logic and Computational Complexity

Download tocl.acm.org

Ugo Dal Lago

claim paper

Read More »

108

Voted

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

15 years 9 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 »