Period of time: 2013年1-2期
Publisher: Springer Publishing Company
Founded in: 1990
Total resources: 73
ISSN: 1012-2443
Subject: O Mathematical Sciences and Chemical
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Annals of Mathematics and Artificial Intelligence,volume 58,issue 1-2
Menu
Preface: Special issue on commonsense reasoning for the semantic web
Annals of Mathematics and Artificial Intelligence,volume 58,issue 1-2 , Vol. 58, Iss. 1-2, 2010-02 , pp.A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence,volume 58,issue 1-2 , Vol. 58, Iss. 1-2, 2010-02 , pp.FO(ID) as an extension of DL with rules
Annals of Mathematics and Artificial Intelligence,volume 58,issue 1-2 , Vol. 58, Iss. 1-2, 2010-02 , pp.Forgetting for knowledge bases in DL-Lite
Annals of Mathematics and Artificial Intelligence,volume 58,issue 1-2 , Vol. 58, Iss. 1-2, 2010-02 , pp.