Picture for Nicolas Troquard

Nicolas Troquard

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks

Add code
Apr 30, 2024
Figure 1 for A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Figure 2 for A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Figure 3 for A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Figure 4 for A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Viaarxiv icon

Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)

Add code
Dec 15, 2023
Figure 1 for Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)
Viaarxiv icon

A Semantic Approach to Decidability in Epistemic Planning (Extended Version)

Add code
Jul 28, 2023
Viaarxiv icon

Learning Ontologies with Epistemic Reasoning: The EL Case

Add code
Feb 08, 2019
Figure 1 for Learning Ontologies with Epistemic Reasoning: The EL Case
Viaarxiv icon

Repairing Ontologies via Axiom Weakening

Add code
Nov 09, 2017
Figure 1 for Repairing Ontologies via Axiom Weakening
Figure 2 for Repairing Ontologies via Axiom Weakening
Figure 3 for Repairing Ontologies via Axiom Weakening
Viaarxiv icon

Non-normal modalities in variants of Linear Logic

Add code
Sep 04, 2015
Figure 1 for Non-normal modalities in variants of Linear Logic
Figure 2 for Non-normal modalities in variants of Linear Logic
Figure 3 for Non-normal modalities in variants of Linear Logic
Figure 4 for Non-normal modalities in variants of Linear Logic
Viaarxiv icon