scientific article; zbMATH DE number 7453150

MaRDI QIDQ5020596FDOQ5020596

Marco de Bortoli

Publication date: 6 January 2022

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• GASP: Answer Set Programming with Lazy Grounding
• The Semantics of Predicate Logic as a Programming Language
• An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
• Graphs and colorings for answer set programming
• Experimenting with parallelism for the instantiation of ASP programs

Cited In (1)

• A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems

Uses Software

• MapReduce
• GASP
• Clingo

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020596)