-
1Report
-
2
المؤلفون: Doherty, Patrick, Szalas, Andrzej
المصدر: Artificial Intelligence. 326
مصطلحات موضوعية: Knowledge representation and reasoning, Forgetting, Weakest sufficient conditions, Strongest necessary conditions, Quantifier elimination
وصف الملف: electronic
-
3Conference
المؤلفون: Glotin, Maxence, Travé-Massuyès, Louise, Chanthery, Elodie
المساهمون: Équipe DIagnostic, Supervision et COnduite (LAAS-DISCO), Laboratoire d'analyse et d'architecture des systèmes (LAAS), 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 National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)
المصدر: The 35th International Conference on Principles of Diagnosis and Resilient Systems (DX'24) ; https://laas.hal.science/hal-04777448 ; The 35th International Conference on Principles of Diagnosis and Resilient Systems (DX'24), Nov 2024, Vienna (Autriche), Austria. ⟨10.4230/OASIcs.DX.2024.13⟩
مصطلحات موضوعية: 2012 ACM Subject Classification Computing methodologies → Knowledge representation and reasoning Structural analysis MTES sets MSO sets Digital Object Identifier 10.4230/OASIcs.DX.2024.13, 2012 ACM Subject Classification Computing methodologies → Knowledge representation and reasoning Structural analysis, MTES sets, MSO sets, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering
جغرافية الموضوع: Vienna (Autriche), Austria
-
4Conference
المؤلفون: Merkelbach, Silke, Diedrich, Alexander, Sztyber-Betley, Anna, Travé-Massuyès, Louise, Chanthery, Elodie, Niggemann, Oliver, Dumitrescu, Roman
المساهمون: Fraunhofer IEM, Paderborn, Germany, Helmut-Schmidt-University/University of the Federal Armed Forces Hamburg, Germany, Warsaw University of Technology, Warsaw, Poland, Laboratoire d'analyse et d'architecture des systèmes (LAAS), 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 National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT), Équipe DIagnostic, Supervision et COnduite (LAAS-DISCO), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Helmut Schmidt University, University of the Armed Forces Hamburg, Advanced Systems Engineering, Paderborn University, Paderborn, Germany, ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019)
المصدر: The 35th International Conference on Principles of Diagnosis and Resilient Systems (DX'24) ; https://laas.hal.science/hal-04777473 ; The 35th International Conference on Principles of Diagnosis and Resilient Systems (DX'24), Nov 2024, vienna, Austria. ⟨10.4230/OASIcs.DX.2024.6⟩
مصطلحات موضوعية: 2012 ACM Subject Classification Computing methodologies → Knowledge representation and reasoning Fault Diagnosis Large Language Models LLMs Physical Modelling Process Industry P&, amp, IDs Digital Object Identifier 10.4230/OASIcs.DX.2024, 2012 ACM Subject Classification Computing methodologies → Knowledge representation and reasoning Fault Diagnosis, Large Language Models, LLMs, Physical Modelling, Process Industry, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
-
5Dissertation/ Thesis
المؤلفون: Del-Pinto, Warren
المساهمون: Schmidt, Renate
-
6Conference
المؤلفون: Dupin de Saint-Cyr, Florence, Bisquert, Pierre
المساهمون: 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), Equipe COgnition, Models and Machines for Engaging Digital Interactive Applications (Lab-STICC_COMMEDIA), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), 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)
المصدر: Frontiers in Artificial Intelligence and Applications ; ECAI 2024 - 27th European Conference on Artificial Intelligence ; https://hal.science/hal-04669429 ; ECAI 2024 - 27th European Conference on Artificial Intelligence, Oct 2024, Santiago de Compostela, Spain. pp.1309-1316, ⟨10.3233/FAIA240629⟩
مصطلحات موضوعية: Knowledge representation and reasoning, Non-Monotonic reasoning, Inconsistency handling, Syntax-based approaches, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
جغرافية الموضوع: Santiago de Compostela, Spain
-
7Conference
المؤلفون: Ulliana, Federico, Bisquert, Pierre, Charoensit, Akira, Colin, Renaud, Tornil, Florent, Yeche, Quentin
المساهمون: 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), Mathématiques, Informatique et STatistique pour l'Environnement et l'Agronomie (MISTEA), 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), Observation de la terre et apprentissage machine pour les défis agro-environnementaux (EVERGREEN), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Territoires, Environnement, Télédétection et Information Spatiale (UMR TETIS), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-AgroParisTech-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-AgroParisTech-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Atos, Inria-DFKI bilateral project R4Agri, ANR-18-CE23-0003,CQFD,Requêtes Ontologiques Complexes sur des Fédérations de Données Hétérogènese(2018)
المصدر: RuleML+RR 2024 - 8th International Joint Conference on Rules and Reasoning ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04670543 ; RuleML+RR 2024 - 8th International Joint Conference on Rules and Reasoning, Sep 2024, Bucarest, Romania. pp.21-31, ⟨10.1007/978-3-031-72407-7_3⟩
مصطلحات موضوعية: Benchmarking, Rule based systems, Knowledge representation and reasoning, [INFO]Computer Science [cs]
-
8Book
المؤلفون: Jessica Russ-Smith, Michelle Lazarus
مصطلحات موضوعية: Sociology and social studies of science and technology, Sociology of inequalities, Aboriginal and Torres Strait Islander culture, language and history not elsewhere classified, Aboriginal and Torres Strait Islander computing technology use and design, Aboriginal and Torres Strait Islander sciences not elsewhere classified, Intelligent robotics, Knowledge representation and reasoning, Planning and decision making, Artificial intelligence not elsewhere classified, AI, Artificial intelligence, Life Centred Design, Robotics, ChatGPT, LLM, Futurism, Copyright, AI development, Algorithms, Ethics, Identity, AI and Indigenous knowledges, Machine Learning, Deep Fakes, AI and bias, AI and society, AI learning, AI and power
-
9Conference
المؤلفون: Andrew Cox
مصطلحات موضوعية: Knowledge representation and reasoning, Artificial intelligence not elsewhere classified, Artificial intelligence - Library applications, Artificial intelligence - strategy
-
10Conference
المؤلفون: Maud Bernard-Verdier, Lars Vogt
مصطلحات موضوعية: Ecology not elsewhere classified, Biosecurity science and invasive species ecology, Knowledge representation and reasoning, Semantic Modeling, ORKG, Knowledge graphs, Scientific Publishing, FAIR Data Publishing recommendations, open science platform, Invasion biology, Knowledge synthesis
-
11Conference
المؤلفون: Derek Groen
مصطلحات موضوعية: Autonomous agents and multiagent systems, Knowledge representation and reasoning, Modelling and simulation, Planning and decision making, Artificial intelligence not elsewhere classified, Uncertainty, Artificial Intelligence, Machine Learning
-
12Conference
المؤلفون: Barbara Draghi
مصطلحات موضوعية: Autonomous agents and multiagent systems, Knowledge representation and reasoning, Modelling and simulation, Planning and decision making, Artificial intelligence not elsewhere classified, Machine Learning, Artificial Intelligence
-
13Conference
المؤلفون: Anastasia Anagnostou, Allan Tucker
مصطلحات موضوعية: Autonomous agents and multiagent systems, Knowledge representation and reasoning, Modelling and simulation, Planning and decision making, Artificial intelligence not elsewhere classified, Machine Learning, Artificial Intelligence
-
14Conference
المؤلفون: Bazouzi, Aymen, Le Capitaine, Hoël, Miklos, Zoltan, Foursov, Mickaël
المساهمون: 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), Declarative & Reliable management of Uncertain, user-generated Interlinked Data (DRUID), GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), 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), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Data User Knowledge (LS2N - équipe DUKe), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)
المصدر: International Conference on Information Technology for Social Good (GoodIT ’24) ; https://hal.science/hal-04654407 ; International Conference on Information Technology for Social Good (GoodIT ’24), Sep 2024, Bremen, Germany. ⟨10.1145/3677525.3678686⟩
مصطلحات موضوعية: Knowledge graphs, Graph Machine Learning, Knowledge representation and reasoning, Educational Resources, [INFO.EIAH]Computer Science [cs]/Technology for Human Learning, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing, [SHS.EDU]Humanities and Social Sciences/Education
Relation: hal-04654407; https://hal.science/hal-04654407; https://hal.science/hal-04654407/document; https://hal.science/hal-04654407/file/goodit24-55.pdf
-
15Conference
المؤلفون: Callewaert, Benjamin, Vandevelde, Simon, Comenda, Nuno, Coppens, Bart, Decleyre, Nicholas, Vennekens, Joost
مصطلحات موضوعية: Design and Architectures of Data-Centric and Knowledge Based Systems, domain modeling, feautre modeling, knowledge-based systems, knowledge representation and reasoning
وصف الملف: application/pdf
Relation: Proceedings of the 57th Hawaii International Conference on System Sciences; dcbb6bb3-d06d-4356-8831-afe7313c062a; https://hdl.handle.net/10125/107010
الاتاحة: https://hdl.handle.net/10125/107010
-
16Conference
المؤلفون: Acitelli G., Agostinelli S., Casciani A., Marrella A.
المساهمون: Acitelli, G., Agostinelli, S., Casciani, A., Marrella, A.
مصطلحات موضوعية: AI Planning, AI-augmented Business Process Management System (ABPMS), Conversational AI, Knowledge Representation and Reasoning, Process Framing, Robotic Process Automation, Sense-Think-Act Cycle
Relation: ispartofbook:Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024); 3rd International Workshop on Process Management in the AI Era, PMAI 2024; volume:3779; firstpage:5; lastpage:10; numberofpages:6; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/11573/1724587
الاتاحة: https://hdl.handle.net/11573/1724587
-
17
-
18Conference
المؤلفون: Alison Harper
مصطلحات موضوعية: Autonomous agents and multiagent systems, Knowledge representation and reasoning, Modelling and simulation, Open access, Machine Learning, Artificial Intelligence
-
19Conference
المؤلفون: Isabel Sassoon
مصطلحات موضوعية: Autonomous agents and multiagent systems, Knowledge representation and reasoning, Modelling and simulation, Machine Learning, Artificial Intelligence
-
20Conference
المؤلفون: Kate Mintram
مصطلحات موضوعية: Autonomous agents and multiagent systems, Knowledge representation and reasoning, Modelling and simulation, Planning and decision making, Artificial intelligence not elsewhere classified, Machine Learning, Artifial Intelligence