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 条
  • [21] A new probabilistic constraint logic programming language based on a generalised distribution semantics
    Michels, Steffen
    Hommersom, Arjen
    Lucas, Peter J. F.
    Velikova, Marina
    ARTIFICIAL INTELLIGENCE, 2015, 228 : 1 - 44
  • [22] Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming
    Ramirez, Sergio
    Romero, Miguel
    Rocha, Camilo
    Valencia, Frank
    REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2018, 2018, 11152 : 226 - 244
  • [23] CONSTRAINT LOGIC PROGRAMMING
    POUNTAIN, D
    BYTE, 1995, 20 (02): : 159 - 160
  • [24] CONSTRAINT LOGIC PROGRAMMING
    LASSEZ, C
    BYTE, 1987, 12 (09): : 171 - &
  • [25] Constraint logic programming
    Gavanelli M.
    Rossi F.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 64 - 86
  • [26] Constraint logic programming
    Wallace, Mark
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2407 : 512 - 532
  • [27] Constraint logic programming
    Wallace, M
    COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 512 - 532
  • [28] Extending the Grounded Semantics by Logic Programming Semantics
    Carlos Nieves, Juan
    Osorio, Mauricio
    Cortes, Ulises
    ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT, 2011, 232 : 169 - 178
  • [29] 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
  • [30] BIALGEBRAIC SEMANTICS FOR LOGIC PROGRAMMING
    Bonchi, Filippo
    Zanasi, Fabio
    LOGICAL METHODS IN COMPUTER SCIENCE, 2015, 11 (01)
12345