A Sound and Complete Backward Chaining Algorithm for Existential Rules
type: Dataset
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-aicomputer-science-csartificial-intelligence-csai
keyword: backward-chaining
keyword: existential-rule
keyword: rewriting
landing page: Web Reasoning and Rule Systems
description: International audience
issued: 2026-05-09T02:58:25.085268
language: en
modified: 2026-05-09T02:58:25.085271

A Sound and Complete Backward Chaining Algorithm for Existential Rules
type: Distribution
access URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00764341
format: HTML
issued: 2026-05-09T02:58:25.093378
modified: 2026-05-09T02:58:25.078103

test_moissonnage_selune
type: Agent