Search Sciweavers | Sciweavers

2694 search results - page 86 / 539

» A Description Logic of Change

click to vote

COLING
1994

65views Computational Linguistics» more COLING 1994»

An HPSG Parser Based on Description Logics

13 years 10 months ago

Download acl.ldc.upenn.edu

Joachim Quantz

claim paper

Read More »

click to vote

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

13 years 10 months ago

Download www.aaai.org

Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Je...

claim paper

Read More »

click to vote

DLOG
1996

137views Automated Reasoning» more DLOG 1996»

Finite Model Reasoning in Description Logics

13 years 10 months ago

Download www.inf.unibz.it

Diego Calvanese

claim paper

Read More »

click to vote

DLOG
1996

97views Automated Reasoning» more DLOG 1996»

Representing SGML Documents in Description Logics

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
1996

140views Automated Reasoning» more DLOG 1996»

Using Description Logic for Reasoning about Diagrammatical Notations

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers