Search Sciweavers | Sciweavers

1071 search results - page 26 / 215

» Modal Logics, Description Logics and Arithmetic Reasoning

click to vote

LICS
2007
IEEE

85views Automated Reasoning» more LICS 2007»

Bialgebraic Operational Semantics and Modal Logic

16 years 13 days ago

Download www.mimuw.edu.pl

Bartek Klin

claim paper

Read More »

138

click to vote

LPAR
2007
Springer

131views Automated Reasoning» more LPAR 2007»

Completeness for Flat Modal Fixpoint Logics

16 years 9 days ago

Download staff.science.uva.nl

Luigi Santocanale, Yde Venema

claim paper

Read More »

148

click to vote

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

291

click to vote

DLOG
2006

333views Automated Reasoning» more DLOG 2006»

Automated Benchmarking of Description Logic Reasoners

15 years 7 months ago

Download www.comlab.ox.ac.uk

Tom Gardiner, Ian Horrocks, Dmitry Tsarkov

claim paper

Read More »

132

click to vote

DLOG
1996

137views Automated Reasoning» more DLOG 1996»

Finite Model Reasoning in Description Logics

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers