Search Sciweavers | Sciweavers

3891 search results - page 126 / 779

» A logic for strategic reasoning

190

click to vote

FOIKS
2006
Springer

120views Information Technology» more FOIKS 2006»

Reasoning Support for Expressive Ontology Languages Using a Theorem Prover

15 years 10 months ago

Download www.comlab.ox.ac.uk

It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...

Ian Horrocks, Andrei Voronkov

claim paper

Read More »

137

click to vote

CADE
2007
Springer

154views Logical Reasoning» more CADE 2007»

The Bedwyr System for Model Checking over Syntactic Expressions

16 years 6 months ago

Download users.rsise.anu.edu.au

David Baelde, Andrew Gacek, Dale Miller, Gopalan N...

claim paper

Read More »

110

click to vote

CADE
2007
Springer

124views Logical Reasoning» more CADE 2007»

The KeY system 1.0 (Deduction Component)

16 years 6 months ago

Download www.steffen-schlager.de

Bernhard Beckert, Martin Giese, Reiner Hähnle...

claim paper

Read More »

145

click to vote

CADE
2006
Springer

163views Logical Reasoning» more CADE 2006»

Automatic Termination Proofs in the Dependency Pair Framework

16 years 6 months ago

Download verify.rwth-aachen.de

Jürgen Giesl, Peter Schneider-Kamp, Ren&eacut...

claim paper

Read More »

110

click to vote

CADE
2005
Springer

101views Logical Reasoning» more CADE 2005»

The MathSAT 3 System

16 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers