Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. Hustadt, U., Motik, B., & Sattler, U. In de Mántaras, R. L. & Saitta, L., editors, Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, pages 353–357, 2004. IOS Press. bibtex @inproceedings{DBLP:conf/ecai/HustadtMS04,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Reasoning in Description Logics with a Concrete Domain in the Framework
of Resolution},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {353--357},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HustadtMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"XtFkiBm7S4MSzveME","bibbaseid":"hustadt-motik-sattler-reasoningindescriptionlogicswithaconcretedomainintheframeworkofresolution-2004","author_short":["Hustadt, U.","Motik, B.","Sattler, U."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Boris"],"propositions":[],"lastnames":["Motik"],"suffixes":[]},{"firstnames":["Ulrike"],"propositions":[],"lastnames":["Sattler"],"suffixes":[]}],"editor":[{"firstnames":["Ramón","López"],"propositions":["de"],"lastnames":["Mántaras"],"suffixes":[]},{"firstnames":["Lorenza"],"propositions":[],"lastnames":["Saitta"],"suffixes":[]}],"title":"Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution","booktitle":"Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004","pages":"353–357","publisher":"IOS Press","year":"2004","timestamp":"Fri, 11 May 2018 12:42:30 +0200","biburl":"https://dblp.org/rec/conf/ecai/HustadtMS04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ecai/HustadtMS04,\n author = {Ullrich Hustadt and\n Boris Motik and\n Ulrike Sattler},\n editor = {Ram{\\'{o}}n L{\\'{o}}pez de M{\\'{a}}ntaras and\n Lorenza Saitta},\n title = {Reasoning in Description Logics with a Concrete Domain in the Framework\n of Resolution},\n booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,\n ECAI'2004, including Prestigious Applicants of Intelligent Systems,\n {PAIS} 2004, Valencia, Spain, August 22-27, 2004},\n pages = {353--357},\n publisher = {{IOS} Press},\n year = {2004},\n timestamp = {Fri, 11 May 2018 12:42:30 +0200},\n biburl = {https://dblp.org/rec/conf/ecai/HustadtMS04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Motik, B.","Sattler, U."],"editor_short":["de Mántaras, R. L.","Saitta, L."],"key":"DBLP:conf/ecai/HustadtMS04","id":"DBLP:conf/ecai/HustadtMS04","bibbaseid":"hustadt-motik-sattler-reasoningindescriptionlogicswithaconcretedomainintheframeworkofresolution-2004","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["reasoning","description","logics","concrete","domain","framework","resolution","hustadt","motik","sattler"],"title":"Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution","year":2004}