ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

Akama, Kiyoshi
หน่วยงาน สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์
จำนวนงานวิจัยจำแนกรายปี
บุคคลที่เคยร่วมงานวิจัย
ความเชี่ยวชาญ
บุคคลที่เคยร่วมงานวิจัย
# นักวิจัย ร่วมงาน
1 Vilas Wuwongse 5
2 Koike, Hidekatsu 5
3 Chutiporn Anutariya 5
4 Ekawit Nantajeewarawat 1
5 Surapa Thiemjarus 1
ปี
# พ.ศ. จำนวน
1 2557 2
2 2556 4
3 2555 4
4 2554 1
5 2551 2
6 2550 1
7 2549 1
8 2547 1
9 2546 2
10 2545 1
11 2544 2
12 2543 1
ผลงานวิจัย
# หัวเรื่อง
ปี พ.ศ. 2557
1 Equivalent transformation in an extended space for solving query-answering problems
2 Solving query-answering problems with if-and-only-if formulas
ปี พ.ศ. 2556
3 Unfolding-based simplification of query-answering problems in an extended clause space
4 Correctness of solving query-answering problems using satisfiability solvers
5 Embedding proof problems into query-answering problems and problem solving by equivalent transformation
6 An ET-based low-level solution for query-answering problems
ปี พ.ศ. 2555
7 Simplifying query-answering problems by unfolding
8 Proving theorems based on equivalent transformation using resolution and factoring
9 A delayed splitting bottom-up procedure for model generation
10 An Extension of First-Order Logic and Meaning-Preserving Skolemization.
ปี พ.ศ. 2554
11 Deterministic-rule programs on specialization systems : clause-model semantics
ปี พ.ศ. 2551
12 Meaning-preserving Skolemization on logical structures
13 Extension of logical structures by safe extension of specialisation systems
ปี พ.ศ. 2550
14 Program generation in the equivalent transformation computation model using the squeeze method
ปี พ.ศ. 2549
15 Componentwise program construction : requirements and solutions
ปี พ.ศ. 2547
16 Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory
ปี พ.ศ. 2546
17 A data model for XML databases
18 Program synthesis based on the equivalent transformation computation model
ปี พ.ศ. 2545
19 RDF declarative description (RDD) : a language for metadata
ปี พ.ศ. 2544
20 A class of rewriting rules and reverse transformation for rule-based equivalent transformation
21 XML declarative description : a language for the semantic web
ปี พ.ศ. 2543
22 Towards a foundation for XML document databases