| ชื่อเรื่อง | : | Unfolding-based simplification of query-answering problems in an extended clause space |
| นักวิจัย | : | Akama, Kiyoshi , Ekawit Nantajeewarawat |
| คำค้น | : | Equivalent transformation , Query-answering problems , Unfolding transformation |
| หน่วยงาน | : | สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2556 |
| อ้างอิง | : | International journal of innovative computing, information & control. 9, 9 (2013) pp. 3515-3526 , 1349-4198 , http://dspace.library.tu.ac.th/handle/3517/6682 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | To convert a first-order formula containing an existential quantification into an equivalent clausal normal form, it is necessary to introduce function variables and accordingly extend the space of first-order formulas. This paper proposes unfolding transformation and transformation by definite-clause removal on such an extended formula space and demonstrates how they are employed to simplify query-answering problems. The presented work provides a foundation for constructing a correct method for solving query-answering problems that include unrestricted use of universal and existential quantifications. © 2013 ISSN 1349-4198. |
| บรรณานุกรม | : |
Akama, Kiyoshi , Ekawit Nantajeewarawat . (2556). Unfolding-based simplification of query-answering problems in an extended clause space.
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Akama, Kiyoshi , Ekawit Nantajeewarawat . 2556. "Unfolding-based simplification of query-answering problems in an extended clause space".
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Akama, Kiyoshi , Ekawit Nantajeewarawat . "Unfolding-based simplification of query-answering problems in an extended clause space."
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ , 2556. Print. Akama, Kiyoshi , Ekawit Nantajeewarawat . Unfolding-based simplification of query-answering problems in an extended clause space. กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ ; 2556.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
