Search Sciweavers | Sciweavers

4978 search results - page 174 / 996

» Logical models of argument

124

click to vote

TASE
2008
IEEE

96views Software Engineering» more TASE 2008»

A Relational Model for Confined Separation Logic

16 years 28 days ago

Download homepages.cwi.nl

Shuling Wang, Luís Soares Barbosa, Jos&eacu...

claim paper

Read More »

105

click to vote

BPM
2007
Springer

121views Business» more BPM 2007»

Inducing Declarative Logic-Based Models from Labeled Traces

16 years 22 days ago

Download bpm07.fit.qut.edu.au

Evelina Lamma, Paola Mello, Marco Montali, Fabrizi...

claim paper

Read More »

134

click to vote

CMSB
2007
Springer

117views Applied Computing» more CMSB 2007»

Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks

16 years 22 days ago

Download www.nesc.ac.uk

Aurélien Naldi, Denis Thieffry, Claudine Ch...

claim paper

Read More »

138

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

16 years 21 days ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

129

click to vote

LFCS
2007
Springer

85views Artificial Intelligence» more LFCS 2007»

Multiplexor Categories and Models of Soft Linear Logic

16 years 20 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers