Logic Programming Infrastructure for Inferences on FrameNet
暂无分享,去创建一个
[1] Johan Bos,et al. Computational Semantics in Discourse: Underspecification, Resolution, and Inference , 2004, J. Log. Lang. Inf..
[2] Christoph Wernhard,et al. System Description : KRHyper , 2003 .
[3] Ilkka Niemelä,et al. Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.
[4] L. Stein,et al. OWL Web Ontology Language - Reference , 2004 .
[5] Manfred Pinkal,et al. Towards a Resource for Lexical Semantics: A Large German Corpus with Extensive Semantic Annotation , 2003, ACL.
[6] Christiane Fellbaum,et al. Book Reviews: WordNet: An Electronic Lexical Database , 1999, CL.
[7] John B. Lowe,et al. The Berkeley FrameNet Project , 1998, ACL.
[8] Francesco M. Donini,et al. Description logics of minimal knowledge and negation as failure , 2002, TOCL.
[9] C. Fellbaum. An Electronic Lexical Database , 1998 .
[10] Jerry R. Hobbs,et al. Interpretation as Abduction , 1993, Artif. Intell..
[11] Ilkka Niemelä,et al. Efficient Implementation of the Well-founded and Stable Model Semantics , 1996, JICSLP.
[12] Michael Kohlhase,et al. Inference and Computational Semantics , 2004, J. Log. Lang. Inf..
[13] Wolfgang Faber,et al. Declarative problem-solving using the DLV system , 2000 .
[14] Chitta Baral,et al. Reasoning in description logics using declarative logic programming , 2004 .
[15] Ian Horrocks,et al. OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .
[16] Ian Horrocks,et al. Description logic programs: combining logic programs with description logic , 2003, WWW '03.
[17] Chitta Baral,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .
[18] Michael Kohlhase,et al. Resource-Adaptive Model Generation as a Performance Model , 2003, Log. J. IGPL.
[19] Jack Minker,et al. Logic-Based Artificial Intelligence , 2000 .
[20] Srini Narayanan,et al. FrameNet Meets the Semantic Web: A DAML+OIL Frame Representation , 2002 .