Model Driven Engineering of a Tableau Algorithm for Description Logics
Nenad Krdžavac; Dragan Gašević; Vladan Devedžić
Computer Science and Information Systems (2009)
- Issue: 11, page 23-43
- ISSN: 1820-0214
Access Full Article
top
How to cite
topNenad Krdžavac, Dragan Gašević, and Vladan Devedžić. "Model Driven Engineering of a Tableau Algorithm for Description Logics." Computer Science and Information Systems (2009): 23-43. <http://eudml.org/doc/252773>.
@article{NenadKrdžavac2009,
author = {Nenad Krdžavac, Dragan Gašević, Vladan Devedžić},
journal = {Computer Science and Information Systems},
language = {eng},
number = {11},
pages = {23-43},
publisher = {ComSIS Consortium},
title = {Model Driven Engineering of a Tableau Algorithm for Description Logics},
url = {http://eudml.org/doc/252773},
year = {2009},
}
TY - JOUR
AU - Nenad Krdžavac
AU - Dragan Gašević
AU - Vladan Devedžić
TI - Model Driven Engineering of a Tableau Algorithm for Description Logics
JO - Computer Science and Information Systems
PY - 2009
PB - ComSIS Consortium
IS - 11
SP - 23
EP - 43
LA - eng
UR - http://eudml.org/doc/252773
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.