Search Results - Soft concurrent constraint programming*
-
1
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783031737084
Subject Terms: Soft CCP, Security, Local Space Functions
-
2
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783031081453
Subject Terms: bisimulation equivalences, residuated monoids, Soft concurrent constraint programming, local variables, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
-
3
Authors: et al.
Contributors: et al.
Source: Journal of Logical and Algebraic Methods in Programming. 92:45-63
Subject Terms: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-DC]Computer Science [cs]/Distributed, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Semantics of Programming Langages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 16. Peace & justice, ACM: F.: Theory of Computation, Parallel, 01 natural sciences, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, Soft Constraints, and Cluster Computing [cs.DC], Soft Concurrent Constraint Programming, Bisimulation, 13. Climate action, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Concurrent Constraint Programming, 0101 mathematics
Access URL: https://inria.hal.science/hal-01675060v1
https://doi.org/10.1016/j.jlamp.2017.06.001
https://www.sciencedirect.com/science/article/pii/S2352220817301165
https://core.ac.uk/display/87081999
https://hal.inria.fr/hal-01675060
https://research.unipg.it/handle/11391/1417231
https://dblp.uni-trier.de/db/journals/jlp/jlp92.html#GadducciSPV17
https://hdl.handle.net/11568/872080
https://doi.org/10.1016/j.jlamp.2017.06.001
http://www.sciencedirect.com/science/journal/23522208
https://doi.org/10.1016/j.jlamp.2017.06.001
https://hdl.handle.net/11391/1417231 -
4
Authors:
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:7Subject 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 -
5
Authors:
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 -
6
Authors: et al.
Contributors: 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/ -
7
Authors: 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 -
8
Authors:
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–162Subject 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 -
9
Authors:
Source: Proceedings of the 27th Annual ACM Symposium on Applied Computing. :1551-1553
-
10
Authors:
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
-
11
-
12
-
13
Authors: Stefano Bistarelli
Source: Lecture Notes in Computer Science ISBN: 9783540211815
Access URL: http://arxiv.org/pdf/cs/0208008
-
14
Authors: et al.
Contributors: et al.
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
-
15
Authors: et al.
Contributors: et al.
Subject Terms: Additional Key Words and Phrases, constraints, soft constraints, concurrent constraint programming
File Description: application/pdf
-
16
Authors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783540682646
Lecture notes in computer science 5052 (2008): 50–66. doi:10.1007/978-3-540-68265-3_4
info:cnr-pdr/source/autori:[1] Bistarelli S., [1]Santini F., [2] Gabbrielli M., [3] Meo M.C./titolo:Timed Soft Concurrent Constraint Programs/doi:10.1007%2F978-3-540-68265-3_4/rivista:Lecture notes in computer science/anno:2008/pagina_da:50/pagina_a:66/intervallo_pagine:50–66/volume:5052Subject Terms: Computer programming, Concurrency control, Constraint theory, Information theory, Ketones, Linguistics, Query languages, Stabilizers (agents), Computation, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Constraint Programming
File Description: application/pdf
-
17
Authors:
-
18
Authors: et al.
Contributors: et al.
Source: ftp://ftp.di.unipi.it/pub/Papers/bista/softcc-cp2001w-final.ps.gz
File Description: application/postscript
-
19
Authors: 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, Artículo
-
20
Authors:
Source: ACM Transactions on Computational Logic; Jul2006, Vol. 7 Issue 3, p563-589, 27p
Nájsť tento článok vo Web of Science 
Full Text Finder