Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking release_xl3gjrqx3fh7zl3r77vax4bebq

by Jaromir Malenko, Petr Stepánek

Archived Files and Locations

application/pdf  302.0 kB
file_e22aamfnuzbpxpvsui7fpceasm
ceur-ws.org (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2012
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: de2c27bd-d6e5-4e24-8bcc-221017b0373d
API URL: JSON