A Delayed Splitting Bottom-Up Procedure for Model Generation
暂无分享,去创建一个
[1] Boris Motik,et al. Query Answering for OWL-DL with Rules , 2004, SEMWEB.
[2] Tim Geisler,et al. Efficient Model Generation through Compilation , 1996, CADE.
[3] M. A. McRobbie,et al. Automated Deduction — Cade-13 , 1996, Lecture Notes in Computer Science.
[4] Jack Minker. Foundations of deductive databases and logic programming , 1988 .
[5] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.
[6] Kiyoshi Akama,et al. Meaning-preserving Skolemization , 2011, KEOD.
[7] Roy Dyckhoff. Automated Reasoning with Analytic Tableaux and Related Methods , 2000, Lecture Notes in Computer Science.
[8] Miyuki Koshimura,et al. MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications , 1997, TABLEAUX.
[9] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .