Search Results - Concurrent constraint logic programming

An execution scheme for interactive problem-solving in concurrent constraint logic programming languages

Authors: Ho-fung Leung Jimmy H. M. Lee

Source: Computer Languages. 25:119-144

Subject Terms: constraint logic programming, incremental queries, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences

File Description: application/xml

Access URL: https://www.sciencedirect.com/science/article/pii/S0096055199000132
http://www.cse.cuhk.edu.hk/~jlee/publ/00/iq.pdf
https://dblp.uni-trier.de/db/journals/cl/cl25.html#LeeL99

ATTRIBUTE GRAMMAR BASED MODELING OF CONCURRENT CONSTRAINT LOGIC PROGRAMMING

Authors: Nikitas M. Sgouros George K. Papakonstantinou C. Voliotis

Source: International Journal on Artificial Intelligence Tools. :383-411

Subject Terms: 0209 industrial biotechnology, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Actors as a special case of concurrent constraint (logic) programming

Authors: Vijay Saraswat Ken Kahn

Source: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications - OOPSLA/ECOOP '90. :57-66

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming

Authors: Ho-fung Leung Jimmy H. M. Lee

Source: Proceedings of the 1994 ACM symposium on Applied computing - SAC '94. :405-409

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://dl.acm.org/doi/10.1145/326619.326795
http://portal.acm.org/citation.cfm?doid=326619.326795
https://dblp.uni-trier.de/db/conf/sac/sac1994.html#LeeL94

Concurrent Constraint Logic Programming

Authors: Thom Frühwirth Slim Abdennadher

Source: Cognitive Technologies ISBN: 9783642087127

Access URL: https://rd.springer.com/chapter/10.1007/978-3-662-05138-2_6
https://link.springer.com/chapter/10.1007/978-3-662-05138-2_6

Some methodological issues in the design of CIAO, a generic, parallel concurrent constraint logic programming system

Authors: Manuel V. Hermenegildo

Source: Lecture Notes in Computer Science ISBN: 9783540586012

Access URL: https://link.springer.com/content/pdf/10.1007%2F3-540-58601-6_95.pdf
https://doi.org/10.1007/3-540-58601-6_95
https://link.springer.com/chapter/10.1007/3-540-58601-6_95
https://dblp.uni-trier.de/db/conf/ppcp/ppcp94-lncs.html#Hermenegildo94
https://rd.springer.com/chapter/10.1007/3-540-58601-6_95

Logic programming in the context of multiparadigm programming: the Oz experience

Authors: Van Roy, P. Brand, P. Duchier, D. et al.

Source: Theory and Practice of Logic Programming. 3:717-763

Subject Terms: multiparadigm programming, language design, Prolog, Oz, encapsulated search, concurrent constraint programming, history, software development, languages, machine

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-23023

A logic semantics for a class of nondeterministic concurrent constraint logic programs

Authors: Ho-fung Leung Bo-Ming Tong

Source: Proceedings of the International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN). :342-349

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://dblp.uni-trier.de/db/conf/ispan/ispan1994.html#LeungT94

IQ: Towards Incremental Query Processing in Non-Deterministic Concurrent Constraint Logic Programming

Authors: J. H. M. Lee H.F. Leung The Pennsylvania State University CiteSeerX Archives

Contributors: J. H. M. Lee H.F. Leung The Pennsylvania State University CiteSeerX Archives

Source: http://www.cse.cuhk.edu.hk/~isl/paper/jlee/94/iq.ps.gz.

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.1298; http://www.cse.cuhk.edu.hk/~isl/paper/jlee/94/iq.ps.gz

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.1298
http://www.cse.cuhk.edu.hk/~isl/paper/jlee/94/iq.ps.gz

Concurrent Constraint Logic Programming on Massively Parallel SIMD Computers

Authors: Bo-Ming Tong Ho-fung Leung The Pennsylvania State University CiteSeerX Archives

Contributors: Bo-Ming Tong Ho-fung Leung The Pennsylvania State University CiteSeerX Archives

Source: ftp://ftp.cs.cuhk.hk/pub/techreports/./93/ilps93.ps.gz

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.5919

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.5919

Actors as a special case of concurrent constraint (logic) programming

Authors: Kahn, K. Saraswat, Vijay A.

Source: ACM SIGPLAN Notices ; volume 25, issue 10, page 57-66 ; ISSN 0362-1340 1558-1160

Availability: https://doi.org/10.1145/97946.97955
https://dl.acm.org/doi/pdf/10.1145/97946.97955

Automated Programming Framework Using Constraint-Based Static Analysis / 制約充足に基づく静的解析手法を用いたプログラミングの自動化に関する研究 : 推論・論理プログラミング(<特集>「人工知能分野における博士論文」)

Authors: 網代 育大

Source: 人工知能 / Journal of the Japanese Society for Artificial Intelligence. 2002, 17(6):779

Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems

Authors: Hermenegildo, Manuel V. Cabeza Gras, Daniel Carro Liñares, Manuel

Source: Logic Programming ISBN: 9780262291439
Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming | Twelfth International Conference on Logic Programming | June 13-16, 1995 | Tokyo, Japan
Archivo Digital UPM
instname

Subject Terms: Informática, Generic implementations, Técnicas de ejecución, Variables atribuídas, Implementation techniques, Concurrency parallelism, Logic programming, Attributed variables, Implementaciones genéricas, Programación lógica

File Description: application/pdf

Access URL: http://oa.upm.es/14423/1/HERME_ARC_1995-2.pdf
https://oa.upm.es/14423/

An Execution Scheme for Interactive Problem-Solving in Concurrent Constraint Logic Programming Languages

Authors: Jimmy H. M. Lee Ho-fung Leung The Pennsylvania State University CiteSeerX Archives

Contributors: Jimmy H. M. Lee Ho-fung Leung The Pennsylvania State University CiteSeerX Archives

Source: http://www.cse.cuhk.edu.hk/~jlee/publ/00/iq.pdf.

Subject Terms: Incremental Execution, Concurrent Constraint Logic Program

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.629.7925; http://www.cse.cuhk.edu.hk/~jlee/publ/00/iq.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.629.7925
http://www.cse.cuhk.edu.hk/~jlee/publ/00/iq.pdf

On the uses of attributed variables in parallel and concurrent logic programming systems

Authors: Hermenegildo, Manuel V. Cabeza Gras, Daniel Carro Liñares, Manuel

Source: Proceedings of the 1994 COMPULOG-NET Workshop Parallelism and Implementation Technologies | 1994 COMPULOG-NET Workshop Parallelism and Implementation Technologies | September 1994 | Madrid, Spain
Archivo Digital UPM
Universidad Politécnica de Madrid
instname

Subject Terms: Informática, Generic implementations, Variables atribuídas, Concurrencia, Concurrency, Parallelism, Logic programming, Attributed variables, Paralelismo, Programación lógica, Inplementaciones genéricas

File Description: application/pdf

Access URL: https://oa.upm.es/14670/

Incremental Querying In The Concurrent Clp Language Ifd-Constraint Pandora

Authors: J. H. M. Lee H.F. Leung The Pennsylvania State University CiteSeerX Archives

Contributors: J. H. M. Lee H.F. Leung The Pennsylvania State University CiteSeerX Archives

Source: http://www.cse.cuhk.edu.hk/~isl/paper/jlee/96/iqImpl.ps.gz.

Subject Terms: Incremental Execution, Concurrent Constraint Logic Programming

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.5282; http://www.cse.cuhk.edu.hk/~isl/paper/jlee/96/iqImpl.ps.gz

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.5282
http://www.cse.cuhk.edu.hk/~isl/paper/jlee/96/iqImpl.ps.gz

On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation

Authors: Bortolussi, Luca^1,2 luca@dmi.units.it

Source: ENTCS: Electronic Notes in Theoretical Computer Science. Dec2008, Vol. 220 Issue 3, p163-180. 18p.

Subject Terms: Stochastic processes, Constraint satisfaction, Logic programming, Mathematical models, Differential equations, Biological systems, Analysis of covariance

Some Formal Aspects of AKL

Authors: Franzén, Torkel

Source: SICS Research Report.

Subject Terms: concurrent constraint programming, logic programming

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-21383
https://ri.diva-portal.org/smash/get/diva2:1041419/FULLTEXT01.pdf

The semantic foundations of concurrent constraint programming

Authors: Prakash Panangaden Vijay Saraswat Martin Rinard

Source: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91. :333-352

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: http://www.cs.mcgill.ca/~prakash/Pubs/popl91.pdf
https://dl.acm.org/doi/10.1145/99583.99627
https://www.cs.mcgill.ca/~prakash/Pubs/popl91.pdf
https://doi.org/10.1145/99583.99627
https://dblp.uni-trier.de/db/conf/popl/popl91.html#SaraswatRP91
http://portal.acm.org/citation.cfm?doid=99583.99627

Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction.

Authors: BETZ, HARIOLF FRÜHWIRTH, THOM

Source: ACM Transactions on Computational Logic; Feb2013, Vol. 14 Issue 1, p1-37, 37p

Subject Terms: LINEAR statistical models, CONSTRAINT satisfaction, SEMANTICS, DISJUNCTION (Logic), PROGRAMMING languages