%0 Conference Paper %1 baader99 %A Baader, F. %B Artificial Intelligence Today, Recent Trends and Developments %D 1999 %E Wooldridge, M. J. %E Veloso, M. %I Springer Verlag %K logic representation description knowledge %N 1600 %P 13--41 %T Logic-Based Knowledge Representation %U http://citeseer.ist.psu.edu/110067.html %X After a short analysis of the requirements that a knowledge representation language must satisfy, we introduce Description Logics, Modal Logics, and Nonmonotonic Logics as formalisms for representing, respectively, terminological knowledge, time-dependent and subjective knowledge, and incomplete knowledge. At the end of each section, we briefly comment on the connection to Logic Programming. Introduction Let us start with asking under which conditions one may rightfully claim to have...

@inproceedings{baader99, abstract = {After a short analysis of the requirements that a knowledge representation language must satisfy, we introduce Description Logics, Modal Logics, and Nonmonotonic Logics as formalisms for representing, respectively, terminological knowledge, time-dependent and subjective knowledge, and incomplete knowledge. At the end of each section, we briefly comment on the connection to Logic Programming. Introduction Let us start with asking under which conditions one may rightfully claim to have...}, added-at = {2006-03-24T16:34:33.000+0100}, author = {Baader, F.}, biburl = {https://www.bibsonomy.org/bibtex/2f41943dfb84f27560a7f51dc3aaeebd8/neilernst}, booktitle = {Artificial Intelligence Today, Recent Trends and Developments}, citeulike-article-id = {460388}, description = {sdasda}, editor = {Wooldridge, M. J. and Veloso, M.}, interhash = {3131341939dfb99936ca24613da7f26f}, intrahash = {f41943dfb84f27560a7f51dc3aaeebd8}, keywords = {logic representation description knowledge}, number = 1600, pages = {13--41}, priority = {2}, publisher = {Springer Verlag}, timestamp = {2006-03-24T16:34:33.000+0100}, title = {Logic-Based Knowledge Representation}, url = {http://citeseer.ist.psu.edu/110067.html}, year = 1999 }