Search Sciweavers | Sciweavers

4573 search results - page 54 / 915

» Automated Reasoning

Voted

DLOG
2008

89views Automated Reasoning» more DLOG 2008»

The SAT-Tableau Calculus

15 years 4 months ago

Download www.kr.tuwien.ac.at

Uwe Keller, Stijn Heymans

claim paper

Read More »

Voted

DLOG
2008

93views Automated Reasoning» more DLOG 2008»

XPath: (P)DL on Trees

15 years 4 months ago

Download staff.science.uva.nl

Maarten Marx

claim paper

Read More »

click to vote

DLOG
2008

98views Automated Reasoning» more DLOG 2008»

Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi

15 years 4 months ago

Download www.comlab.ox.ac.uk

Rob Shearer, Boris Motik, Ian Horrocks

claim paper

Read More »

Voted

DLOG
2008

86views Automated Reasoning» more DLOG 2008»

Explaining User Errors in Knowledge Base Completion

15 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

Baris Sertkaya

claim paper

Read More »

click to vote

DLOG
2008

78views Automated Reasoning» more DLOG 2008»

Towards Higher-Order DL-Lite

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers