index - Graphs for Inferences on Knowledge


Research of the AlGCo team is focused on theoretical and algorithmic investigations of classical combinatorial structures: mainly graphs, but also signed graphs, directed graphs, matroids, oriented matroids… Our motivations are fundamental (questions about partitioning, coloring, embedding, isomorphisms, bijections…), algorithmic (notably related to parametrized complexity: fixed-parameter-tractable algorithms, existence of polynomial kernels), or applied in connection with other domains (computational biology, imaging, morphometry, network modelization, data science, artificial intelligence…).

Open Access Files

Chargement de la page

Number of full texts

347

Number of records

149

Publishers' policy on open archives

Mapping of collaborations

Tags

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