BibTeX
CSL-JSON
MLA
Harvard
Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking
release_xl3gjrqx3fh7zl3r77vax4bebq
by
Jaromir Malenko, Petr Stepánek
Published
in International Workshop on Description Logics.
2012
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
Stage
Year 2012
paper-conference
Stage
published
Year 2012
dblp
conf/dlog/MalenkoS12
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links