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

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

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 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 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/

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

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

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.math.unipd.it/~frossi/esop.pdf.gz.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.277; http://www.math.unipd.it/~frossi/esop.pdf.gz

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.277
http://www.math.unipd.it/~frossi/esop.pdf.gz

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

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

Soft Concurrent Constraint Programming

Autoři: BISTARELLI U. MONTANARI ROSSI, FRANCESCA a další

Přispěvatelé: BISTARELLI U. MONTANARI ROSSI, FRANCESCA a další

Popis souboru: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/3540433635; ispartofbook:Proceedings ESOP 2002; ESOP 2002 - European Symposium on Programming; firstpage:53; lastpage:67; numberofpages:15; https://hdl.handle.net/11577/1366387

Dostupnost: https://hdl.handle.net/11577/1366387

Soft Concurrent Constraint Programming

Autoři: BISTARELLI S F. MONTANARI, UGO GIOVANNI ERASMO a další

Přispěvatelé: BISTARELLI S F. MONTANARI, UGO GIOVANNI ERASMO a další

Popis souboru: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/000244030700004; volume:7, No. 3; firstpage:1; lastpage:27; numberofpages:27; journal:ACM TRANSACTIONS ON COMPUTATIONAL LOGIC; https://hdl.handle.net/11568/106176

Dostupnost: https://hdl.handle.net/11568/106176

Soft concurrent constraint programming

Autoři: Stefano Bistarelli Maurizio Gabbrielli Maria Chiara Meo a další

Přispěvatelé: Stefano Bistarelli Maurizio Gabbrielli Maria Chiara Meo a další

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

Popis souboru: application/pdf

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

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

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

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

Hybrid linear logic, revisited.

Autoři: CHAUDHURI, KAUSTUV DESPEYROUX, JOËLLE OLARTE, CARLOS a další

Zdroj: Mathematical Structures in Computer Science; Sep2019, Vol. 29 Issue 8, p1151-1176, 26p

Témata: LOGIC, AXIOMS, EVIDENCE