Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: RICHARD TAUPE, ANTONIUS WEINZIERL, GERHARD FRIEDRICH

Journal title: Theory and Practice of Logic Programming

Journal number: 20/5

Journal publisher: Cambridge University Press

Published year: 2020

Published pages: 799-814

DOI identifier: 10.1017/s1471068420000368

ISSN:1471-0684

Results type(s)
Unfold all
/
Fold all
Report - Video - Presentation - Publication....?
Structured mapping
Unfold all
/
Fold all