Search Sciweavers | Sciweavers

3658 search results - page 211 / 732

» The logic of proofs, semantically

117

click to vote

IBERAMIA
2004
Springer

83views Artificial Intelligence» more IBERAMIA 2004»

On Some Differences Between Semantics of Logic Program Updates

16 years 20 hour ago

Download centria.di.fct.unl.pt

João Alexandre Leite

claim paper

Read More »

135

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 4 hour ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

175

click to vote

EWSPT
2003
Springer

102views Software Engineering» more EWSPT 2003»

Flexible Static Semantic Checking Using First-Order Logic

15 years 12 months ago

Download laser.cs.umass.edu

Shimon Rura, Barbara Staudt Lerner

claim paper

Read More »

143

click to vote

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Semantics and Logic of Object Calculi

15 years 11 months ago

Download www.cogs.susx.ac.uk

Bernhard Reus, Thomas Streicher

claim paper

Read More »

126

click to vote

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers