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 条
  • [21] Semantic data modelling using linear logic
    Lee, DT
    INFORMATION PROCESSING LETTERS, 1996, 60 (01) : 19 - 27
  • [22] Fuzzy description logic programs under the answer set semantics for the semantic web
    Lukasiewicz, Thomas
    FUNDAMENTA INFORMATICAE, 2008, 82 (03) : 289 - 310
  • [23] Fuzzy description logic programs under the answer set semantics for the semantic web
    Lukasiewicz, Thomas
    RULEML 2006: SECOND INTERNATIONAL CONFERENCE ON RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS, 2006, : 89 - 96
  • [24] SIMPLIFY CONTROL PROGRAMS USING LOGIC COMMANDS
    HEIST, PA
    DESIGN NEWS, 1978, 34 (24) : 68 - &
  • [25] Correctness of logic programs using proof schemes
    Marakakis, Emmanouil
    Papadakis, Nikos
    INTERNATIONAL JOURNAL OF KNOWLEDGE-BASED AND INTELLIGENT ENGINEERING SYSTEMS, 2012, 16 (03) : 185 - 198
  • [26] Deep Semantic Segmentation of Trees Using Multispectral Images
    Ulku, Irem
    Akagunduz, Erdem
    Ghamisi, Pedram
    IEEE JOURNAL OF SELECTED TOPICS IN APPLIED EARTH OBSERVATIONS AND REMOTE SENSING, 2022, 15 : 7589 - 7604
  • [27] Semantic object recognition using clustering and decision trees
    Schmidsberger, Falk
    Stolzenburg, Frieder
    ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, 2011, 1 : 670 - 673
  • [28] MAPPING TREES OUTSIDE FORESTS USING SEMANTIC SEGMENTATION
    Lucas, Moritz
    Barkov, Viacheslav
    Pecenka, Ralf
    Atzmueller, Martin
    Waske, Bjoern
    IGARSS 2024-2024 IEEE INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM, IGARSS 2024, 2024, : 4435 - 4438
  • [29] SEMANTIC OBJECT RECOGNITION USING CLUSTERING AND DECISION TREES
    Schmidsberger, Falk
    Stolzenburg, Frieder
    ICAART 2011: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, 2011, : 670 - 673
  • [30] Image Semantic Annotation using Fuzzy Decision Trees
    Popescu, Andreea
    Popescu, Bogdan
    Brezovan, Marius
    Ganea, Eugen
    2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2013, : 597 - 601
12345