Logic-Based Knowledge Representation Export

@inproceedings{citeulike:460388, 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...}, author = {Baader, F.}, booktitle = {Artificial Intelligence Today, Recent Trends and Developments}, citeulike-article-id = {460388}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.8797}, editor = {Wooldridge, M. J. and Veloso, M.}, keywords = {description-logic, knowledge-representation, logic, logic-programming}, number = {1600}, pages = {13--41}, posted-at = {2006-01-09 21:14:38}, priority = {3}, publisher = {Springer Verlag}, title = {Logic-Based Knowledge Representation}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.8797}, year = {1999} }

TY - CONF ID - citeulike:460388 L3 - citeulike-article-id:460388 N2 - 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... IS - 1600 EP - 41 TI - Logic-Based Knowledge Representation PB - Springer Verlag T2 - Artificial Intelligence Today, Recent Trends and Developments SP - 13 KW - description-logic KW - knowledge-representation KW - logic KW - logic-programming AU - Baader, F A2 - Wooldridge, MJ A2 - Veloso, M PY - 1999/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.8797 ER -