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
Nous proposons HHWeb, une extension de LogicWeb avec des formules Harrop héréditaires. HHWeb étend le LogicWeb de Loke et Davison en autorisant des objectifs de la forme (
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.
Copier
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
Copier
@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},}
Copier
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 -