Search Sciweavers | Sciweavers

3706 search results - page 19 / 742

» OntoComP System Description

137

click to vote

ICEIS
2002
IEEE

78views Information Technology» more ICEIS 2002»

A Model for Advanced Query Capability Description in Mediator Systems

16 years 11 days ago

Download www.tic.udc.es

Alberto Pan, Paula Montoto, Anastasio Molano, Manu...

claim paper

Read More »

143

Voted

CADE
2009
Springer

121views Logical Reasoning» more CADE 2009»

System Description: H-PILoT

16 years 2 days ago

Download www.mpi-inf.mpg.de

Carsten Ihlemann, Viorica Sofronie-Stokkermans

claim paper

Read More »

211

Voted

CADE
2000
Springer

141views Logical Reasoning» more CADE 2000»

System Description: ARA - An Automatic Theorem Prover for Relation Algebras

15 years 11 months ago

Download www.carstensinz.de

Abstract. aRa is an automatic theorem prover for various kinds of relation algebras. It is based on Gordeev’s Reduction Predicate Calculi for n-variable logic (RPCn) which allow ...

Carsten Sinz

claim paper

Read More »

164

Voted

CADE
1999
Springer

126views Logical Reasoning» more CADE 1999»

System Description: inka 5.0 - A Logic Voyager

15 years 11 months ago

Download www.mais.informatik.tu-darmstadt.de

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...

claim paper

Read More »

161

click to vote

TABLEAUX
1999
Springer

93views Artificial Intelligence» more TABLEAUX 1999»

KtSeqC: System Description

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers