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 »

142

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 6 months ago

Download users.soe.ucsc.edu

Allen Van Gelder, Geoff Sutcliffe

claim paper

Read More »

116

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 26 days ago

Download www.cs.engr.uky.edu

Miroslaw Truszczynski

claim paper

Read More »

122

click to vote

RR
2009
Springer

90views Automated Reasoning» more RR 2009»

Uncertainty Reasoning for the Semantic Web

16 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers