20012024

Resultados de investigaciones por año

Filtro
Contribución a la conferencia

Resultados de la búsqueda

  • 2024

    A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases

    Alvim, M. S., Gaspar da Silva, A., Knight, S. & Valencia, F., 2024, Formal Techniques for Distributed Objects, Components, and Systems - 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Proceedings. Castiglioni, V. & Francalanza, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-19 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14678 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

  • 2022

    On the Impossibility of Non-trivial Accuracy in Presence of Fairness Constraints

    Pinzón, C., Palamidessi, C., Piantanida, P. & Valencia, F., 30 jun. 2022, AAAI-22 Technical Tracks 7. Association for the Advancement of Artificial Intelligence, p. 7993-8000 8 p. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022; vol. 36).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    4 Citas (Scopus)
  • 2021

    A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks

    Alvim, M. S., Amorim, B., Knight, S., Quintero, S. & Valencia, F., 2021, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Peters, K. & Willemse, T. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 22-41 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    5 Citas (Scopus)
  • Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge

    Pinzón, C., Quintero, S., Ramírez, S. & Valencia, F., 2021, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. Fahrenberg, U., Gehrke, M., Santocanale, L. & Winter, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 413-432 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13027 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
  • 2020

    Counting and Computing Join-Endomorphisms in Lattices

    Quintero, S., Ramirez, S., Rueda, C. & Valencia, F., 2020, Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Proceedings. Fahrenberg, U., Jipsen, P. & Winter, M. (eds.). Springer, p. 253-269 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12062 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    2 Citas (Scopus)
  • 2019

    Reasoning about distributed knowledge of groups with infinitely many agents

    Guzmán, M., Knight, S., Quintero, S., Ramírez, S., Rueda, C. & Valencia, F., ago. 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    4 Citas (Scopus)
  • 2018

    Real-time rewriting logic semantics for spatial concurrent constraint programming

    Ramírez, S., Romero, M., Rocha, C. & Valencia, F., 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer Verlag, p. 226-244 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    1 Cita (Scopus)
  • 2017

    D-SPACES: Implementing Declarative Semantics for Spatially Structured Information

    Haar, S., Perchy, S. & Valencia, F., 29 mar. 2017, Proceedings - IEEE 11th International Conference on Semantic Computing, ICSC 2017. Institute of Electrical and Electronics Engineers Inc., p. 227-233 7 p. 7889532. (Proceedings - IEEE 11th International Conference on Semantic Computing, ICSC 2017).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    1 Cita (Scopus)
  • 2016

    Deriving inverse operators for modal logic

    Guzmán, M., Perchy, S., Rueda, C. & Valencia, F. D., 2016, Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings. Wang, F. & Sampaio, A. (eds.). Springer Verlag, p. 214-232 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9965 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    5 Citas (Scopus)
  • On the expressiveness of spatial constraint systems

    Guzmán, M. & Valencia, F. D., 01 nov. 2016, Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016. King, A., Saeedloei, N., De Vos, M. & Linares, M. C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16. (OpenAccess Series in Informatics; vol. 52).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    1 Cita (Scopus)
  • 2015

    A labelled semantics for soft concurrent constraint programming

    Gadducci, F., Santini, F., Pino, L. F. & Valencia, F. D., 2015, Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings. Holvoet, T. & Viroli, M. (eds.). Springer Verlag, p. 133-149 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9037).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    4 Citas (Scopus)
  • An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic

    Haar, S., Perchy, S., Rueda, C. & Valencia, F., 14 jul. 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015. Association for Computing Machinery, Inc, p. 161-172 12 p. (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    12 Citas (Scopus)
  • Theoretical aspects of computing - ICTAC 2015: 12th international colloquium cali, Colombia, October 29-31, 2015 proceedings

    Leucker, M., Rueda, C. & Valencia, F. D., 2015, Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings. Leucker, M., Rueda, C., Valencia, F. D. & Valencia, F. D. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9399).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

  • 2013

    Efficient computation of program equivalence for confluent concurrent constraint programming

    Pino, L. F., Bonchi, F. & Valencia, F. D., 2013, Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013. p. 263-274 12 p. (Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    3 Citas (Scopus)
  • 2012

    Partition refinement for bisimilarity in CCP

    Aristizabal, A., Bonchi, F., Valencia, F. D. & Pino, L. F., 2012, 27th Annual ACM Symposium on Applied Computing, SAC 2012. p. 88-93 6 p. (Proceedings of the ACM Symposium on Applied Computing).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    6 Citas (Scopus)
  • Spatial and epistemic modalities in constraint-based process calculi

    Knight, S., Palamidessi, C., Panangaden, P. & Valencia, F. D., 2012, Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings. p. 317-332 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7454 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    32 Citas (Scopus)
  • 2011

    Deriving labels and bisimilarity for concurrent constraint programming

    Aristizábal, A., Bonchi, F., Palamidessi, C., Pino, L. & Valencia, F., 2011, Foundations of Software Science and Computational Structures - 14th Int. Conf., FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. Springer Verlag, p. 138-152 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6604 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    17 Citas (Scopus)
  • Modeling cellular signaling systems: An abstraction-refinement approach

    Hermith, D., Olarte, C., Rueda, C. & Valencia, F. D., 2011, 5th International Conference on Practical Applications of Computational Biology and Bioinformatics (PACBB 2011). Rocha, M., Corchado Rodriguez, J., Fdez-Riverola, F. & Valencia, A. (eds.). p. 321-328 8 p. (Advances in Intelligent and Soft Computing; vol. 93).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    3 Citas (Scopus)
  • 2009

    An overview of FORCES: An INRIA project on declarative formalisms for emergent systems

    Aranda, J., Assayag, G., Olarte, C., Pérez, J. A., Rueda, C., Toro, M. & Valencia, F. D., 2009, Logic Programming - 25th International Conference, ICLP 2009, Proceedings. p. 509-513 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5649 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    3 Citas (Scopus)
  • On the expressive power of restriction and priorities in ccs with replication

    Aranda, J., Valencia, F. D. & Versari, C., 2009, Foundations of Software Science and Computational Structures - 12th International Conference, FOSSACS 2009 - Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2009, Proc.. p. 242-256 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5504 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    14 Citas (Scopus)
  • 2008

    On the asynchronous nature of the asynchronous π-calculus

    Beauxis, R., Palamidessi, C. & Valencia, F. D., 2008, Concurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. p. 473-492 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5065 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    16 Citas (Scopus)
  • Stochastic behavior and explicit discrete time in concurrent constraint programming

    Aranda, J., Pérez, J. A., Rueda, C. & Valencia, F. D., 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. p. 682-686 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    3 Citas (Scopus)
  • The expressivity of universal timed CCP: Undecidability of monadic FLTL and closure operators for security

    Olarte, C. & Valencia, F. D., 2008, PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. p. 8-19 12 p. (PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    13 Citas (Scopus)
  • Universal concurrent constraint programing: Symbolic semantics and applications to security

    Olarte, C. & Valencia, F. D., 2008, Proceedings of the 23rd Annual ACM Symposium on Applied Computing, SAC'08. p. 145-150 6 p. (Proceedings of the ACM Symposium on Applied Computing).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    25 Citas (Scopus)
  • 2007

    CCS with replication in the chomsky hierarchy: The expressive power of divergence

    Aranda, J., Di Giusto, C., Nielsen, M. & Valencia, F. D., 2007, Programming Languages and Systems - 5th Asian Symposium, APLAS 2007, Proceedings. Springer Verlag, p. 383-398 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4807 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    5 Citas (Scopus)
  • Declarative diagnosis of temporal concurrent constraint programs

    Falaschi, M., Olarte, C., Palamidessi, C. & Valencia, F., 2007, Logic Programming - 23rd International Conference, ICLP 2007, Proceedings. Springer Verlag, p. 271-285 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4670 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    12 Citas (Scopus)
  • On recursion, replication and scope mechanisms in process calculi

    Aranda, J., Giusto, C. D., Palamidessi, C. & Valencia, F. D., 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 185-206 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4709 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    5 Citas (Scopus)
  • Universal timed concurrent constraint programming

    Olarte, C., Palamidessi, C. & Valencia, F., 2007, Logic Programming - 23rd International Conference, ICLP 2007, Proceedings. Springer Verlag, p. 464-465 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4670 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    1 Cita (Scopus)
  • 2006

    A declarative framework for security: Secure concurrent constraint programming

    López, H. A., Palamidessi, C., Pérez, J. A., Rueda, C. & Valencia, F. D., 2006, Logic Programming - 22nd International Conference, ICLP 2006, Proceedings. Springer Verlag, p. 449-450 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4079 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    5 Citas (Scopus)
  • On the expressiveness of linearity vs persistence in the asychronous pi-calculus

    Palamidessi, C., Saraswat, V., Valencia, F. D. & Victor, B., 2006, Proceedings - 21st Annual IEEE Symposium on Logic in Computer Science, LICS 2006. p. 59-68 10 p. 1691217. (Proceedings - Symposium on Logic in Computer Science).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    31 Citas (Scopus)
  • 2002

    On the expressive power of temporal concurrent constraint programming languages

    Nielsen, M., Palamidessi, C. & Valencia, F. D., 2002, Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02). Association for Computing Machinery (ACM), p. 156-167 12 p. (Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02)).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    25 Citas (Scopus)
  • 2001

    A temporal concurrent constraint programming calculus

    Palamidessi, C. & Valencia, F. D., 2001, Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings. Walsh, T. (ed.). Springer Verlag, p. 302-316 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2239).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    21 Citas (Scopus)
  • Temporal concurrent constraint programming

    Valencia, F. D., 2001, Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings. Walsh, T. (ed.). Springer Verlag, p. 786 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2239).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    1 Cita (Scopus)
Su mensaje fue enviado correctamente.
Su mensaje no fue enviado debido a un error.