Authors: Benazouz, Raissa, Chemori, Ahmed, Creuze, Vincent
Contributors: Robotique Sous-Marine (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Robotique médicale et mécanismes parallèles (LIRMM, Région Occitanie - France (Projet ROVAGUE)., Défi Clé Robotique centrée sur l’humain (ROVAGUE)
Superior Title: ISSN: 0029-8018 ; Ocean Engineering ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04507735 ; Ocean Engineering, 2024, 300, pp.117470. ⟨10.1016/j.oceaneng.2024.117470⟩.
Subject Terms: RISE Feedback control, Underwater vehicles, Fuzzy logic control, Real-time experiments, Robustness, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
Relation: lirmm-04507735; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04507735; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04507735/document; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04507735/file/A_novel_intelligent_RISE_feedback_control_OE.pdf
Authors: Fomin, Fedor, V., Golovach, Petr, A., Sau, Ignasi, Stamoulis, Giannos, Thilikos, Dimitrios, M.
Contributors: Department of Informatics Bergen (UiB), University of Bergen (UiB), Algorithmes, Graphes et Combinatoire (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), ANR-20-CE48-0008,ELIT,Un Parcours par les Limites de l'Efficacité(2020), ANR-17-CE23-0010,ESIGMA,Efficacité et structure pour les applications de la fouille de graphes(2017), ANR-20-CE92-0027,UTMA,Théories Unifiantes dans les Algorithmes Multivarieés(2020)
Superior Title: ICALP 2023 - 50th International Colloquium on Automata, Languages and Programming ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04253801 ; ICALP 2023 - 50th International Colloquium on Automata, Languages and Programming, Jul 2023, Paderborn, Germany. pp.1-21, ⟨10.4230/LIPIcs.ICALP.2023.51⟩
Subject Terms: Flat Wall theorem, Irrelevant vertex technique, Graph modification problems, Model-checking, Graph minors, First-order logic, Monadic second-order logic, [INFO]Computer Science [cs]
Subject Geographic: Germany
Time: Paderborn, Germany
Relation: lirmm-04253801; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04253801; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04253801/document; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04253801/file/compound_ICALP_camera_ready.pdf
Contributors: Universiteit Utrecht / Utrecht University Utrecht, Exploration et exploitation de données textuelles (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Association for Computational Linguistics
Superior Title: Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics - System Demos ; EACL 2023 - 17th Conference of the European Chapter of the Association for Computational Linguistics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04290161 ; EACL 2023 - 17th Conference of the European Chapter of the Association for Computational Linguistics, Association for Computational Linguistics, May 2023, Dubrovnic, Croatia. pp.128-135, ⟨10.48550/arXiv.2302.12050⟩ ; https://2023.eacl.org/
Subject Terms: Computation and Language, Artificial Intelligence, Machine Learning, Logic in Computer Science, FOS: Computer and information sciences, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.7: Natural Language Processing, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2302.12050; lirmm-04290161; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04290161; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04290161/document; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04290161/file/eacl2023.pdf; ARXIV: 2302.12050
Contributors: Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données (BOREAL), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Ingénierie des Agro-polymères et Technologies Émergentes (UMR IATE), Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, 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)-Université de Montpellier (UM)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, 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)-Université de Montpellier (UM), Value from Data (VALDA ), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), ANR-18-CE23-0003,CQFD,Requêtes Ontologiques Complexes sur des Fédérations de Données Hétérogènese(2018)
Superior Title: BDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04315377 ; BDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France ; https://bda2023.sciencesconf.org/
Subject Terms: First-order logic, Knowledge representation and reasoning, Logic and computation, [INFO]Computer Science [cs]
Subject Geographic: Montpellier, France
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2206.03124; lirmm-04315377; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04315377; ARXIV: 2206.03124
Availability: https://hal-lirmm.ccsd.cnrs.fr/lirmm-04315377
Contributors: University of Bergen (UiB), Algorithmes, Graphes et Combinatoire (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Society for Industrial and Applied Mathematics, ANR-16-CE40-0028,DE-MO-GRAPH,Décomposition de Modèles Graphiques(2016), ANR-17-CE23-0010,ESIGMA,Efficacité et structure pour les applications de la fouille de graphes(2017), ANR-20-CE92-0027,UTMA,Théories Unifiantes dans les Algorithmes Multivarieés(2020)
Superior Title: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) ; SODA 2023 - ACM-SIAM Symposium on Discrete Algorithms ; https://hal.science/hal-04043007 ; SODA 2023 - ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, Jan 2023, Florence, Italy. pp.3684-3699, ⟨10.1137/1.9781611977554.ch141⟩ ; https://epubs.siam.org/doi/book/10.1137/1.9781611977554
Subject Terms: Algorithmic meta-theorems, Model-checking, First-order logic, Disjoint paths, Hadwiger number, Graph minors, Irrelevant vertex technique, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
Time: Florence, Italy
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2211.01723; hal-04043007; https://hal.science/hal-04043007; https://hal.science/hal-04043007/document; https://hal.science/hal-04043007/file/2211.01723.pdf; ARXIV: 2211.01723
Authors: Sioutis, Michael
Contributors: Agents, Apprentissage, Contraintes (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)
Superior Title: TIME 2023 - 30th International Symposium on Temporal Representation and Reasoning ; https://hal.science/hal-04290605 ; TIME 2023 - 30th International Symposium on Temporal Representation and Reasoning, Sep 2023, Athènes, Greece. pp.12:1-12:12, ⟨10.4230/LIPICS.TIME.2023.12⟩
Subject Terms: Temporal reasoning, Spatial and Temporal Reasoning, Qualitative Constraints, Inconsistency Resolution, Maximizing Satisfiability, Greedy Algorithm, Partial MaxSAT Solver, Constraint and logic programming, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Relation: hal-04290605; https://hal.science/hal-04290605; https://hal.science/hal-04290605/document; https://hal.science/hal-04290605/file/LIPIcs.TIME.2023.12.pdf
Authors: Almeida, Felipe, Aksoy, Levent, Nguyen, Quang-Linh, Dupuis, Sophie, Flottes, Marie-Lise, Pagliarini, Samuel
Contributors: Department of Computer Systems (TALTECH), Tallinn University of Technology (TTÜ), Test and dEpendability of microelectronic integrated SysTems (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)
Superior Title: Proceedings of the 24th ISQED 2023 ; ISQED 2023 - 24th International Symposium on Quality Electronic Design ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04053224 ; ISQED 2023 - 24th International Symposium on Quality Electronic Design, Apr 2023, San Fransisco, CA, United States
Subject Terms: Logic locking, resynthesis, EDA tools, oracle-less and oracle-guided attacks, [SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics
Subject Geographic: San Fransisco, CA, United States
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2301.04400; lirmm-04053224; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04053224; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04053224/document; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04053224/file/ISQED2023.pdf; ARXIV: 2301.04400
Authors: Gerlach, Lukas, Carral, David
Contributors: Technische Universität Dresden = Dresden University of Technology (TU Dresden), Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données (BOREAL), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Ingénierie des Agro-polymères et Technologies Émergentes (UMR IATE), Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, 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)-Université de Montpellier (UM)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, 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)-Université de Montpellier (UM), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Université de Montpellier (UM), Centre National de la Recherche Scientifique (CNRS), Lukas is funded by Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) in project 389792660 (TRR 248, Center for Perspicuous Systems), by the Bundesministerium für Bildung und Forschung (BMBF, Federal Ministry of Education and Research) under European ITEA project 01IS21084 (InnoSale, Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence), by BMBF and DAAD (German Academic Exchange Service) in project 57616814 (SECAI, School of Embedded and Composite AI), and by the Center for Advancing Electronics Dresden (cfaed).David is funded by the ANR project CQFD (ANR-18-CE23-0003)., ANR-18-CE23-0003,CQFD,Requêtes Ontologiques Complexes sur des Fédérations de Données Hétérogènese(2018)
Superior Title: AAAI-23 Technical Tracks 5 ; AAAI 2023 - 37th Conference on Artificial Intelligence ; https://hal.science/hal-04212112 ; AAAI 2023 - 37th Conference on Artificial Intelligence, Feb 2023, Washington, United States. pp.6372-6379, ⟨10.1609/aaai.v37i5.25784⟩ ; https://ojs.aaai.org/index.php/AAAI/issue/view/552
Subject Terms: Reasoning with Existential Rules, Disjunctive Chase Termination, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Washington, United States
Time: Washington, United States
Relation: hal-04212112; https://hal.science/hal-04212112; https://hal.science/hal-04212112/document; https://hal.science/hal-04212112/file/2023-aaai-acyclicity-cyclicity-disjunctive-skolem-chase.pdf
Authors: Gerlach, Lukas, Carral, David
Contributors: Technische Universität Dresden = Dresden University of Technology (TU Dresden), Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données (BOREAL), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Ingénierie des Agro-polymères et Technologies Émergentes (UMR IATE), Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, 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)-Université de Montpellier (UM)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, 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)-Université de Montpellier (UM), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Université de Montpellier (UM), Centre National de la Recherche Scientifique (CNRS), Lukas is / has been funded by Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) in project 389792660 (TRR 248, Center for Perspicuous Systems), by the Bundesministerium fur Bildung und Forschung (BMBF, Federal Ministry of Education and Research) under European ITEA project 01IS21084 (InnoSale, Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence), by BMBF and DAAD (German Academic Exchange Service) in project 57616814 (SECAI, School of Embedded and Composite AI), and by the Center for Advancing Electronics Dresden (cfaed).David is funded by the ANR project CQFD (ANR-18-CE23-0003)., ANR-18-CE23-0003,CQFD,Requêtes Ontologiques Complexes sur des Fédérations de Données Hétérogènese(2018)
Superior Title: KR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning ; https://hal.science/hal-04212137 ; KR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.301-310, ⟨10.24963/kr.2023/30⟩ ; https://proceedings.kr.org/2023/
Subject Terms: Reasoning with Existential Rules, Restricted Chase, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2309.12710; hal-04212137; https://hal.science/hal-04212137; https://hal.science/hal-04212137/document; https://hal.science/hal-04212137/file/2023-kr-cyclicity-restricted-chase-termination.pdf; ARXIV: 2309.12710
Authors: Sfar, Aziz, Carral, David, Irofti, Dina, Croitoru, Madalina
Contributors: Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données (BOREAL), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Ingénierie des Agro-polymères et Technologies Émergentes (UMR IATE), Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, 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)-Université de Montpellier (UM)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, 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)-Université de Montpellier (UM), EDF R&D (EDF R&D), EDF (EDF), Performance, Risque Industriel, Surveillance pour la Maintenance et l’Exploitation (EDF R&D PRISME), EDF (EDF)-EDF (EDF), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Université de Montpellier (UM), Centre National de la Recherche Scientifique (CNRS), David Carral is funded by the ANR project CQFD (ANR-18-CE23-0003)., ANR-18-CE23-0003,CQFD,Requêtes Ontologiques Complexes sur des Fédérations de Données Hétérogènese(2018)
Superior Title: FMICS 2023 - Formal Methods for Industrial Critical Systems ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04214807 ; FMICS 2023 - Formal Methods for Industrial Critical Systems, Sep 2023, Antwerp, Netherlands. pp.189-204, ⟨10.1007/978-3-031-43681-9_11⟩
Subject Terms: Verification, LTL, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Antwerp, Netherlands
Relation: lirmm-04214807; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04214807; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04214807/document; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04214807/file/2023-fmics-logical-diagrams-ltl.pdf
Contributors: Systèmes Multi-Agents (SMA), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), 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), Centre National de la Recherche Scientifique (CNRS), Institut national universitaire Champollion Albi (INUC), Entrepôts, Représentation et Ingénierie des Connaissances (ERIC), Université Lumière - Lyon 2 (UL2)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon, Image & Interaction (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)
Superior Title: LFA 2022 - 31e Rencontres francophones sur la Logique Floue et ses Applications ; https://hal.science/hal-03859391 ; LFA 2022 - 31e Rencontres francophones sur la Logique Floue et ses Applications, Oct 2022, Toulouse, France. pp.127-134 ; https://blogs.univ-tlse2.fr/lfa2022/
Subject Terms: Neural network, Sugeno integral, Possibilistic logic, Réseau de neurones, Intégrale de Sugeno, Logique possibiliste, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: hal-03859391; https://hal.science/hal-03859391; https://hal.science/hal-03859391/document; https://hal.science/hal-03859391/file/LFA22neurologic.pdf
Authors: Moot, Richard
Contributors: Exploration et exploitation de données textuelles (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)
Superior Title: https://hal-lirmm.ccsd.cnrs.fr/lirmm-04285668 ; 2023.
Subject Terms: Model theoretic syntax, Lambek calculus, Proof theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.7: Natural Language Processing, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: lirmm-04285668; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04285668; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04285668/document; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04285668/file/MTS.pdf
Contributors: Universität Bremen, ADAptive Computing (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)
Superior Title: ISSN: 1662-5188 ; Frontiers in Computational Neuroscience ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04306841 ; Frontiers in Computational Neuroscience, 2023, 17, ⟨10.3389/fncom.2023.1114651⟩.
Subject Terms: Neural networks, Energy-based models, Equilibrium propagation, Framework, Analog, Mixed-signal, SPICE, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics
Relation: lirmm-04306841; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04306841; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04306841/document; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04306841/file/fncom-17-1114651.pdf
Authors: Aksoy, Levent, Nguyen, Quang-Linh, Almeida, Felipe, Raik, Jaan, Flottes, Marie-Lise, Dupuis, Sophie, Pagliarini, Samuel
Contributors: Tallinn University of Technology (TTÜ), STMicroelectronics Grenoble (ST-GRENOBLE), Test and dEpendability of microelectronic integrated SysTems (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), This work has been partially conducted in the project “ICT programme” which was supported by the European Union through the European Social Fund. It was also partially supported by European Union’s Horizon 2020 research and innovation programme under grant agreement No 952252 (SAFEST), ANR-18-CE39-0005,MOOSIC,Synthèse optimisée multi-objectifs pour améliorer la sécurité(2018), European Project: 952252,SAFEST
Superior Title: ISSN: 1063-8210 ; IEEE Transactions on Very Large Scale Integration (VLSI) Systems ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04078805 ; IEEE Transactions on Very Large Scale Integration (VLSI) Systems, In press, ⟨10.1109/TVLSI.2023.3253641⟩.
Subject Terms: hardware obfuscation, logic locking, oracle-less and oracle-guided attacks, constant multiplications, FIR filters, direct and transposed forms, [SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2301.11115; info:eu-repo/grantAgreement//952252/EU/SAFEST/SAFEST; lirmm-04078805; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04078805; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04078805/document; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04078805/file/2301.11115.pdf; ARXIV: 2301.11115
Contributors: Department of Informatics Bergen (UiB), University of Bergen (UiB), Algorithmes, Graphes et Combinatoire (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), ANR-16-CE40-0028,DE-MO-GRAPH,Décomposition de Modèles Graphiques(2016), ANR-17-CE23-0010,ESIGMA,Efficacité et structure pour les applications de la fouille de graphes(2017), ANR-20-CE92-0027,UTMA,Théories Unifiantes dans les Algorithmes Multivarieés(2020)
Superior Title: ISSN: 1942-3454.
Subject Terms: Graph Modification Problems, Algorithmic Meta-theorems, First-Order Logic, Irrelevant Vertex Technique, Planar Graphs, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2106.03425; hal-04043067; https://hal.science/hal-04043067; https://hal.science/hal-04043067/document; https://hal.science/hal-04043067/file/2106.03425.pdf; ARXIV: 2106.03425
Authors: Carral, David, Zalewski, Joseph, Hitzler, Pascal
Contributors: Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Kansas State University, The second and third author acknowledge funding by the National Science Foundationunder award 2033521.
Superior Title: ISSN: 0955-792X.
Subject Terms: Knowledge Representation, Reasoning, Description Logics, Datalog, OWL EL, Nominal Schemas, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: hal-03833721; https://hal.science/hal-03833721; https://hal.science/hal-03833721/document; https://hal.science/hal-03833721/file/2022-JLC.pdf
Authors: Catta, Davide, Leneutre, Jean, Malvone, Vadim
Contributors: Exploration et exploitation de données textuelles (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Autonomic and Critical Embedded Systems (ACES), Laboratoire Traitement et Communication de l'Information (LTCI), Institut Mines-Télécom Paris (IMT)-Télécom Paris-Institut Mines-Télécom Paris (IMT)-Télécom Paris, Département Informatique et Réseaux (INFRES), Télécom ParisTech
Superior Title: WOA 2022 - 23rd Workshop From Objects to Agents ; https://hal.science/hal-04336385 ; WOA 2022 - 23rd Workshop From Objects to Agents, Sep 2022, Genova, Italy
Subject Terms: Attack Graphs, Sabotage Games, Logics in Games, [INFO]Computer Science [cs]
Relation: hal-04336385; https://hal.science/hal-04336385; https://hal.science/hal-04336385/document; https://hal.science/hal-04336385/file/paper16.pdf
Authors: Catta, Davide, Leneutre, Jean, Malvone, Vadim
Contributors: Exploration et exploitation de données textuelles (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Autonomic and Critical Embedded Systems (ACES), Laboratoire Traitement et Communication de l'Information (LTCI), Institut Mines-Télécom Paris (IMT)-Télécom Paris-Institut Mines-Télécom Paris (IMT)-Télécom Paris, Département Informatique et Réseaux (INFRES), Télécom ParisTech
Superior Title: CEUR Workshop Proceedings ; SPIRIT 2022 - Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy ; https://hal.science/hal-04336392 ; SPIRIT 2022 - Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, Nov 2022, Udine, Italy
Subject Terms: Attack Graphs, Sabotage Games, Logics in Games, [INFO]Computer Science [cs]
Relation: hal-04336392; https://hal.science/hal-04336392; https://hal.science/hal-04336392/document; https://hal.science/hal-04336392/file/paper14_Spirit3.pdf
Contributors: Value from Data (VALDA ), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données (BOREAL), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Ingénierie des Agro-polymères et Technologies Émergentes (UMR IATE), Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, 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)-Université de Montpellier (UM)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, 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)-Université de Montpellier (UM), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Centre National de la Recherche Scientifique (CNRS), Université de Montpellier (UM), Technische Universität Dresden = Dresden University of Technology (TU Dresden), This work is partly supported by DFG in project number 389792660 (TRR 248, Center for Perspicuous Systems), by BMBF in the Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), by the Center for Advancing Electronics Dresden (cfaed), by the ERC Consolidator Grant DeciGUT (project number 771779), ANR-18-CE23-0003,CQFD,Requêtes Ontologiques Complexes sur des Fédérations de Données Hétérogènese(2018)
Superior Title: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence ; IJCAI-ECAI 2022 - 31st International Joint Conference on Artificial Intelligence - 25th European Conference on Artificial Intelligence ; https://hal.science/hal-03801049 ; IJCAI-ECAI 2022 - 31st International Joint Conference on Artificial Intelligence - 25th European Conference on Artificial Intelligence, Jul 2022, Vienna, Austria. pp.5269-5273, ⟨10.24963/ijcai.2022/733⟩
Subject Terms: [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: hal-03801049; https://hal.science/hal-03801049; https://hal.science/hal-03801049/document; https://hal.science/hal-03801049/file/BCKRT-extended-abstract-IJCAI2022.pdf
Contributors: Agents, Apprentissage, Contraintes (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), 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), Université Toulouse III - Paul Sabatier (UT3), Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), 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), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019)
Superior Title: CP 2022 - 28th International Conference on Principles and Practice of Constraint Programming ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833388 ; CP 2022 - 28th International Conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. pp.9:1 - 9:14, ⟨10.4230/LIPIcs.CP.2022.9⟩ ; https://researchr.org/publication/cp-2022
Subject Terms: Constraint and logic programming, Fixed parameter tractability, Constraint programming, Constraint propagation, Complexity, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Relation: lirmm-03833388; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833388; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833388/document; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833388/file/LIPIcs-CP-2022-9.pdf