Výsledky vyhledávání - Soft Concurrent Constraint Programming*

Local Spaces in Soft Concurrent Constraint Programming Oriented to Security

Autoři: Bistarelli S. Santini F.

Zdroj: Lecture Notes in Computer Science ISBN: 9783031737084

Témata: Soft CCP, Security, Local Space Functions

Soft Concurrent Constraint Programming with Local Variables

Autoři: Bussi L. Gadducci F. Santini F.

Zdroj: Lecture Notes in Computer Science ISBN: 9783031081453

Témata: 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

Přístupová URL adresa: https://hdl.handle.net/11568/1199468
https://doi.org/10.1007/978-3-031-08143-9_10
https://hdl.handle.net/11391/1530876
https://doi.org/10.1007/978-3-031-08143-9_10

Observational and behavioural equivalences for soft concurrent constraint programming

Autoři: Fabio Gadducci Luis Fernando Pino Francesco Santini a další

Přispěvatelé: Fabio Gadducci Luis Fernando Pino Francesco Santini a další

Zdroj: Journal of Logical and Algebraic Methods in Programming. 92:45-63

Témata: 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

Přístupová URL adresa: 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

Soft concurrent constraint programming

Autoři: BISTARELLI, Stefano MONTANARI, UGO ROSSI, FRANCESCA

Zdroj: 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

Témata: 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)

Přístupová URL adresa: 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

A Proof Theoretic Study of Soft Concurrent Constraint Programming

Autoři: Pimentel, Elaine Gouvea Nigam, Vivek Vega, Carlos Alberto Olarte

Zdroj: Theory and Practice of Logic Programming

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

A Labelled Semantics for Soft Concurrent Constraint Programming

Autoři: Gadducci, Fabio SANTINI, FRANCESCO Pino, Luis F. a další

Přispěvatelé: Gadducci, Fabio SANTINI, FRANCESCO Pino, Luis F. a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783319192819

Témata: 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]

Popis souboru: application/pdf

Přístupová URL adresa: 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/

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

Autoři: BISTARELLI, Stefano Gabbrielli, Maurizio Meo, MARIA CHIARA a další

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

Témata: 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)

Popis souboru: application/pdf

Přístupová URL adresa: 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

A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation

Autoři: BISTARELLI, Stefano SANTINI, FRANCESCO

Zdroj: 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

Témata: 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)

Přístupová URL adresa: 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

A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming

Autoři: BISTARELLI, Stefano Paola Campli SANTINI, FRANCESCO

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

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process

Autoři: BISTARELLI, Stefano SANTINI, FRANCESCO

Zdroj: Fundamenta Informaticae. 111:257-279

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

Přístupová URL adresa: 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

A Proof Theoretic Study of Soft Concurrent Constraint Programming

Autoři: Pimentel, Elaine Olarte, Carlos Nigam, Vivek

Témata: Computer Science - Logic in Computer Science, F.3.1, D.3.2, text

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

Soft Concurrent Constraint Programming

Autoři: Bistarelli, S. Montanari, U. Rossi, F.

Témata: 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

8. Soft Concurrent Constraint Programming

Autoři: Stefano Bistarelli

Zdroj: Lecture Notes in Computer Science ISBN: 9783540211815

Přístupová URL adresa: http://arxiv.org/pdf/cs/0208008

Soft concurrent constraint programming

Autoři: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

Přispěvatelé: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

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

Témata: General Terms, Languages Additional Key Words and Phrases, constraints, soft constraints, concurrent constraint programming

Popis souboru: application/pdf

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

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

Soft concurrent constraint programming

Autoři: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

Přispěvatelé: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

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

Témata: Additional Key Words and Phrases, constraints, soft constraints, concurrent constraint programming

Popis souboru: application/pdf

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

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

Timed Soft Concurrent Constraint Programs

Autoři: BISTARELLI, Stefano GABBRIELLI, Maurizio MEO, Maria Chiara a další

Zdroj: 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:5052

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/11564/130974
https://doi.org/10.1007/978-3-540-68265-3_4
https://hdl.handle.net/11585/67274

Designing a Nonmonotonic Soft Concurrent Constraint Language for SLA Management

Autoři: S. Bistarelli F. Santini

Témata: Non-monotonicity, Soft Concurrent Constraint Programming, Quality of Service, Service Level Agreement, Negotiation

Přístupová URL adresa: http://www.cnr.it/prodotto/i/156741
https://publications.cnr.it/doc/156741

Soft Concurrent Constraint Programming

Autoři: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

Přispěvatelé: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

Zdroj: ftp://ftp.di.unipi.it/pub/Papers/bista/softcc-cp2001w-final.ps.gz

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.3545

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

Autoři: Universidad EAFIT. Departamento de Ingeniería de Sistemas I+D+I en Tecnologías de la Información y las Comunicaciones Toro, M. a další

Zdroj: Journal of Theoretical and Applied Information Technology

Témata: 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

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

Soft Concurrent Constraint Programming.

Autoři: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

Zdroj: ACM Transactions on Computational Logic; Jul2006, Vol. 7 Issue 3, p563-589, 27p

Témata: MATHEMATICAL logic, FORMAL languages, PROOF theory, LOGIC programming, KNOWLEDGE representation (Information theory), FORMAL language semantics, FORMALIZATION (Linguistics), METATHEORY