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 条
12345