Model-Intersection Problems and Their Solution Schema Based on Equivalent Transformation
暂无分享,去创建一个
[1] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[2] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[3] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.
[4] Kiyoshi Akama,et al. Equivalent Transformation in an Extended Space for Solving Query-Answering Problems , 2014, ACIIDS.
[5] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .
[6] Michael Gelfond,et al. Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.
[7] Melvin Fitting,et al. First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.
[8] Francesco M. Donini,et al. AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.
[9] Kiyoshi Akama,et al. Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation , 2013, KEOD.
[10] K. Akama,et al. Proving theorems based on equivalent transformation using resolution and factoring , 2012, 2012 World Congress on Information and Communication Technologies.