Search Sciweavers | Sciweavers

3718 search results - page 25 / 744

» IMPS: System Description

click to vote

TABLEAUX
1999
Springer

93views Artificial Intelligence» more TABLEAUX 1999»

KtSeqC: System Description

14 years 22 days ago

Download reference.kfupm.edu.sa

Vijay Boyapati, Rajeev Goré

claim paper

Read More »

click to vote

CADE
1998
Springer

143views Logical Reasoning» more CADE 1998»

System Description: leanK 2.0

14 years 21 days ago

Download www.uni-koblenz.de

Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...

Bernhard Beckert, Rajeev Goré

claim paper

Read More »

click to vote

CADE
1998
Springer

143views Logical Reasoning» more CADE 1998»

System Description: LEO - A Higher-Order Theorem Prover

14 years 21 days ago

Download www.ags.uni-sb.de

Christoph Benzmüller, Michael Kohlhase

claim paper

Read More »

click to vote

CADE
1998
Springer

103views Logical Reasoning» more CADE 1998»

System Description: CRIL Platform for SAT

14 years 21 days ago

Download www.cril.univ-artois.fr

The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...

Bertrand Mazure, Lakhdar Sais, Éric Gr&eacu...

claim paper

Read More »

click to vote

MUC
1993

107views Natural Language Processing» more MUC 1993»

NEC: description of the VENIEX system as used for MUC-5

14 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers