%0 Conference Paper %1 conf/dlog/Swartout91 %A Swartout, William R. %B Description Logics %D 1991 %E Nebel, Bernhard %E von Luck, Kai %E Peltason, Christof %K dblp %P 117-119 %T Using Terminological Logics in a Problem Solver. %U http://dblp.uni-trier.de/db/conf/dlog/dlog91.html#Swartout91 %V DFKI-D-91-13

@inproceedings{conf/dlog/Swartout91, added-at = {2019-07-31T00:00:00.000+0200}, author = {Swartout, William R.}, biburl = {https://www.bibsonomy.org/bibtex/2b3f77fb8bd1517392bb46d205b6d4b4f/dblp}, booktitle = {Description Logics}, crossref = {conf/dlog/1991}, editor = {Nebel, Bernhard and von Luck, Kai and Peltason, Christof}, interhash = {ecaaac0df746e558762cf969fc387b17}, intrahash = {b3f77fb8bd1517392bb46d205b6d4b4f}, keywords = {dblp}, pages = {117-119}, series = {DFKI Documents}, timestamp = {2019-08-01T11:40:33.000+0200}, title = {Using Terminological Logics in a Problem Solver.}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog91.html#Swartout91}, volume = {DFKI-D-91-13}, year = 1991 }