A General Schema for Solving Model-Intersection Problems on a Specialization System by 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] Kiyoshi Akama,et al. Equivalent Transformation in an Extended Space for Solving Query-Answering Problems , 2014, ACIIDS.
[4] Francesco M. Donini,et al. AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.
[5] Michael Gelfond,et al. Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.
[6] K. Akama,et al. Proving theorems based on equivalent transformation using resolution and factoring , 2012, 2012 World Congress on Information and Communication Technologies.
[7] Kiyoshi Akama,et al. Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation , 2013, KEOD.