When You Must Forget: Beyond Strong Persistence When Forgetting in Answer Set Programming

AuthID
P-00N-41F
4
Author(s)
Document Type
Article
Year published
2017
Published
in THEORY AND PRACTICE OF LOGIC PROGRAMMING, ISSN: 1471-0684
Volume: 17, Issue: 5-6, Pages: 837-854 (18)
Conference
33Rd International Conference on Logic Programming Colocated with the 23Rd International Conference on Principles and Practice of Constraint Programming / 20Th International Conference on Theory and Applications of Satisfiability Testing, Date: AUG 28-SEP 01, 2017, Location: Melbourne, AUSTRALIA, Sponsors: Assoc Log Programming, Assoc Constraint Programming, Monash Univ, Univ Melbourne, CSIRO Data61, COSYTEC, Satalia, Google
Indexing
Publication Identifiers
Wos: WOS:000412567800010
Source Identifiers
ISSN: 1471-0684
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.