HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation



 Graphs for Inferences on Knowledge

Consult your copyright

Number of Files


Nomber of Notices


Collaborations’ map


Graphs Déduction Blé dur Bioprocess eco-design Negation Reverse engineering Ontologies CONCEPTUAL GRAPHS SPARQL Sustainability Semantic web Animal food product Conjunctive Queries with Negation Critère de choix Datalog+ Knowledge representation Complexity Artificial Intelligence Description Logics Acyclicity Algorithms Informatique Ontology-Based Data Access Databases Decision making Homomorphism Ontology Annotation Intelligence artificielle Existential rules Expert knowledge Conceptual graphs Decision support system Explanation Analyse multicritère Information integration Query rewriting Agent-based simulation Ontologie TGD Knowledge bases First-order logic Applications Argumentation tool Algorithm Agrifood chain control Argumentation Decision Support System Semantic Web Knowledge engineering Logic-based argumentation OWL Aide à la décision Existential Rules Data integration Flexible querying Conceptual graph Query answering Knowledge Representation and Reasoning Boundedness Decision support Rules RDF ASPIC+ Knowledge integration Graphes Algorithme Argumentation framework Alternative Inconsistency Agroalimentaire Conceptual Graphs TOPIC MAPS Food packaging Homomorphisme Decidability Règles existentielles Argumentation systems Argumentation Framework Outil d'aide à la décision Base de connaissances Knowledge Representation Reasoning Modeling Représentation des connaissances Artificial intelligence Knowledge management Query language Preferences Backward chaining Graphes conceptuels Chase Intelligence Artificielle Selection criterion Graphes Conceptuels RDFS Experiments Heuristics Knowledge base Deduction