Skip to Main content Skip to Navigation
 

Search

GraphiK

 Graphs for Inferences on Knowledge

Consult your copyright

Number of Files

302

Nomber of Notices

180

Collaborations’ map

Tags

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