Search Sciweavers | Sciweavers

Abstract. The DL implementation group (DIG) has speciﬁed a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...

Sebastian Wandelt

claim paper

Read More »

152

click to vote

CADE
2006
Springer

111views Logical Reasoning» more CADE 2006»

Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation

16 years 7 months ago

Download users.soe.ucsc.edu

Allen Van Gelder, Geoff Sutcliffe

claim paper

Read More »

123

click to vote

LPNMR
2009
Springer

78views Automated Reasoning» more LPNMR 2009»

Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs

16 years 1 months ago

Download www.cs.engr.uky.edu

Miroslaw Truszczynski

claim paper

Read More »

132

click to vote

RR
2009
Springer

90views Automated Reasoning» more RR 2009»

Uncertainty Reasoning for the Semantic Web

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers