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 条
  • [31] An interactive semantics of logic programming
    Bruni, R
    Montanari, U
    Rossi, F
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2001, 1 : 647 - 690
  • [32] Logic, semantics and theory of programming
    Nijholt, A
    Scollo, G
    Mönnich, U
    THEORETICAL COMPUTER SCIENCE, 2006, 354 (01) : 1 - 3
  • [33] BILATTICES AND THE SEMANTICS OF LOGIC PROGRAMMING
    FITTING, M
    JOURNAL OF LOGIC PROGRAMMING, 1991, 11 (02): : 91 - 116
  • [34] Semantics of constraint logic programs with optimization
    Marriott, Kim
    Stuckey, Peter J.
    ACM letters on programming languages and systems, 1993, 2 (1-4): : 197 - 212
  • [35] A dataflow semantics for constraint logic programs
    Colussi, L
    Marchiori, E
    Marchiori, M
    PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS, 1995, 982 : 431 - 448
  • [36] Observable semantics for constraint logic programs
    1600, Oxford Univ Press, Oxford, Engl (05):
  • [37] Annotated Probabilistic Temporal Logic
    Shakarian, Paulo
    Parker, Austin
    Simari, Gerardo
    Subrahmanian, Venkatramana V. S.
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2011, 12 (02)
  • [38] Logical semantics of concurrent constraint programming
    Ruet, Paul
    Lecture Notes in Computer Science, 1118
  • [39] Functional and constraint logic programming
    Rodríguez-Artalejo, M
    CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 202 - 270
  • [40] CONSTRAINT SATISFACTION USING CONSTRAINT LOGIC PROGRAMMING
    VANHENTENRYCK, P
    SIMONIS, H
    DINCBAS, M
    ARTIFICIAL INTELLIGENCE, 1992, 58 (1-3) : 113 - 159
12345