Semantics for evaluation logic

被引：0
|
作者：
Moggi, E.
机构：
来源：
Fundamenta Informaticae | 1995年 / 22卷 / 1-2期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Disjunctive logic and semantics of disjunctive logic programs
    Yidong Shen
    Science in China Series E: Technological Sciences, 1997, 40 : 44 - 53
  • [22] Disjunctive logic and semantics of disjunctive logic programs
    Shen, YD
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 40 (01): : 44 - 53
  • [23] Disjunctive logic and semantics of disjunctive logic programs
    沈一栋
    Science in China(Series E:Technological Sciences), 1997, (01) : 44 - 53
  • [24] Founded Semantics and Constraint Semantics of Logic Rules: An Overview
    Liu, Yanhong A.
    Stoller, Scott D.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 3 - 3
  • [25] On the equivalence between logic programming semantics and argumentation semantics
    Caminada, Martin
    Sa, Samy
    Alcantara, Joao
    Dvorak, Wolfgang
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2015, 58 : 87 - 111
  • [26] SEMANTICS FOR MINIMAL LOGIC AND APPLICATIONS
    GABBAY, D
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (01): : 321 - &
  • [27] On the semantics of logic program composition
    Brogi, A
    PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC: A DECADE OF RESEARCH ADVANCES IN LOGIC-BASED PROGRAM DEVELOPMENT, 2004, 3049 : 115 - 151
  • [28] A Semantics for the Impure Logic of Ground
    DeRosset, Louis
    Fine, Kit
    JOURNAL OF PHILOSOPHICAL LOGIC, 2023, 52 (02) : 415 - 493
  • [29] On the semantics of logic programs with preferences
    Greco, Sergio
    Trubitsyna, Irina
    Zumpano, Ester
    Journal of Artificial Intelligence Research, 1600, 30 : 501 - 523
  • [30] SCHMILL AND SEMANTICS OF DEONTIC LOGIC
    RODRIGUEZTIRADO, A
    CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA, 1976, 8 (23): : 99 - 103
12345