index - Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données


Current information systems are grounded on the exploitation of data coming from an increasing number of heterogeneous sources. Coping with the variety of data requires paradigms for effectively accessing and querying information that adapt to the different types of sources, as well as declarative high-level languages to drive the data processing and data quality tasks. The BOREAL team focuses on the study of foundational and applied issues of reasoning, in a context of data variety. The team builds upon its expertise in knowledge representation and automated reasoning to devise novel techniques for heterogeneous and federated data management which leverage in particular on expressive rule languages.

Open Access Files

98 %

Number of full texts

44

Number of records

4

Publishers' policy on open archives

Mapping of Collaborations

Tags

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