Gelfond-Zhang aggregates as propositional formulas

DOI10.1007/978-3-319-61660-5_12zbMath1491.68198OpenAlexW3049363340MaRDI QIDQ5920076

Sebastian Schellhorn, Torsten Schaub, Pedro Cabalar, Jorge Fandinno

Publication date: 5 September 2017

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10072/391182

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates ⋮ Autoepistemic answer set programming ⋮ Vicious circle principle, aggregates, and formation of sets in ASP based languages