Search Results - Soft Concurrent Constraint Programming

Source: Lecture Notes in Computer Science ISBN: 9783540433637
ACM transactions on computational logic 7 (2006): 563–589. doi:10.1145/1149114.1149118
info:cnr-pdr/source/autori:[1] Bistarelli S., [1] Montanari U., [3] Rossi F./titolo:Soft Concurrent Constraint Programming/doi:10.1145%2F1149114.1149118/rivista:ACM transactions on computational logic/anno:2006/pagina_da:563/pagina_a:589/intervallo_pagine:563–589/volume:7

Subject Terms: FOS: Computer and information sciences, D.1.3, D.3.1, Computer Science - Programming Languages, Computer Science - Artificial Intelligence, D.3.2, D.3.3, 0102 computer and information sciences, 02 engineering and technology, Concurrent constraint programming, 01 natural sciences, Languages, Constraints, Soft constraints, Concurrent constraint programming, Artificial Intelligence (cs.AI), Constraints, F.3.2, 0202 electrical engineering, electronic engineering, information engineering, Soft constraints, Programming Languages (cs.PL)

Access URL: http://arxiv.org/pdf/cs/0208008
https://link.springer.com/content/pdf/10.1007%2F3-540-45927-8_5.pdf
http://arxiv.org/abs/cs/0208008
https://core.ac.uk/display/54903193
http://dblp.uni-trier.de/db/journals/tocl/tocl7.html#BistarelliMR06
https://link.springer.com/chapter/10.1007/3-540-45927-8_5
https://dblp.uni-trier.de/db/journals/tocl/tocl7.html#BistarelliMR06
https://arxiv.org/pdf/cs/0208008
https://arxiv.org/abs/cs/0208008
https://rd.springer.com/chapter/10.1007%2F3-540-45927-8_5
https://dblp.uni-trier.de/db/conf/esop/esop2002.html#BistarelliMR02
https://core.ac.uk/display/53396659
https://link.springer.com/chapter/10.1007%2F3-540-45927-8_5
https://link.springer.com/content/pdf/10.1007%2F3-540-45927-8_5.pdf
https://ui.adsabs.harvard.edu/abs/2002cs........8008B/abstract
https://arxiv.org/pdf/cs/0208008
https://arxiv.org/abs/cs/0208008
https://hdl.handle.net/20.500.14243/24773
https://doi.org/10.1145/1149114.1149118
https://hdl.handle.net/11577/1366387
https://hdl.handle.net/11577/2485457
https://doi.org/10.1145/1149114.1149118
https://hdl.handle.net/11568/106176
https://hdl.handle.net/11391/142685
https://doi.org/10.1007/3-540-45927-8_5
https://hdl.handle.net/11391/120852
https://doi.org/10.1145/1149114.1149118

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

5

A Proof Theoretic Study of Soft Concurrent Constraint Programming

Authors: Pimentel, Elaine Gouvea Nigam, Vivek Vega, Carlos Alberto Olarte

Source: Theory and Practice of Logic Programming

Subject Terms: FOS: Computer and information sciences, F.3.1, D.3.2, Computer Science - Logic in Computer Science, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Linear Logic, 01 natural sciences, Logic in Computer Science (cs.LO), Soft Constraints, 0202 electrical engineering, electronic engineering, information engineering, Concurrent Constraint Programming

File Description: application/pdf

Access URL: http://arxiv.org/pdf/1405.2329
http://arxiv.org/abs/1405.2329
https://dblp.uni-trier.de/db/journals/corr/corr1405.html#PimentelON14
http://www.journals.cambridge.org/abstract_S147106841400026X
https://repositorio.ufrn.br/jspui/handle/123456789/29779
https://doi.org/10.1017/S147106841400026X
https://repositorio.ufrn.br/bitstream/123456789/29779/1/ProofTheoreticStudy_VEGA_2014.pdf
https://arxiv.org/abs/1405.2329
https://ui.adsabs.harvard.edu/abs/2014arXiv1405.2329P/abstract

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

6

A Labelled Semantics for Soft Concurrent Constraint Programming

Authors: Gadducci, Fabio SANTINI, FRANCESCO Pino, Luis F. et al.

Contributors: Gadducci, Fabio SANTINI, FRANCESCO Pino, Luis F. et al.

Source: Lecture Notes in Computer Science ISBN: 9783319192819

Subject Terms: Algebra, Computational linguistics, Computer programming, Constraint theory, Distributed computer systems, Concurrent constraint programming, Constraint systems, Idempotent, Inductive technique, Sound and complete, Constraint Satisfaction Problem, Soft Constraint, Label Transition System, Denotational Semantic, Compact Element, Computer Science (all), Theoretical Computer Science, 0102 computer and information sciences, 0101 mathematics, 16. Peace & justice, 01 natural sciences, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

File Description: application/pdf

Access URL: https://hal.inria.fr/hal-01149227/file/coordination15.pdf
https://inria.hal.science/hal-01149227v1
https://inria.hal.science/hal-01149227v1/document
https://doi.org/10.1007/978-3-319-19282-6_9
https://hal.inria.fr/hal-01149227
https://link.springer.com/10.1007/978-3-319-19282-6_9
https://research.unipg.it/handle/11391/1375773?mode=full.102
https://arpi.unipi.it/handle/11568/792977
https://link.springer.com/chapter/10.1007%2F978-3-319-19282-6_9
https://rd.springer.com/chapter/10.1007%2F978-3-319-19282-6_9
https://hdl.handle.net/11391/1375773
https://doi.org/10.1007/978-3-319-19282-6_9
http://springerlink.com/content/0302-9743/copyright/2005/

View record at OpenAIRE

Nájsť tento článok vo Web of Science

7

Timed soft concurrent constraint programs: An interleaved and a parallel approach

Authors: BISTARELLI, Stefano Gabbrielli, Maurizio Meo, MARIA CHIARA et al.

Source: Theory and Practice of Logic Programming. 15:743-782

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, interleaving, parallelism, Soft Concurrent Constraint Programming, Timed Concurrent Constraint Programming, Artificial Intelligence, Software, Hardware and Architecture, Theoretical Computer Science, Computational Theory and Mathematics, Computer Science - Artificial Intelligence, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, 6. Clean water, Artificial Intelligence (cs.AI), Concurrent constraint, Concurrent constraint programming, Coordinating agents, Correctness properties, Denotational semantics, Timed concurrent constraint programming, 0202 electrical engineering, electronic engineering, information engineering, interleaving, parallelism, Soft Concurrent Constraint Programming, Timed Concurrent Constraint Programming, Programming Languages (cs.PL)

File Description: application/pdf

Access URL: http://arxiv.org/pdf/1403.0461
http://arxiv.org/abs/1403.0461
http://export.arxiv.org/pdf/1403.0461
https://ui.adsabs.harvard.edu/abs/2014arXiv1403.0461B/abstract
https://arxiv.org/abs/1403.0461
https://arxiv.org/pdf/1403.0461
https://arxiv.org/abs/1403.0461
https://arxiv.org/pdf/1403.0461
http://dblp.uni-trier.de/db/journals/corr/corr1403.html#BistarelliGMS14
https://dblp.uni-trier.de/db/journals/corr/corr1403.html#BistarelliGMS14
http://journals.cambridge.org/abstract_S1471068414000106

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

8

A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming

Authors: BISTARELLI, Stefano Paola Campli SANTINI, FRANCESCO

Source: Proceedings of the 27th Annual ACM Symposium on Applied Computing. :1551-1553

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

Nájsť tento článok vo Web of Science

9

A Proof Theoretic Study of Soft Concurrent Constraint Programming

Authors: Pimentel, Elaine Olarte, Carlos Nigam, Vivek

Index Terms: Computer Science - Logic in Computer Science, F.3.1, D.3.2, text

URL: http://arxiv.org/abs/1405.2329

View this record from OAIster

Nájsť tento článok vo Web of Science

10

Soft Concurrent Constraint Programming

Authors: Bistarelli, S. Montanari, U. Rossi, F.

Index Terms: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, D.1.3, D.3.1, D.3.2, D.3.3, F.3.2, text

URL: http://arxiv.org/abs/cs/0208008

View this record from OAIster

Nájsť tento článok vo Web of Science

11

8. Soft Concurrent Constraint Programming

Authors: Stefano Bistarelli

Source: Lecture Notes in Computer Science ISBN: 9783540211815

Access URL: http://arxiv.org/pdf/cs/0208008

View record at OpenAIRE

Nájsť tento článok vo Web of Science

12

Soft concurrent constraint programming

Authors: Stefano Bistarelli Ugo Montanari Francesca Rossi et al.

Contributors: Stefano Bistarelli Ugo Montanari Francesca Rossi et al.

Source: http://arxiv.org/pdf/cs/0208008v1.pdf.

Subject Terms: General Terms, Languages Additional Key Words and Phrases, constraints, soft constraints, concurrent constraint programming

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.6398; http://arxiv.org/pdf/cs/0208008v1.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.6398
http://arxiv.org/pdf/cs/0208008v1.pdf

View record from BASE

Nájsť tento článok vo Web of Science

13

Soft concurrent constraint programming

Authors: Stefano Bistarelli Ugo Montanari Francesca Rossi et al.

Contributors: Stefano Bistarelli Ugo Montanari Francesca Rossi et al.

Source: http://www.sci.unich.it/~bista/papers/papers-download/tocl154.pdf.

Subject Terms: Additional Key Words and Phrases, constraints, soft constraints, concurrent constraint programming

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.9234
http://www.sci.unich.it/~bista/papers/papers-download/tocl154.pdf

View record from BASE

Nájsť tento článok vo Web of Science

14

Designing a Nonmonotonic Soft Concurrent Constraint Language for SLA Management

Authors: S. Bistarelli F. Santini

Subject Terms: Non-monotonicity, Soft Concurrent Constraint Programming, Quality of Service, Service Level Agreement, Negotiation

Access URL: http://www.cnr.it/prodotto/i/156741
https://publications.cnr.it/doc/156741

View record at OpenAIRE

Nájsť tento článok vo Web of Science

15

NTCCRT: A concurrent constraint framework for soft real-time music interaction

Authors: Universidad EAFIT. Departamento de Ingeniería de Sistemas I+D+I en Tecnologías de la Información y las Comunicaciones Toro, M. et al.

Source: Journal of Theoretical and Applied Information Technology

Index Terms: Computer music, Concurrent constraint programming (ccp), Machine improvisation, Music interaction, Process calculi, Signal processing, Soft real-time, info:eu-repo/semantics/article, article, info:eu-repo/semantics/publishedVersion, publishedVersion, Artículo

URL: http://hdl.handle.net/10784/28598
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84949509559&partnerID=40&md5=becfbe2dcf1652d0720ea6ad91b8f252
SCOPUS;2-s2.0-84949509559
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84949509559&partnerID=40&md5=becfbe2dcf1652d0720ea6ad91b8f252

View this record from OAIster

Nájsť tento článok vo Web of Science

16

NTCCRT: A concurrent constraint framework for soft real-time music interaction

Authors: Toro, M. Rueda, C. Agón, C. et al.

Contributors: Toro, M. Rueda, C. Agón, C. et al.

Source: Journal of Theoretical and Applied Information Technology

Subject Terms: Process calculi, Signal processing, Machine improvisation, Soft real-time, Computer music, Music interaction, Concurrent constraint programming (ccp)

Access URL: https://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=1695
http://hdl.handle.net/10784/28598

View record at OpenAIRE

Nájsť tento článok vo Web of Science

17

A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation

Authors: BISTARELLI, Stefano SANTINI, FRANCESCO

Source: 236 (2009): 147–162.
info:cnr-pdr/source/autori:Bistarelli S.; Santini F./titolo:A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation/doi:/rivista:/anno:2009/pagina_da:147/pagina_a:162/intervallo_pagine:147–162/volume:236
23-esimo Convegno Italiano di Logica Computazionale (CILC08), pp. 147–162, 2008
info:cnr-pdr/source/autori:[1] Bistarelli S., [1] Santini F./congresso_nome:23-esimo Convegno Italiano di Logica Computazionale (CILC08)/congresso_luogo:/congresso_data:2008/anno:2008/pagina_da:147/pagina_a:162/intervallo_pagine:147–162

Subject Terms: General Computer Science, Quality of Service, soft constraint logic programming, service level agreement, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, nonmonotonicity, quality of service, Theoretical Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Quality of, Nonmonotonicity, Service Level Agreement, Soft Constraint Logic Programming, Computer Science(all)

Access URL: https://publications.cnr.it/doc/64114
http://www.cnr.it/prodotto/i/64114
https://publications.cnr.it/doc/172149
http://www.cnr.it/prodotto/i/172149
https://www.sciencedirect.com/science/article/pii/S1571066109000991
https://dblp.uni-trier.de/db/journals/entcs/entcs236.html#BistarelliS09
https://core.ac.uk/display/81213846
https://hdl.handle.net/20.500.14243/24813
https://hdl.handle.net/20.500.14243/151112
https://www.openaccessrepository.it/record/168666

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

18

Models and emerging trends of concurrent constraint programming

Authors: Carlos Olarte Camilo Rueda Frank D. Valencia et al.

Contributors: Carlos Olarte Camilo Rueda Frank D. Valencia et al.

Source: Constraints. 18:535-578

Subject Terms: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Artificial intelligence, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Computer Networks and Communications, Variety (cybernetics), Distributed Constraint Optimization Problems and Algorithms, Stochastic programming, Geometry, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Data science, Soft Constraints, Theoretical computer science, Logic Programming and Knowledge Representation, Artificial Intelligence, Concurrent engineering, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Cloud computing, Constraint programming, Constraint (computer-aided design), [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Mathematical optimization, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Computer science, Distributed computing, Operating system, Constraint Logic Programming, Computer Science, Physical Sciences, Constraint Optimization, Concurrent Constraint Programming, Program Analysis and Verification Techniques, Scheduling (production processes), Mathematics

File Description: application/pdf

Access URL: http://hal.archives-ouvertes.fr/docs/00/86/91/92/PDF/ccp-survey-article.pdf
https://inria.hal.science/hal-00869192v2/document
https://inria.hal.science/hal-00869192v2
https://doi.org/10.1007/s10601-013-9145-3
https://hal.inria.fr/hal-00869192v2
https://core.ac.uk/display/23707991
https://hal.inria.fr/hal-00869192/document
https://link.springer.com/article/10.1007%2Fs10601-013-9145-3

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

19

A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process

Authors: BISTARELLI, Stefano SANTINI, FRANCESCO

Source: Fundamenta Informaticae. 111:257-279

Subject Terms: Soft Constraint, Constraint, Concurrent Programming, Nonmonotonicity,Belief Revision, Quality of Service, Negotiation, 0211 other engineering and technologies, 02 engineering and technology

Access URL: https://content.iospress.com/articles/fundamenta-informaticae/fi111-3-01
https://doi.org/10.3233/FI-2011-563
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.baztech-article-BUS8-0021-0007
https://dblp.uni-trier.de/db/journals/fuin/fuin111.html#BistarelliS11

View record at OpenAIRE

Nájsť tento článok vo Web of Science

20

NTCCRT : A Concurrent Constraint Framework for Soft Real-Time Music Interaction

Authors: Mauricio, Toro Rueda, Camilo Agon, Carlos et al.

Contributors: Mauricio, Toro Rueda, Camilo Agon, Carlos et al.

Source: Journal of Theoretical & Applied Information Technology. 12/10/2015, Vol. 82 Issue 1, p184-193
Repositorio EAFIT
Universidad EAFIT
instacron:Universidad EAFIT

Subject Terms: Music Interaction, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Soft Real-Time, Signal Processing, Computer Music, Concurrent Constraint Programming (ccp), Machine Improvisation, [INFO] Computer Science [cs], Process Calculi, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

File Description: application/pdf

Access URL: https://hal.science/hal-01580493v1
http://hdl.handle.net/10784/7943

View record at OpenAIRE

Nájsť tento článok vo Web of Science

Search Results - Soft Concurrent Constraint Programming

Search Tools:

Refine Results

Format

Subject

Publisher

Published in

Source

Geography

Collection

Year of Publication