scientific article; zbMATH DE number 6747863
From MaRDI portal
Publication:5282952
zbMath1366.68299arXiv1407.6885MaRDI QIDQ5282952
Jean-François Baget, Marie-Laure Mugnier, Swan Rocher, Fabien Garreau
Publication date: 18 July 2017
Full work available at URL: https://arxiv.org/abs/1407.6885
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin ⋮ A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling ⋮ Recent Advances in Datalog$$^\pm $$ ⋮ Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation ⋮ Characterizing Boundedness in Chase Variants ⋮ $$\exists $$ -ASP for Computing Repairs with Existential Ontologies
This page was built for publication: