scientific article; zbMATH DE number 7455723

MaRDI QIDQ5020986

Antoaneta Kondeva, Vivek Nigam, Yuri Gil Dantas

Publication date: 11 January 2022

Full work available at URL: https://arxiv.org/abs/2009.10251

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• Datalog

Cites Work

• Knowledge Representation, Reasoning and Declarative Problem Solving
• The well-founded semantics for general logic programs
• The DLV system for knowledge representation and reasoning

This page was built for publication: