Authors: Cooper, Martin, Lequen, Arnaud, Maris, Frédéric
Contributors: Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Association Française pour l’Intelligence Artificielle (AFIA)
Superior Title: Journées Francophones de Programmation par Contraintes ; https://hal.science/hal-03819065 ; Journées Francophones de Programmation par Contraintes, Association Française pour l’Intelligence Artificielle (AFIA), Jun 2022, Saint-Etienne, France. pp.35-42
Subject Terms: isomorphism, complexity, constraint propagation, Planning, Planification automatique, isomorphisme, complexité, propagation de contraintes, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Subject Geographic: Saint-Etienne, France
Relation: hal-03819065; https://hal.science/hal-03819065; https://hal.science/hal-03819065/document; https://hal.science/hal-03819065/file/Martin_Cooper_2022.pdf
Availability:
https://hal.science/hal-03819065
https://hal.science/hal-03819065/document
https://hal.science/hal-03819065/file/Martin_Cooper_2022.pdf
Authors: Cooper, Martin, Lequen, Arnaud, Maris, Frédéric
Contributors: Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Association for Constraint Programming, Christine Solnon, ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019)
Superior Title: LIPIcs ; 28th International Conference on Principles and Practice of Constraint Programming (CP 2022) ; https://hal.science/hal-04018465 ; 28th International Conference on Principles and Practice of Constraint Programming (CP 2022), Association for Constraint Programming, Jul 2022, Haïfa, Israel. pp.13:1--13:16, ⟨10.4230/LIPIcs.CP.2022.13⟩ ; https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=16642
Subject Terms: planning, STRIPS-like Planning, isomorphism, complexity, Constraint propagation, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Relation: hal-04018465; https://hal.science/hal-04018465; https://hal.science/hal-04018465/document; https://hal.science/hal-04018465/file/CP2022Planning.pdf
Authors: Santo, José Espírito, Matthes, Ralph, Pinto, Luís
Contributors: Universidade do Minho = University of Minho Braga, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Fundação para a Ciência e a Tecnologia UIDB/00013/2020 and UIDP/00013/2020, ANR-11-BS02-0016,CLIMT,Méthodes catégoriques et logiques en transformations de modèles(2011), European Project: COST Action CA15123 ,COST - European Cooperation in Science and Technology,EUTYPES(2016)
Superior Title: ISSN: 0168-0072 ; Annals of Pure and Applied Logic ; https://hal.science/hal-03086504 ; Annals of Pure and Applied Logic, 2021, 172 (10), ⟨10.1016/j.apal.2021.103026⟩.
Subject Terms: Curry-Howard isomorphism, proof search, coinduction / corecursion, inhabitation problem, solution space, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1602.04382; info:eu-repo/grantAgreement//COST Action CA15123 /EU/The European research network on types for programming and verification /EUTYPES; hal-03086504; https://hal.science/hal-03086504; https://hal.science/hal-03086504/document; https://hal.science/hal-03086504/file/S0168007221000841.pdf; ARXIV: 1602.04382; PII: S0168-0072(21)00084-1
Authors: Oberoi, Kamaldeep Singh, del Mondo, Géraldine, Gaüzère, Benoit, Dupuis, Yohan, Vasseur, Pascal
Contributors: Systèmes Multi-Agents Coopératifs (IRIT-SMAC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Laboratoire d'Informatique, du Traitement de l'Information et des Systèmes (LITIS), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA), Equipe Apprentissage (App - LITIS), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA)-Université Le Havre Normandie (ULH), Laboratoire d'Innovation Numérique pour les Entreprises et les Apprentissages au service de la Compétitivité des Territoires (LINEACT), CESI : groupe d’Enseignement Supérieur et de Formation Professionnelle (CESI), HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM), Modélisation, Information et Systèmes - UR UPJV 4290 (MIS), Université de Picardie Jules Verne (UPJV), European Regional Development Fund (ERDF), ANR-15-CE23-0010,pLaTINUM,Cartographie Long Terme pour la Mobilité Urbaine(2015)
Superior Title: ISSN: 1433-7541.
Subject Terms: Graph matching, Subgraph isomorphism, Dynamic graphs, Temporal subgraph isomorphism, Temporal networks, Graph snapshots, [INFO]Computer Science [cs]
Relation: hal-04011116; https://hal.science/hal-04011116
Authors: Oberoi, Kamaldeep Singh, del Mondo, Géraldine
Contributors: Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT), Systèmes Multi-Agents Coopératifs (IRIT-SMAC), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Equipe Apprentissage (DocApp - LITIS), Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes (LITIS), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA)-Université Le Havre Normandie (ULH), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA), Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)
Superior Title: ISSN: 1260-5875.
Subject Terms: Spatio-temporal modeling, Dynamic graphs, Subgraph isomorphism, Road traffic, Invasive team sports, Handball, Modélisation spatio-temporelle, Graphes dynamiques, Isomorphisme de sous-graphe, Trafic routier, Sports collectifs, [INFO]Computer Science [cs], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Relation: hal-04184818; https://hal.science/hal-04184818
Authors: Soloviev, Sergei
Contributors: Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), National Research University of Information Technologies, Mechanics and Optics St. Petersburg (ITMO)
Superior Title: ISSN: 0960-1295.
Subject Terms: Isomorphism of types, Automorphism of types, Group of automorphisms, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Relation: hal-02947763; https://hal.science/hal-02947763; https://hal.science/hal-02947763/document; https://hal.science/hal-02947763/file/soloviev_26149.pdf; OATAO: 26149
Authors: Soloviev, Sergei
Contributors: Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), National Research University of Information Technologies, Mechanics and Optics St. Petersburg (ITMO), Government of the Russian Federation Grant 074-U01
Superior Title:
20th International Conference on Types for Proofs and Programs (TYPES 2014)
https://hal.science/hal-01913983
20th International Conference on Types for Proofs and Programs (TYPES 2014), May 2014, Paris, France. pp.274-287, ⟨10.4230/LIPIcs.TYPES.2014.274⟩
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2014.274
Subject Terms: Deciding algorithm, Dependent types, Isomorphism of types, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Relation: hal-01913983; https://hal.science/hal-01913983; https://hal.science/hal-01913983/document; https://hal.science/hal-01913983/file/soloviev_19100.pdf; OATAO: 19100
Authors: Lamy, Stéphane, Sebag, Julien
Contributors: Institut de Mathématiques de Toulouse UMR5219 (IMT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche Mathématique de Rennes (IRMAR), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-École normale supérieure - Rennes (ENS Rennes)-Université de Rennes 2 (UR2)-Centre National de la Recherche Scientifique (CNRS)-INSTITUT AGRO Agrocampus Ouest, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)
Superior Title: ISSN: 1340-5705 ; Journal of Mathematical Sciences the University of Tokyo ; https://hal.science/hal-00654982 ; Journal of Mathematical Sciences the University of Tokyo, 2012, 19 (3), pp.325-357.
Subject Terms: birational map, piecewise isomorphism, 14E07, [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1112.5706; hal-00654982; https://hal.science/hal-00654982; https://hal.science/hal-00654982/document; https://hal.science/hal-00654982/file/LLG_Dim3_V18122011.pdf; ARXIV: 1112.5706
Availability:
https://hal.science/hal-00654982
https://hal.science/hal-00654982/document
https://hal.science/hal-00654982/file/LLG_Dim3_V18122011.pdf
Authors: Soloviev, Sergei, Malakhovski, Ian
Contributors: Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), National Research University of Information Technologies, Mechanics and Optics St. Petersburg (ITMO)
Superior Title: ISSN: 1072-3374.
Subject Terms: automorphisms of types, isomorphisms of types, cryptographie, El Gamal, [INFO]Computer Science [cs], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Relation: hal-03003829; https://hal.science/hal-03003829