@inproceedings{kerdprasop2009knowledge,
  title={Knowledge Mining with a Higher-Order Logic Approach},
  author={Kerdprasop, Kittisak and Kerdprasop, Nittaya},
  booktitle={New Advances in Intelligent Decision Technologies: Results of the First KES International Symposium IDT 2009},
  pages={151--159},
  year={2009},
  organization={Springer Berlin Heidelberg Berlin, Heidelberg}
}

{"_id":"ATfz2E3tcvssihtJF","bibbaseid":"kerdprasop-kerdprasop-knowledgeminingwithahigherorderlogicapproach-2009","author_short":["Kerdprasop, K.","Kerdprasop, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Knowledge Mining with a Higher-Order Logic Approach","author":[{"propositions":[],"lastnames":["Kerdprasop"],"firstnames":["Kittisak"],"suffixes":[]},{"propositions":[],"lastnames":["Kerdprasop"],"firstnames":["Nittaya"],"suffixes":[]}],"booktitle":"New Advances in Intelligent Decision Technologies: Results of the First KES International Symposium IDT 2009","pages":"151–159","year":"2009","organization":"Springer Berlin Heidelberg Berlin, Heidelberg","bibtex":"@inproceedings{kerdprasop2009knowledge,\n title={Knowledge Mining with a Higher-Order Logic Approach},\n author={Kerdprasop, Kittisak and Kerdprasop, Nittaya},\n booktitle={New Advances in Intelligent Decision Technologies: Results of the First KES International Symposium IDT 2009},\n pages={151--159},\n year={2009},\n organization={Springer Berlin Heidelberg Berlin, Heidelberg}\n}\n\n","author_short":["Kerdprasop, K.","Kerdprasop, N."],"key":"kerdprasop2009knowledge-1","id":"kerdprasop2009knowledge-1","bibbaseid":"kerdprasop-kerdprasop-knowledgeminingwithahigherorderlogicapproach-2009","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/HnQC7A6C8WxhqExKR/CPE_Kittisak_Kerdprasop.bib","dataSources":["i2p6t5GidYbtznHvX","ZMigHSvPR5DDSsqAW","p7TcfQRkYAco4B7Nv","yG3Dz9pr4Ys2nNyak"],"keywords":[],"search_terms":["knowledge","mining","higher","order","logic","approach","kerdprasop","kerdprasop"],"title":"Knowledge Mining with a Higher-Order Logic Approach","year":2009}