Logic programs using semantic trees

被引：0
|
作者：
Maniu, Ionela [1 ]
Hunyadi, Daniel [1 ]
Maniu, George [2 ]
机构：
[1] Lucian Blaga Univ, Dept Comp Sci, Sibiu, Romania
[2] Spiru Haret Univ, Dept Management, Brasov, Romania
来源：
PROCEEDING OF THE 11TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS: COMPUTER SCIENCE AND TECHNOLOGY, VOL 4 | 2007年
关键词：
logic programming; negation as failure; formal negation; program trees; semantic trees; bounded trail property;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In order to design software that is intended to compute answers to queries that are in accordance with some logic programming semantics, one would like to offer up a formal specification of the software design which could be used profitably to construct the software, and one would want to be able to prove that the specification is in fact faithful to the semantics. This paper presents a constructive formal specification of semantic trees and truth value determinations using semantic trees for disjunctive logic programs with negation as failure. This specification methodology directly supports the design of top-down interpreters for well-founded semantics.
引用
收藏
页码：355 / +
页数：2
相关论文
共 50 条
  • [1] SEMANTIC SPECIFICATION USING LOGIC PROGRAMS
    SATALURI, SR
    FLECK, AC
    LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 772 - 791
  • [2] SYSTEMATIC SEMANTIC APPROXIMATIONS OF LOGIC PROGRAMS
    NILSSON, U
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 291 - 306
  • [3] Semantic forcing in disjunctive logic programs
    De Vos, M
    Vermeir, D
    COMPUTATIONAL INTELLIGENCE, 2001, 17 (04) : 651 - 684
  • [4] Nonmonotonic logic programs for the semantic web
    Schindlauer, R
    LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 446 - 447
  • [5] Extending Logic Programs with Description Logic Expressions for the Semantic Web
    Shen, Yi-Dong
    Wang, Kewen
    SEMANTIC WEB - ISWC 2011, PT I, 2011, 7031 : 633 - +
  • [6] On Detecting Semantic Clones in Constraint Logic Programs
    Yernaux, Gonzague
    Vanhoof, Wim
    2022 IEEE 16TH INTERNATIONAL WORKSHOP ON SOFTWARE CLONES (IWSC 2022), 2022, : 32 - 38
  • [7] Semantic Web reasoning with Conceptual Logic Programs
    Heymans, S
    Van Nieuwenborgh, D
    Vermeir, D
    RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS, 2004, 3323 : 113 - 127
  • [8] A semantic basis for the termination analysis of logic programs
    Codish, M
    Taboch, C
    JOURNAL OF LOGIC PROGRAMMING, 1999, 41 (01): : 103 - 123
  • [9] Semantic characterization of programmable logic controller programs
    Xiao, Litian
    Wang, Rui
    Gu, Ming
    Sun, Jiaguang
    MATHEMATICAL AND COMPUTER MODELLING, 2012, 55 (5-6) : 1819 - 1824
  • [10] A confluent semantic basis for the analysis of concurrent constraint logic programs
    Codish, M
    Falaschi, M
    Marriott, K
    Winsborough, W
    JOURNAL OF LOGIC PROGRAMMING, 1997, 30 (01): : 53 - 81
12345