The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
우리는 유전적인 Harrop 공식을 사용하는 LogicWeb의 확장인 HHWeb을 제안합니다. HHWeb은 다음 형식의 목표를 허용하여 Loke와 Davison의 LogicWeb을 확장합니다.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
부
Keehang KWON, Dae-Seong KANG, "Extending LogicWeb via Hereditary Harrop Formulas" in IEICE TRANSACTIONS on Information,
vol. E91-D, no. 6, pp. 1827-1829, June 2008, doi: 10.1093/ietisy/e91-d.6.1827.
Abstract: We propose HHWeb, an extension to LogicWeb with hereditary Harrop formulas. HHWeb extends the LogicWeb of Loke and Davison by allowing goals of the form (
URL: https://global.ieice.org/en_transactions/information/10.1093/ietisy/e91-d.6.1827/_p
부
@ARTICLE{e91-d_6_1827,
author={Keehang KWON, Dae-Seong KANG, },
journal={IEICE TRANSACTIONS on Information},
title={Extending LogicWeb via Hereditary Harrop Formulas},
year={2008},
volume={E91-D},
number={6},
pages={1827-1829},
abstract={We propose HHWeb, an extension to LogicWeb with hereditary Harrop formulas. HHWeb extends the LogicWeb of Loke and Davison by allowing goals of the form (
keywords={},
doi={10.1093/ietisy/e91-d.6.1827},
ISSN={1745-1361},
month={June},}
부
TY - JOUR
TI - Extending LogicWeb via Hereditary Harrop Formulas
T2 - IEICE TRANSACTIONS on Information
SP - 1827
EP - 1829
AU - Keehang KWON
AU - Dae-Seong KANG
PY - 2008
DO - 10.1093/ietisy/e91-d.6.1827
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E91-D
IS - 6
JA - IEICE TRANSACTIONS on Information
Y1 - June 2008
AB - We propose HHWeb, an extension to LogicWeb with hereditary Harrop formulas. HHWeb extends the LogicWeb of Loke and Davison by allowing goals of the form (
ER -