Declarative encodings of acyclicity properties

DOI10.1093/logcom/exv063zbMath1487.68222OpenAlexW2140752558MaRDI QIDQ3304093

Tomi Janhunen, Jussi Rintanen, Martin Gebser

Publication date: 5 August 2020

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://aaltodoc.aalto.fi/handle/123456789/35008

zbMATH Keywords

satisfiabilityanswer set programmingacyclicity propertieslogic-based modeling

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Related Items (2)

Answer Set Programming Modulo Acyclicity ⋮ Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination

This page was built for publication: Declarative encodings of acyclicity properties