Side-Change Transformation
暂无分享,去创建一个
[1] Melvin Fitting,et al. First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.
[2] Francesco M. Donini,et al. AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.
[3] Kiyoshi Akama,et al. Model-Intersection Problems with Existentially Quantified Function Variables: Formalization and a Solution Schema , 2016, KEOD.
[4] Kiyoshi Akama,et al. Computation Control by Prioritized ET Rules , 2018, KEOD.
[5] Kiyoshi Akama,et al. Unfolding Existentially Quantified Sets of Extended Clauses , 2016, KEOD.
[6] Kiyoshi Akama,et al. Meaning-preserving Skolemization , 2011, KEOD.
[7] Kiyoshi Akama,et al. Function-variable Elimination and Its Limitations , 2015, KEOD.
[8] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[9] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.
[10] Kiyoshi Akama,et al. Equivalent Transformation in an Extended Space for Solving Query-Answering Problems , 2014, ACIIDS.
[11] Kiyoshi Akama,et al. A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation , 2015, KEOD.
[12] Francis Jeffry Pelletier,et al. Seventy-five problems for testing automatic theorem provers , 1986, Journal of Automated Reasoning.