Search Sciweavers | Sciweavers

4617 search results - page 219 / 924

» Automation of Diagrammatic Reasoning

174

click to vote

LICS
2009
IEEE

118views Automated Reasoning» more LICS 2009»

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

16 years 1 months ago

Download eprints.eemcs.utwente.nl

Taolue Chen, Tingting Han, Joost-Pieter Katoen, Al...

claim paper

Read More »

150

click to vote

TPHOL
2009
IEEE

236views Automated Reasoning» more TPHOL 2009»

Packaging Mathematical Structures

16 years 1 months ago

Download www.normalesup.org

François Garillot, Georges Gonthier, Assia ...

claim paper

Read More »

139

click to vote

ICCBR
2009
Springer

119views Automated Reasoning» more ICCBR 2009»

Case Retrieval Reuse Net (CR2N): An Architecture for Reuse of Textual Solutions

16 years 1 months ago

Download www.comp.rgu.ac.uk

Ibrahim Adeyanju, Nirmalie Wiratunga, Robert Lothi...

claim paper

Read More »

120

click to vote

LPNMR
2009
Springer

92views Automated Reasoning» more LPNMR 2009»

The Second Answer Set Programming Competition

16 years 1 months ago

Download dtai.cs.kuleuven.be

Marc Denecker, Joost Vennekens, Stephen Bond, Mart...

claim paper

Read More »

119

click to vote

RR
2009
Springer

98views Automated Reasoning» more RR 2009»

A Formal Theory for Modular ERDF Ontologies

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers