Model driven engineering of a tableau algorithm for description logics. Krdzavac, N., Gasevic, D., & Devedzic, V. Comput. Sci. Inf. Syst., 6(1):23–43, 2009.
Paper doi bibtex @article{DBLP:journals/comsis/KrdzavacGD09,
author = {Nenad Krdzavac and
Dragan Gasevic and
Vladan Devedzic},
title = {Model driven engineering of a tableau algorithm for description logics},
journal = {Comput. Sci. Inf. Syst.},
volume = {6},
number = {1},
pages = {23--43},
year = {2009},
url = {https://doi.org/10.2298/CSIS0901023K},
doi = {10.2298/CSIS0901023K},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/KrdzavacGD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":{"_str":"5274067657266d0f1e0001ad"},"__v":6,"authorIDs":["54595c38b43425b7720004b0","vys29iWxHKZtaDJc6"],"author_short":["Krdzavac, N.","Gasevic, D.","Devedzic, V."],"bibbaseid":"krdzavac-gasevic-devedzic-modeldrivenengineeringofatableaualgorithmfordescriptionlogics-2009","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Nenad"],"propositions":[],"lastnames":["Krdzavac"],"suffixes":[]},{"firstnames":["Dragan"],"propositions":[],"lastnames":["Gasevic"],"suffixes":[]},{"firstnames":["Vladan"],"propositions":[],"lastnames":["Devedzic"],"suffixes":[]}],"title":"Model driven engineering of a tableau algorithm for description logics","journal":"Comput. Sci. Inf. Syst.","volume":"6","number":"1","pages":"23–43","year":"2009","url":"https://doi.org/10.2298/CSIS0901023K","doi":"10.2298/CSIS0901023K","timestamp":"Tue, 21 May 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/comsis/KrdzavacGD09.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/comsis/KrdzavacGD09,\n author = {Nenad Krdzavac and\n Dragan Gasevic and\n Vladan Devedzic},\n title = {Model driven engineering of a tableau algorithm for description logics},\n journal = {Comput. Sci. Inf. Syst.},\n volume = {6},\n number = {1},\n pages = {23--43},\n year = {2009},\n url = {https://doi.org/10.2298/CSIS0901023K},\n doi = {10.2298/CSIS0901023K},\n timestamp = {Tue, 21 May 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/comsis/KrdzavacGD09.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Krdzavac, N.","Gasevic, D.","Devedzic, V."],"key":"DBLP:journals/comsis/KrdzavacGD09","id":"DBLP:journals/comsis/KrdzavacGD09","bibbaseid":"krdzavac-gasevic-devedzic-modeldrivenengineeringofatableaualgorithmfordescriptionlogics-2009","role":"author","urls":{"Paper":"https://doi.org/10.2298/CSIS0901023K"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/k/Krdzavac:Nenad","downloads":0,"keywords":[],"search_terms":["model","driven","engineering","tableau","algorithm","description","logics","krdzavac","gasevic","devedzic"],"title":"Model driven engineering of a tableau algorithm for description logics","year":2009,"dataSources":["FnucF3PLKdsGEarB7"]}