Eikonomia-An Integrated Semantically Aware Tool for Description and Retrieval of Byzantine Art Information
暂无分享,去创建一个
[1] Jia-Huai You,et al. Arc-Consistency + Unit Propagation = Lookahead , 2004, ICLP.
[2] Mark Wallace,et al. An Instance of Adaptive Constraint Propagation , 1996, CP.
[3] Wolfgang Faber,et al. The DLV system for knowledge representation and reasoning , 2002, TOCL.
[4] L. Stein,et al. OWL Web Ontology Language - Reference , 2004 .
[5] Diego Calvanese,et al. The Description Logic Handbook , 2007 .
[6] Ilkka Niemelä,et al. Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.
[7] Kenneth A. Ross,et al. Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.
[8] Ian Horrocks,et al. OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .
[9] Troels Andreasen,et al. Similarity from conceptual relations , 2003, 22nd International Conference of the North American Fuzzy Information Processing Society, NAFIPS 2003.
[10] Miroslaw Truszczynski,et al. An Smodels System with Limited Lookahead Computation , 2007, LPNMR.
[11] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[12] Timo Soininen,et al. Extending and implementing the stable model semantics , 2000, Artif. Intell..
[13] Donald W. Loveland,et al. A machine program for theorem-proving , 2011, CACM.