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 (
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.
Copy
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
Copy
@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},}
Copy
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 -