Search Sciweavers | Sciweavers

381 search results - page 11 / 77

» Tableaux for Acceptance Logic

170

click to vote

OTM
2007
Springer

137views Internet Technology» more OTM 2007»

Parallelizing Tableaux-Based Description Logic Reasoning

16 years 3 days ago

Download www.informatik.uni-ulm.de

Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly eﬃcient optimizations for the DL ta...

Thorsten Liebig, Felix Müller

claim paper

Read More »

128

click to vote

ICLP
2007
Springer

112views Automated Reasoning» more ICLP 2007»

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

16 years 3 days ago

Download www.tcs.hut.fi

Matti Järvisalo, Emilia Oikarinen

claim paper

Read More »

119

click to vote

LPAR
2007
Springer

114views Automated Reasoning» more LPAR 2007»

One-Pass Tableaux for Computation Tree Logic

16 years 3 days ago

Download twb.rsise.anu.edu.au

Pietro Abate, Rajeev Goré, Florian Widmann

claim paper

Read More »

140

click to vote

DLOG
2006

192views Automated Reasoning» more DLOG 2006»

Binary Absorption in Tableaux-Based Reasoning for Description Logics

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Alexander K. Hudek, Grant E. Weddell

claim paper

Read More »

click to vote

ENTCS
2006

113views more ENTCS 2006»

Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers