Search Results - (("Concurrent constraint logic programming") OR ("Concurrent constraint login 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

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

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

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

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

ATTRIBUTE GRAMMAR BASED MODELING OF CONCURRENT CONSTRAINT LOGIC PROGRAMMING.

Authors: VOLIOTIS, C. SGOUROS, N.M. PAPAKONSTANTINOU, G.

Source: International Journal on Artificial Intelligence Tools; Sep1995, Vol. 4 Issue 3, p383-411, 29p

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

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

A Real-Time Extension to Logic Programming Based on the Concurrent Constraint Logic Programming Paradigm

Authors: Tony Savor Paul Dasiewicz The Pennsylvania State University CiteSeerX Archives

Contributors: Tony Savor Paul Dasiewicz The Pennsylvania State University CiteSeerX Archives

Source: ftp://ftp.cs.brown.edu/pub/ppcp93/savor.ps.Z

File Description: application/postscript

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

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

Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.clip.dia.fi.upm.es/papers/ciao-ppcp.ps.

File Description: application/postscript

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.2964
http://www.clip.dia.fi.upm.es/papers/ciao-ppcp.ps

Closure Operator Semantics for Concurrent Constraint Logic Programming

Authors: Jagadeesan, Radhakrishnan Shanbhogue, Vasant

Subject Terms: computer science, technical report

File Description: 3877914 bytes; 725763 bytes; application/pdf; application/postscript

Relation: https://hdl.handle.net/1813/7014

Availability: https://hdl.handle.net/1813/7014
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR90-1174

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

Book review.

Authors: Rosella Gennari

Source: Journal of Logic, Language & Information; Jan2005, Vol. 14 Issue 1, p119-122, 4p

Logic Programming as the Integrator of the Fifth Generation Computer Systems Project.

Authors: Furukawa, Koichi

Source: Communications of the ACM; Mar1992, Vol. 35 Issue 3, p82-92, 11p

Subject Terms: LOGIC programming, PARALLEL programming, FIFTH generation computers, PROGRAMMING languages, GHC (Computer program language), PROLOG (Computer program language), ARTIFICIAL intelligence

An Attribute Grammar Modelling for Generating CCLP Languages

Authors: A. M. Thanos G. Papakonstantinou The Pennsylvania State University CiteSeerX Archives

Contributors: A. M. Thanos G. Papakonstantinou The Pennsylvania State University CiteSeerX Archives

Source: http://www.ueda.info.waseda.ac.jp/cp98-ccp/papers/thanos.ps.gz.

File Description: application/postscript

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.8523
http://www.ueda.info.waseda.ac.jp/cp98-ccp/papers/thanos.ps.gz

A review of literature on parallel constraint solving.

Authors: GENT, IAN P. MIGUEL, IAN NIGHTINGALE, PETER et al.

Source: Theory & Practice of Logic Programming; Sep2018, Vol. 18 Issue 5/6, p725-758, 34p

Subject Terms: COMPUTERS, CONSTRAINT algorithms, ELECTRONIC portfolios, PROGRAMMING languages, SEMANTICS