Institution
Sirindhorn International Institute of Technology
About: Sirindhorn International Institute of Technology is a based out in . It is known for research contribution in the topics: Supply chain & Combustion. The organization has 1048 authors who have published 1678 publications receiving 30067 citations.
Papers published on a yearly basis
Papers
More filters
07 Apr 2014
TL;DR: A general framework for solving QA problems on first-order logic based on the equivalent transformation ET principle is proposed and many ET rules are demonstrated, including rules for unfolding clauses, for resolution, for dealing with function variables, and for erasing independent satisfiable atomic formulas.
Abstract: A query-answering problem QA problem is concerned with finding all ground instances of a query atomic formula that are logical consequences of a given logical formula describing the background knowledge of the problem. Based on the equivalent transformation ET principle, we propose a general framework for solving QA problems on first-order logic. To solve such a QA problem, the first-order formula representing its background knowledge is converted by meaning-preserving Skolemization into a set of clauses typically containing global existential quantifications of function variables. The obtained clause set is then transformed successively using ET rules until the answer set of the original problem can be readily derived. Many ET rules are demonstrated, including rules for unfolding clauses, for resolution, for dealing with function variables, and for erasing independent satisfiable atomic formulas. Application of the proposed framework is illustrated.
9 citations
TL;DR: Being on competitive edge, many companies plan to enhance their work performance in different areas and it is important to capture causal relationships among the key factors and their interactions in these areas.
Abstract: Being on competitive edge, many companies plan to enhance their work performance in different areas. It is important to capture causal relationships among the key factors and their interactions in ...
9 citations
TL;DR: In this paper, different hydrotalcites (HTs), namely Mg-Al HT, Ni-Mg-al HT, magnetic Mg−Al HT and magnetic Ni−Mg+Al HT were tested for their capacity to improve bio-hydrogen production with a wide range of doses, from 83 to 833.
9 citations
TL;DR: A conjugation of synthetic α(1,6)mannan with TT can enhance immune response to TT in vivo after immunization as shown by an increase in TNF-α, IFN-γ, and IL-2 production in splenocytes.
9 citations
9 citations
Authors
Showing all 1048 results
| Name | H-index | Papers | Citations |
|---|---|---|---|
| Peter H. Seeberger | 79 | 719 | 27060 |
| Anurat Wisitsoraat | 42 | 232 | 5898 |
| Koichi Maekawa | 34 | 302 | 4931 |
| Xinyu Liu | 32 | 86 | 3150 |
| Sandhya Babel | 29 | 128 | 8037 |
| Issarachai Ngamroo | 29 | 145 | 2734 |
| K. C. Santosh | 29 | 180 | 2535 |
| Matthew N. Dailey | 29 | 120 | 2947 |
| Kriengsak Panuwatwanich | 25 | 96 | 2063 |
| Kostas Senetakis | 25 | 120 | 2060 |
| Satha Aphornratana | 24 | 41 | 3306 |
| Krikamol Muandet | 23 | 74 | 2843 |
| Tonni Agustiono Kurniawan | 22 | 26 | 8157 |
| Bunyarit Uyyanonvara | 22 | 91 | 3438 |
| Viboon Sricharoenchaikul | 20 | 79 | 1430 |