Search Sciweavers | Sciweavers

3515 search results - page 98 / 703

» On the semantics of Strategy Logic

138

click to vote

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Context Semantics, Linear Logic and Computational Complexity

16 years 1 months ago

Download tocl.acm.org

Ugo Dal Lago

claim paper

Read More »

150

click to vote

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

16 years 18 days ago

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

123

click to vote

IBERAMIA
2004
Springer

83views Artificial Intelligence» more IBERAMIA 2004»

On Some Differences Between Semantics of Logic Program Updates

16 years 14 days ago

Download centria.di.fct.unl.pt

João Alexandre Leite

claim paper

Read More »

148

click to vote

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

16 years 13 days ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

188

click to vote

EWSPT
2003
Springer

102views Software Engineering» more EWSPT 2003»

Flexible Static Semantic Checking Using First-Order Logic

16 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers