Expressive Description Logic Reasoning Using First-Order Resolution

View/ Open
Metadata
Show full item record
Link to refer to this document:
Collections
- BME PA dokumentumai [3588]
- Title
- Expressive Description Logic Reasoning Using First-Order Resolution
- Author
- Zombori, Zsolt
- Date of issue
- 2016
- Language
- en
- Identifiers
- MTMT: 2686174
- Title of the container document
- JOURNAL OF LOGIC AND COMPUTATION
- Volume of container document
- -
- ISSN, e-ISSN
- 0955-792X
- 1465-363x
- Document type
- folyóiratcikk
- Document genre
- szakcikk