Two semantics for temporal annotated constraint logic programming

被引：0
|
作者：
Raffaetà, A [1 ]
Frühwirth, T [1 ]
机构：
[1] Univ Pisa, Dipartimento Informat, I-56125 Pisa, Italy
来源：
INTENSIONAL PROGRAMMING II: BASED ON THE PAPERS AT ISLIP'99 | 2000年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We investigate the semantics of a considerable subset of Temporal Annotated Constraint Logic Programming (TACLP), a class of languages that allows us to reason about qualitative and quantitative, definite and indefinite temporal information using time points and time periods as labels for atoms. TACLP is given two different kinds of semantics, an operational one based on meta-logic (top-down semantics) and a fixpoint one based on an immediate consequence operator (bottom-up semantics).
引用
收藏
页码：78 / 92
页数：15
相关论文
共 50 条
  • [41] CONSTRAINT LOGIC PROGRAMMING - A SURVEY
    JAFFAR, J
    MAHER, MJ
    JOURNAL OF LOGIC PROGRAMMING, 1994, 20 : 503 - 581
  • [42] NEGATION AND CONSTRAINT LOGIC PROGRAMMING
    STUCKEY, PJ
    INFORMATION AND COMPUTATION, 1995, 118 (01) : 12 - 33
  • [43] Coinductive Constraint Logic Programming
    Saeedloei, Neda
    Gupta, Gopal
    FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012), 2012, 7294 : 243 - 259
  • [44] A CONSTRAINT LOGIC PROGRAMMING SHELL
    LIM, P
    STUCKEY, PJ
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 75 - 88
  • [45] AN INTRODUCTION TO CONSTRAINT LOGIC PROGRAMMING
    KRIWACZEK, F
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 617 : 82 - 94
  • [46] A comparison of fuzzy and annotated logic programming
    Krajci, S
    Lencses, R
    Vojtás, P
    FUZZY SETS AND SYSTEMS, 2004, 144 (01) : 173 - 192
  • [47] Sets and constraint logic programming
    Dovier, A
    Piazza, C
    Pontelli, E
    Rossi, G
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2000, 22 (05): : 861 - 931
  • [48] Functional and (Constraint) Logic Programming
    Escobar, Santiago
    Falaschi, Moreno
    INFORMATION AND COMPUTATION, 2014, 235 : 1 - 2
  • [49] Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation
    Banda, Gourinath
    Gallagher, John P.
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-16), 2010, 6355 : 27 - 45
  • [50] HIERARCHICAL CONSTRAINT LOGIC PROGRAMMING
    WILSON, M
    BORNING, A
    JOURNAL OF LOGIC PROGRAMMING, 1993, 16 (3-4): : 277 - 318
12345