DESIGN AND IMPLEMENTATION OF A CONCURRENT LOGIC PROGRAMMING LANGUAGE WITH LINEAR LOGIC CONSTRAINTS

被引：0

作者：

Martinez, Thierry ^{[1
]}

机构：

[1] INRIA Paris Rocquencourt, EPI Contraintes, BP105, F-78153 Le Chesnay, France

来源：

TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10) | 2010年 / 7卷

关键词：

D O I：

10.4230/LIPIcs.ICLP.2010.277

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：277 / 280

页数：4

共 50 条

[11] Subdefinite Models and Logic Programming: Implementation of Constraints
E. S. Petrov
T. M. Yakhno
Programming and Computer Software, 2001, 27 : 95 - 100
[12] Meta linear constraints in constraint logic programming
Refalo, P
LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 55 - 69
[13] Learning linear constraints in inductive logic programming
Martin, L
Vrain, C
MACHINE LEARNING : ECML-97, 1997, 1224 : 162 - 169
[14] Design and implementation of a fuzzy logic programming language using weak unification
Rubio Manzano, Clemente
AI COMMUNICATIONS, 2012, 25 (04) : 365 - 367
[15] Modelling integer programming with logic: Language and implementation
Li, Q
Guo, YK
Ida, T
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2000, E83A (08) : 1673 - 1680
[16] IMPLEMENTATION OF TEMPORAL LOGIC PROGRAMMING LANGUAGE TOKIO
KONO, S
AOYAGI, T
FUJITA, M
TANAKA, H
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 221 : 138 - 147
[17] On the implementation of the probabilistic logic programming language ProbLog
Kimmig, Angelika
Demoen, Bart
De Raedt, Luc
Costa, Vitor Santos
Rocha, Ricardo
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 235 - 262
[18] MULTIPLE ROBOT PROGRAMMING USING A CONCURRENT LOGIC LANGUAGE
BENARIEH, D
MAIMON, O
JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 1991, 4 (01) : 25 - 41
[19] A higher-order logic programming language with constraints
Leach, J
Nieva, S
FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 108 - 122
[20] PROGRAMMING IN LOGIC WITH CONSTRAINTS FOR NATURAL-LANGUAGE PROCESSING
SAINTDIZIER, P
FOURTH CONFERENCE OF THE EUROPEAN CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, 1989, : 87 - 94

← 1 2 3 4 5 →