DNA implementation of theorem proving with resolution refutation in prepositional logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2568, Issue , 2003, Pages 156-167

  Lee, In Hee ^a   Park, Ji Yoon ^b   Jang, Hae Man ^b   Chai, Young Gyu ^b   Zhang, Byoung Tak ^a  

^a Seoul National University   (South Korea)

^b Hanyang University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21844468069     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36440-4_14     Document Type: Article

References (18)

1. Adleman, L., Molecular computation of solutions to combinatorial problems, Science, 266:1021-1024, 1994.
2. Fitting, M., First-Order Logic and Automated Theorem Proving, Springer-Verlag New York Inc., 1942.
3. Hagiya, M., Arita, M., Kiga, D., Sakamoto, K., and Yokoyama, S., Towards parallel evaluation and learning of Boolean μ-formulas with molecules, Preliminary Proceedings of the Third DIMACS Workshop on DNA Based Computers, 105-114, 1997.
4. Hagiya, M., From molecular computing to molecular programming, Lecture Notes in Computer Science, 2001.
5. Hasegawa, R., Parallel theorem-proving system: MGTP, Proceedings of Fifth Generation Computer System, 1994.
6. Kobayashi, S., Horn clause computation with DNA molecules, Journal of Combinatorial Optimization, 3:277-299, 1999.
7. Lipton, R.J., DNA solution of hard computational problem, Science, 268:542-545, 1995.
8. Luger, G.F. and Stubblefield, W.A., Artificial Intelligence: Structures and Strategies for Complex Problem Solving, 2nd Ed., Benjamin/Cummings, 1993.
9. ∼lusk/papers/roo/paper.html, 1998.
10. Mihalache, V., Prolog approach to DNA computing, Proceedings of the IEEE International Conference on Evolutionary Computation, IEEE Press, 249-254, 1997.
11. Nilsson, N.J., Aritificial Intelligence: A New Systhesis, Morgan Kaufman Publishers Inc., 1998.
12. Sa-Ardyen, P., Jonoska, N., and Seeman, N.G., Self-assembling DNA Graphs, Preliminary Proceedings of the Eighth International Meeting on DNA Based Computers, 20-28, 2002.
13. Sakamoto, K., Gouzu, H., Komiya, K., Kiga, D., Yokoyama, S., Yokomori, T., and Hagiya, M., Molecular computation by DNA hairpin formation, Science, 288:1223-1226, 2000.
14. Shin, S.-Y., Kim, D., Lee, I.-H., and Zhang, B.-T., Evolutionary sequence generation for reliable DNA computing, 2002 IEEE World Congress on Evolutionary Computation, 2002 (accepted).
15. Suttner, C., SPTHEO - A parallel theorem prover, Journal of Automated Reasoning, 18(2):253-258, 1997.
16. Uejima, H., Hagiya, M., and Kobayashi, S., Horn clause computation by self-assembly of DNA molecules, Preliminary Proceedings of the Seventh International Meeting on DNA Based Computers, 63-71, 2001.
17. Wasiewicz, P., Janczak, T., Mulawka, J.J., and Plucienniczak, A., The inference based on molecular computing, International Journal of Cybernetics and Systems, 31(3):283-315, 2000.
18. Winfree, E., Algorithmic self-assembly of DNA, Ph.D. Thesis, California Institute of Technology, 1998.