Login / Signup

CosyVerif: The Path to Formalisms Cohabitation.

Étienne AndréJaime AriasBenoît BarbotFrancis Hulin-HubardFabrice KordonVan-François LeLaure Petrucci
Published in: Petri Nets (2024)
Keyphrases
  • shortest path
  • logic programming
  • knowledge representation
  • reasoning tasks
  • image segmentation
  • endpoints
  • knowledge representation formalisms