Search Sciweavers | Sciweavers

1582 search results - page 100 / 317

» On Higher-Order Description Logics

click to vote

IJCAI
1997

122views Artificial Intelligence» more IJCAI 1997»

Autoepistemic Description Logics

14 years 11 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

14 years 11 months ago

Download www.aclweb.org

Suresh Manandhar

claim paper

Read More »

click to vote

COLING
1994

65views Computational Linguistics» more COLING 1994»

An HPSG Parser Based on Description Logics

14 years 11 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

14 years 11 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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers