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

How to cite

top

Nenad 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 ?

top

You must be logged in to post comments.