Műegyetemi Digitális Archívum
 

Expressive Description Logic Reasoning Using First-Order Resolution

Files

Primary 135432.pdf (330.21 KB)

Date

2016

Title

Expressive Description Logic Reasoning Using First-Order Resolution

Authors

Zombori, Zsolt

Type

folyóiratcikk

ISSN, e-ISSN

0955-792X
1465-363x

Periodical Volume

-

Container Title

JOURNAL OF LOGIC AND COMPUTATION

Gender

szakcikk
Cite this item
http://hdl.handle.net/10890/4690

OOC works

Abstract

Description

Keywords

Collections

BME PA dokumentumai