Les systèmes d’information actuels sont basés sur l’exploitation de données provenant d’un nombre croissant de sources hétérogènes. Pour maîtriser la variété des données, il est nécessaire de développer des paradigmes d’accès aux données qui s’adaptent aux différents types de sources, ainsi que des langages déclaratifs de haut niveau assurant le traitement de ces données et leur qualité. L’équipe BOREAL s’intéresse aux problématiques de raisonnement, à la fois fondamentales et appliquées, dans un contexte de variété des données. Son expertise en représentation de connaissances et raisonnement automatique est mise au service de la conception de nouvelles techniques pour la gestion de données hétérogènes et fédérées, qui s’appuient en particulier sur des langages expressifs à base de règles.

Open Access Files

94 %

Nombre de Fichiers déposés

44

Nombre de Notices déposées

6

Politique des éditeurs en matière de dépôt dans une archive ouverte

Cartographie des collaborations

Tags

Constraint translation Ecosystem service Logic and computation Annotated databases Apprentissage automatique Inconsistency handling Existential rules Causality Service crop Computer science INRAE Computational aspects of knowledge representation Informatique First-order logic Ethics Knowledge discovery Ontology-based data access Gestion des données basée sur des connaissances Knowledge Base Chase Approximation HyperLTL Reasoning with Existential Rules Knowledge Representation Answer Set Programming Benchmarking Enumeration Query rewriting Disjunctive Chase Termination Database theory Collaborative planning Computability Theory Automated planning Integrity constraints Accès aux données médiatisé par une ontologie Gradual Semantics Rules Factorised databases Machine learning Ontology Data Integration Fine-grained complexity Food Decidability Food packaging ASP Argumentation Cheesemaking Ethique des machines Human-aware task planning Join queries Knowledge reasoning Knowledge Representation and Reasoning Logique Logic Data Quality Complexity Expert knowledge Aggregate queries Databases Logic programming Computational complexity of reasoning Machine ethics Graph based Knowledge Representation and Reasoning Linked open data Database repairs Mapping Logic Functional Diagram Database inconsistency Know-how Knowledge graph Agroécologie Existential Rules Knowledge representation Knowledge representation languages Decision support systems Database query processing and optimization theory Knowledge representation and reasoning Agroecology Reasoning Lexicographic ordering Food Compositional parameters Probabilistic model Disjunctive existential rules Direct access Bayesian Network Knowledge based data management Datalog Ontologies LTL Conjunctive queries CO2 Solubility Hypertree decomposition Functional dependencies Disjunctive Existential Rules Expertise integration Hyperproperties Knowledge Integration Core Functional trait