المؤلفون: Carral, David, Larroque, Lucas, Thomazo, Michaël

المساهمون: 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)

المصدر: KR 2024 - 21st International Conference on Principles of Knowledge Representation and Reasoning ; https://hal.science/hal-04710719 ; KR 2024 - 21st International Conference on Principles of Knowledge Representation and Reasoning, Nov 2024, Hanoi, Vietnam ; https://kr.org/KR2024/

مصطلحات موضوعية: Existential rules, Datalog, Undecidability, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Hanoi, Vietnam

الاتاحة: https://hal.science/hal-04710719
https://hal.science/hal-04710719v1/document
https://hal.science/hal-04710719v1/file/2024-kr-obqa-datalog-expressible-undecidable.pdf

المؤلفون: El Husseini, Wafaa, El Vaigh, Cheikh Brahim, Goasdoué, François, Jaudoin, Hélène

المساهمون: A Symbolic and Human-centric view of dAta MANagement (SHAMAN), GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), 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)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Connaissance et Intelligence Artificielle Distribuées Dijon (CIAD), Université de Technologie de Belfort-Montbeliard (UTBM)-Université de Bourgogne (UB), École Nationale Supérieure des Sciences Appliquées et de Technologie (ENSSAT), LTC et ARED Région Bretagne, ANR-18-CE23-0003,CQFD,Requêtes Ontologiques Complexes sur des Fédérations de Données Hétérogènese(2018)

المصدر: Proceedings of the ACM Web Conference 2024 ; The ACM Web Conference (WWW) ; https://hal.science/hal-04470002 ; The ACM Web Conference (WWW), May 2024, Singapore, Singapore. ⟨10.1145/3589334.3645567⟩

مصطلحات موضوعية: query optimization, data summarization, Existential rules, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-WB]Computer Science [cs]/Web

جغرافية الموضوع: Singapore

Relation: hal-04470002; https://hal.science/hal-04470002; https://hal.science/hal-04470002/document; https://hal.science/hal-04470002/file/main.pdf

الاتاحة: https://hal.science/hal-04470002
https://hal.science/hal-04470002/document
https://hal.science/hal-04470002/file/main.pdf
https://doi.org/10.1145/3589334.3645567

المؤلفون: Zafarghandi, Atefeh Keshavarzi, Koopmann, Patrick

المساهمون: Gierasimczuk, Nina, Heyninck, Jesse

المصدر: Zafarghandi , A K & Koopmann , P 2024 , Using ADFs for Inconsistency-Tolerant Query Answering with Existential Rules . in N Gierasimczuk & J Heyninck (eds) , NMR 2024 Nonmonotonic Reasoning 2024 : Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) Hanoi, Vietnam, November 2-4, 2024 . CEUR Workshop Proceedings , vol. 3835 , CEUR-WS.org , pp. 122-131 , 22nd International Workshop on Nonmonotonic Reasoning, NMR 2024 , Hanoi , Viet Nam , 2/11/24 . < https://ceur-ws.org/Vol-3835/paper13.pdf >

مصطلحات موضوعية: Abstract Dialectical Frameworks, Existential Rules, Inconsistency-Tolerant Reasoning

الاتاحة: https://research.vu.nl/en/publications/a1f2fa27-6968-427a-b969-c9043c7a6dad
https://hdl.handle.net/1871.1/a1f2fa27-6968-427a-b969-c9043c7a6dad
http://www.scopus.com/inward/record.url?scp=85210883470&partnerID=8YFLogxK
http://www.scopus.com/inward/citedby.url?scp=85210883470&partnerID=8YFLogxK
https://ceur-ws.org/Vol-3835/
https://ceur-ws.org/Vol-3835/paper13.pdf

المؤلفون: El Husseini, Wafaa, El Vaigh, Cheikh Brahim, Goasdoué, François, Jaudoin, Hélène

المساهمون: A Symbolic and Human-centric view of dAta MANagement (SHAMAN), GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), 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)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), École Nationale Supérieure des Sciences Appliquées et de Technologie (ENSSAT), Université de Bourgogne (UB), ARED Gedeon, Région Bretagne et Lannion Trégor Communauté, ANR-18-CE23-0003,CQFD,Requêtes Ontologiques Complexes sur des Fédérations de Données Hétérogènese(2018)

المصدر: The ACM Web Conference (WWW) ; https://inria.hal.science/hal-04023665 ; The ACM Web Conference (WWW), Apr 2023, Austin, United States. ⟨10.1145/3543873.3587342⟩

مصطلحات موضوعية: Existential rules, query optimization, data summarization, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]

جغرافية الموضوع: Austin, United States

Relation: hal-04023665; https://inria.hal.science/hal-04023665; https://inria.hal.science/hal-04023665/document; https://inria.hal.science/hal-04023665/file/www23-author-version.pdf

الاتاحة: https://inria.hal.science/hal-04023665
https://inria.hal.science/hal-04023665/document
https://inria.hal.science/hal-04023665/file/www23-author-version.pdf
https://doi.org/10.1145/3543873.3587342

المؤلفون: Gerlach, Lukas, Carral, David

المساهمون: 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)

المصدر: 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

مصطلحات موضوعية: Reasoning with Existential Rules, Disjunctive Chase Termination, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Washington, United States

Time: Washington, United States

الاتاحة: https://hal.science/hal-04212112
https://hal.science/hal-04212112v1/document
https://hal.science/hal-04212112v1/file/2023-aaai-acyclicity-cyclicity-disjunctive-skolem-chase.pdf
https://doi.org/10.1609/aaai.v37i5.25784

المؤلفون: Gerlach, Lukas, Carral, David

المساهمون: 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)

المصدر: 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/

مصطلحات موضوعية: Reasoning with Existential Rules, Restricted Chase, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Rhodes, Greece

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2309.12710; ARXIV: 2309.12710

الاتاحة: https://hal.science/hal-04212137
https://hal.science/hal-04212137v1/document
https://hal.science/hal-04212137v1/file/2023-kr-cyclicity-restricted-chase-termination.pdf
https://doi.org/10.24963/kr.2023/30

المؤلفون: Leclère, Michel, Mugnier, Marie-Laure, Pérution-Kihli, Guillaume

المساهمون: 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), Inria Cordi, Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner, ANR-18-CE23-0003,CQFD,Requêtes Ontologiques Complexes sur des Fédérations de Données Hétérogènese(2018)

المصدر: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning ; KR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04272014 ; KR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.429-439, ⟨10.24963/kr.2023/42⟩

مصطلحات موضوعية: Disjunctive Existential Rules, Query Rewriting, Mapping, [INFO]Computer Science [cs]

جغرافية الموضوع: Rhodes, Greece

الاتاحة: https://hal-lirmm.ccsd.cnrs.fr/lirmm-04272014
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04272014v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04272014v1/file/kr2023-0042-leclere-et-al.pdf
https://doi.org/10.24963/kr.2023/42

المؤلفون: Baget, Jean-François, Mugnier, Marie-Laure, Rudolph, Sebastian

المساهمون: 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), Faculty of Computer Science TU Dresden, Technische Universität Dresden = Dresden University of Technology (TU Dresden), ANR-18-CE23-0003,CQFD,Requêtes Ontologiques Complexes sur des Fédérations de Données Hétérogènese(2018)

المصدر: Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems ; SIGMOD/PODS 2023 - International Conference on Management of Data ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04320944 ; SIGMOD/PODS 2023 - International Conference on Management of Data, Jul 2023, Seattle, WA, United States. pp.291-302, ⟨10.1145/3584372.3588659⟩ ; https://2023.sigmod.org/

مصطلحات موضوعية: Chase, Core, Universal Models, Treewidth, Existential rules, Tuple-generating dependencies, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

جغرافية الموضوع: Seattle, WA, United States

الاتاحة: https://hal-lirmm.ccsd.cnrs.fr/lirmm-04320944
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04320944v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04320944v1/file/main-pods.pdf
https://doi.org/10.1145/3584372.3588659

المؤلفون: Feller, Thomas, Lyon, Tim S., Ostropolski-Nalewaja, Piotr, Rudolph, Sebastian

المساهمون: Thomas Feller and Tim S. Lyon and Piotr Ostropolski-Nalewaja and Sebastian Rudolph

مصطلحات موضوعية: existential rules, TGDs, cliquewidth, treewidth, bounded-treewidth sets, finite-unification sets, first-order rewritability, monadic second-order logic, datalog

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 255, 26th International Conference on Database Theory (ICDT 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2023.18

الاتاحة: https://doi.org/10.4230/LIPIcs.ICDT.2023.18
https://nbn-resolving.org/urn:nbn:de:0030-drops-177602
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2023.18

المؤلفون: Marx, Maximilian, Krötzsch, Markus

المساهمون: Maximilian Marx and Markus Krötzsch

مصطلحات موضوعية: terminating standard chase, existential rules, Datalog, complexity

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 220, 25th International Conference on Database Theory (ICDT 2022); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2022.13

الاتاحة: https://doi.org/10.4230/LIPIcs.ICDT.2022.13
https://nbn-resolving.org/urn:nbn:de:0030-drops-158876
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2022.13

المؤلفون: Morak, Michael

المساهمون: Gottlob, Georg

مصطلحات موضوعية: 006.3, Knowledge Representation, Logic, Ontological Reasoning, Artificial Intelligence, Databases, Description Logics, Existential Rules, Disjunction, Complexity, Tuple-Generating Dependencies

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711691

المؤلفون: Bienvenu, Meghyn, Leclère, Michel, Mugnier, Marie-Laure, Rousset, Marie-Christine

المساهمون: Graphs for Inferences on Knowledge (GRAPHIK), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-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 Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019)

المصدر: A Guided Tour of Artificial Intelligence Research ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02922020 ; A Guided Tour of Artificial Intelligence Research, pp.185-215, 2020, Volume I: Knowledge Representation, Reasoning and Learning, 978-3-030-06163-0. ⟨10.1007/978-3-030-06164-7_6⟩

مصطلحات موضوعية: Ontologies, Knowledge Representation and Reasoning, Description Logics, Conceptual Graphs, Existential Rules, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

الاتاحة: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02922020
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02922020v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02922020v1/file/guided-tour-AI-chapter-6.pdf
https://doi.org/10.1007/978-3-030-06164-7_6

المؤلفون: Yun, Bruno, Croitoru, Madalina

المساهمون: University of Aberdeen, Graphs for Inferences on Knowledge (GRAPHIK), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-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)

المصدر: ICCS 2020 - 25th International Conference on Conceptual Structures ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02613466 ; ICCS 2020 - 25th International Conference on Conceptual Structures, Sep 2020, Bolzano / Virtual, Italy. pp.33-47, ⟨10.1007/978-3-030-57855-8_3⟩ ; https://iccs-conference.org/?page_id=17

مصطلحات موضوعية: Repairs, Knowledge Base, Existential Rules, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

جغرافية الموضوع: Bolzano / Virtual, Italy

الاتاحة: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02613466
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02613466v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02613466v1/file/ICCS2020.pdf
https://doi.org/10.1007/978-3-030-57855-8_3

المؤلفون: Delivorias, Stathis, Leclère, Michel, Mugnier, Marie-Laure, Ulliana, Federico

المساهمون: Graphs for Inferences on Knowledge (GRAPHIK), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-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), University of Montpellier

المصدر: ISSN: 1471-0684.

مصطلحات موضوعية: Existential rules, TGD, Chase, Boundedness, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2004.10030; ARXIV: 2004.10030

الاتاحة: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02920610
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02920610v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02920610v1/file/TPLPJournal-accepted-arxiv.pdf
https://doi.org/10.1017/S1471068420000083

المؤلفون: Leclère, Michel, Mugnier, Marie-Laure, Thomazo, Michaël, Ulliana, Federico

المساهمون: Graphs for Inferences on Knowledge (GRAPHIK), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-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), 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)

المصدر: ICDT 2019 - 22nd International Conference on Database Theory ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02148200 ; ICDT 2019 - 22nd International Conference on Database Theory, Mar 2019, Lisbonne, Portugal. pp.18:1--18:19, ⟨10.4230/LIPIcs.ICDT.2019.18⟩ ; https://drops.dagstuhl.de/opus/volltexte/2019/10320/

مصطلحات موضوعية: Chase, Tuple Generating Dependencies, Existential rules, Decidability, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

جغرافية الموضوع: Lisbonne, Portugal

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1810.02132; ARXIV: 1810.02132

الاتاحة: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02148200
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02148200v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02148200v1/file/LIPIcs-ICDT-2019-18.pdf
https://doi.org/10.4230/LIPIcs.ICDT.2019.18

المؤلفون: Krötzsch, Markus, Marx, Maximilian, Rudolph, Sebastian

المساهمون: Markus Krötzsch and Maximilian Marx and Sebastian Rudolph

مصطلحات موضوعية: Existential rules, Tuple-generating dependencies, all-instances chase termination, expressive power, data complexity

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 127, 22nd International Conference on Database Theory (ICDT 2019); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2019.3

الاتاحة: https://doi.org/10.4230/LIPIcs.ICDT.2019.3
https://nbn-resolving.org/urn:nbn:de:0030-drops-103057
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2019.3

المؤلفون: Delivorias, Stathis, Leclère, Michel, Mugnier, Marie-Laure, Ulliana, Federico

المساهمون: Graphs for Inferences on Knowledge (GRAPHIK), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-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)

المصدر: 2nd International Joint Conference on Rules and Reasoning
RuleML+RR
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01921140
RuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.48-64, ⟨10.1007/978-3-319-99906-7_4⟩
http://2018.ruleml-rr.org/

مصطلحات موضوعية: Knowledge Representation and Reasoning, Datalog +, Existential Rules, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

جغرافية الموضوع: Luxembourg

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1810.09304; ARXIV: 1810.09304

الاتاحة: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01921140
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01921140v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01921140v1/file/1810.09304.pdf
https://doi.org/10.1007/978-3-319-99906-7_4

المؤلفون: Hecham, Abdelraouf, Bisquert, Pierre, Croitoru, Madalina

المساهمون: Graphs for Inferences on Knowledge (GRAPHIK), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-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), Ingénierie des Agro-polymères et Technologies Émergentes (UMR IATE), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut National de la Recherche Agronomique (INRA)-Université Montpellier 2 - Sciences et Techniques (UM2)-Centre international d'études supérieures en sciences agronomiques (Montpellier SupAgro)-Université de Montpellier (UM)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), European Project: 688338,H2020,H2020-WASTE-2015-two-stage,NoAW(2016)

المصدر: AAMAS 2018 - 17th International Conference on Autonomous Agents and MultiAgent Systems ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01894742 ; AAMAS 2018 - 17th International Conference on Autonomous Agents and MultiAgent Systems, Jul 2018, Stockholm, Sweden. pp.1123-1131, ⟨10.5555/3237383.3237863⟩ ; http://celweb.vuse.vanderbilt.edu/aamas18/

مصطلحات موضوعية: Defeasible Reasoning, Defeasible Logics, Existential Rules, [INFO]Computer Science [cs], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

جغرافية الموضوع: Stockholm, Sweden

Time: Stockholm, Sweden

Relation: info:eu-repo/grantAgreement//688338/EU/Innovative approaches to turn agricultural waste into ecological and economic assets/NoAW; PRODINRA: 451075; WOS: 000468231300133

الاتاحة: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01894742
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01894742v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01894742v1/file/hecham2018onaflexible.pdf
https://doi.org/10.5555/3237383.3237863

المؤلفون: Yun, Bruno, Croitoru, Madalina, Vesic, Srdjan, Bisquert, Pierre

المساهمون: Graphs for Inferences on Knowledge (GRAPHIK), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-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), Centre de Recherche en Informatique de Lens (CRIL), Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS)

المصدر: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems ; AAMAS 2018 - 17th International Conference on Autonomous Agents and MultiAgent Systems ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892588 ; AAMAS 2018 - 17th International Conference on Autonomous Agents and MultiAgent Systems, Jul 2018, Stockholm, Sweden. pp.1841-1843, ⟨10.5555/3237383.3237996⟩ ; http://dl.acm.org/citation.cfm?id=3237996

مصطلحات موضوعية: argumentation graph generator, logic based argumentation frameworks, existential rules, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

جغرافية الموضوع: Stockholm, Sweden

Time: Stockholm, Sweden

Relation: PRODINRA: 480225; WOS: 000468231300245

الاتاحة: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892588
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892588v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892588v1/file/CR-AAMAS.pdf
https://doi.org/10.5555/3237383.3237996

المؤلفون: Ahmetaj, Shqiponja, Ortiz, Magdalena, Simkus, Mantas

المساهمون: Shqiponja Ahmetaj and Magdalena Ortiz and Mantas Simkus

مصطلحات موضوعية: Existential rules, Expressiveness, Descriptive Complexity, Query Rewriting

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 98, 21st International Conference on Database Theory (ICDT 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2018.4

الاتاحة: https://doi.org/10.4230/LIPIcs.ICDT.2018.4
https://nbn-resolving.org/urn:nbn:de:0030-drops-85950
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2018.4