Integration of and a Solution for Proof Problems and Query-Answering Problems
暂无分享,去创建一个
[1] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .
[2] Kiyoshi Akama,et al. Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation , 2013, KEOD.
[3] Monty Newborn. Automated theorem proving - theory and practice , 2000 .
[4] Evert W. Beth,et al. Semantic Entailment And Formal Derivability , 1955 .
[5] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[6] Jean H. Gallier,et al. Logic for Computer Science: Foundations of Automatic Theorem Proving , 1985 .
[7] Boris Motik,et al. Query Answering for OWL-DL with Rules , 2004, SEMWEB.
[8] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.
[9] Melvin Fitting,et al. First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.
[10] Kiyoshi Akama,et al. Meaning-preserving Skolemization , 2011, KEOD.
[11] K. Akama,et al. Proving theorems based on equivalent transformation using resolution and factoring , 2012, 2012 World Congress on Information and Communication Technologies.