scientific article; zbMATH DE number 6747863

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.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

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: