Loading...
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