Search Sciweavers | Sciweavers

4573 search results - page 121 / 915

» Automated Reasoning

click to vote

DLOG
2009

68views Automated Reasoning» more DLOG 2009»

Fair Cycle Detection using Description Logic Reasoning

15 years 1 months ago

Download www.cs.uwaterloo.ca

Shoham Ben-David, Jeffrey Pound, Richard J. Trefle...

claim paper

Read More »

115

Voted

CADE
2006
Springer

111views Logical Reasoning» more CADE 2006»

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

16 years 3 months ago

Download users.soe.ucsc.edu

Allen Van Gelder, Geoff Sutcliffe

claim paper

Read More »

218

Voted

CADE
2009
Springer

400views Logical Reasoning» more CADE 2009»

Instantiation-Based Automated Reasoning: From Theory to Practice

15 years 4 months ago

Download www.cs.man.ac.uk

Konstantin Korovin

claim paper

Read More »

click to vote

LPNMR
2009
Springer

78views Automated Reasoning» more LPNMR 2009»

Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs

15 years 10 months ago

Download www.cs.engr.uky.edu

Miroslaw Truszczynski

claim paper

Read More »

click to vote

RR
2009
Springer

90views Automated Reasoning» more RR 2009»

Uncertainty Reasoning for the Semantic Web

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers