Search Sciweavers | Sciweavers

2585 search results - page 21 / 517

» Automating Coherent Logic

130

Voted

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

15 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

120

click to vote

DLOG
2006

192views Automated Reasoning» more DLOG 2006»

Binary Absorption in Tableaux-Based Reasoning for Description Logics

15 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Alexander K. Hudek, Grant E. Weddell

claim paper

Read More »

108

click to vote

DLOG
2003

113views Automated Reasoning» more DLOG 2003»

Basic Description Logics

15 years 6 months ago

Download www.inf.unibz.it

Franz Baader, Werner Nutt

claim paper

Read More »

Voted

DLOG
2003

133views Automated Reasoning» more DLOG 2003»

An Introduction to Description Logics

15 years 6 months ago

Download www.inf.unibz.it

Daniele Nardi, Ronald J. Brachman

claim paper

Read More »

160

Voted

DLOG
1998

136views Automated Reasoning» more DLOG 1998»

A Description Logic with Transitive and Inverse Roles and Role Hierarchies

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers