Non-determinism and Probabilities in Timed Concurrent Constraint Programming

被引：6
|
作者：
Perez, Jorge A. [1 ]
Rueda, Carnilo [2 ,3 ]
机构：
[1] Univ Bologna, Dept Comp Sci, I-40126 Bologna, Italy
[2] Univ Javeriana, Dept Comp Engn & Sci, Cali, Colombia
[3] IRCAM, Paris, France
来源：
LOGIC PROGRAMMING, PROCEEDINGS | 2008年 / 5366卷
关键词：
D O I：
10.1007/978-3-540-89982-2_56
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A timed Concurrent constraint process calculus with probabilistic and non-deterministic choices is proposed. We outline the rationale of an operational semantics for the calculus. The semantics ensures consistent interactions between both kinds of choices and is indispensable for the definition of logic-based verification capabilities over system specifications.
引用
收藏
页码：677 / +
页数：2
相关论文
共 50 条
  • [21] Non-Determinism and the Dynamics of Knowledge
    Grossi, Davide
    Herzig, Andreas
    van der Hoek, Wiebe
    Moyzes, Christos
    [J]. PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1053 - 1059
  • [22] Linearity, Non-determinism and Solvability
    Pagani, Michele
    Della Rocca, Simona Ronchi
    [J]. FUNDAMENTA INFORMATICAE, 2010, 103 (1-4) : 173 - 202
  • [23] Timed concurrent constraint programming: Decidability results and their application to LTL
    Valencia, FD
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 422 - 437
  • [24] jcc: Integrating timed default concurrent constraint programming into JAVA
    CSE Department, Penn State University, University Park, PA 16802, United States
    不详
    不详
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2902 : 156 - 170
  • [25] Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars
    Trollmann, Frank
    Albayrak, Sahin
    [J]. THEORY AND PRACTICE OF MODEL TRANSFORMATION, 2017, 10374 : 35 - 50
  • [26] Stochastic non-determinism and effectivity functions
    Doberkat, Ernst-Erich
    Sanchez Terraf, Pedro
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (01) : 357 - 394
  • [27] Non-determinism in nowadays computing and IT education
    Henno, J.
    Jaakkola, H.
    Makela, J.
    [J]. 2020 43RD INTERNATIONAL CONVENTION ON INFORMATION, COMMUNICATION AND ELECTRONIC TECHNOLOGY (MIPRO 2020), 2020, : 794 - 801
  • [28] PHRASE STRUCTURES, NON-DETERMINISM AND BACKTRACKING
    ALLISON, L
    [J]. INFORMATION PROCESSING LETTERS, 1978, 7 (03) : 139 - 143
  • [29] Non-determinism in the Uptake of Gestural Information
    Ilaria Cutica
    Monica Bucciarelli
    [J]. Journal of Nonverbal Behavior, 2015, 39 : 289 - 315
  • [30] Catalytic Space: Non-determinism and Hierarchy
    Buhrman, Harry
    Koucky, Michal
    Loff, Bruno
    Speelman, Florian
    [J]. 33RD SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2016), 2016, 47
12345