Search Sciweavers | Sciweavers

2694 search results - page 85 / 539

» A Description Logic of Change

click to vote

DLOG
1997

94views Automated Reasoning» more DLOG 1997»

Conjunctive Query Containment in Description Logics with n-ary Relations

13 years 10 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

click to vote

DLOG
1997

141views Automated Reasoning» more DLOG 1997»

Description Logics with Aggregates and Concrete Domains

13 years 10 months ago

Download www.inf.unibz.it

Franz Baader, Ulrike Sattler

claim paper

Read More »

click to vote

DLOG
1997

98views Automated Reasoning» more DLOG 1997»

Discovering description logic assertions from database schemes

13 years 10 months ago

Download www.inf.unibz.it

Angela Bonifati, Luigi Palopoli, Domenico Sacc&agr...

claim paper

Read More »

click to vote

IJCAI
1997

122views Artificial Intelligence» more IJCAI 1997»

Autoepistemic Description Logics

13 years 10 months ago

Download www.win.tue.nl

Francesco M. Donini, Daniele Nardi, Riccardo Rosat...

claim paper

Read More »

click to vote

ACL
1994

98views Computational Linguistics» more ACL 1994»

An Attributive Logic of Set Descriptions and Set Operations

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers