Search Sciweavers | Sciweavers

3053 search results - page 56 / 611

» A Logic of Abstract Argumentation

111

click to vote

SLP
1997

100views more SLP 1997»

Temporal Logic Model Checking (Abstract)

15 years 7 months ago

Download www.info2.uqam.ca

Edmund M. Clarke

claim paper

Read More »

134

click to vote

SLP
1994

88views more SLP 1994»

Abstract Interpretation and Partial Evaluation in Functional and Logic Programming

15 years 7 months ago

Download repository.readscheme.org

Neil D. Jones

claim paper

Read More »

153

click to vote

AMW
2009

154views Knowledge Management» more AMW 2009»

From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract)

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Leopoldo E. Bertossi

claim paper

Read More »

127

click to vote

GG
2008
Springer

75views Theoretical Computer Science» more GG 2008»

A Modal-Logic Based Graph Abstraction

15 years 7 months ago

Download www7.in.tum.de

Jörg Bauer, Iovka Boneva, Marcos E. Kurb&aacu...

claim paper

Read More »

124

click to vote

CORR
2010
Springer

134views Education» more CORR 2010»

Abstract Certification of Global Non-Interference in Rewriting Logic

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers