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

94 %

Number of full texts

44

Number of records

6

Publishers' policy on open archives

Mapping of Collaborations

Tags

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