Logic Programming

DOI10.1007/b94619zbMath1204.68051OpenAlexW2889864133MaRDI QIDQ5191486

Enrico Pontelli, Agostino Dovier, Gianfranco Rossi

Publication date: 6 August 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94619

zbMATH Keywords

constraint logic programmingaggregates

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (5)

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates ⋮ Automated reasoning with restricted intensional sets ⋮ Unnamed Item ⋮ Vicious circle principle, aggregates, and formation of sets in ASP based languages ⋮ Logic programming with infinite sets

This page was built for publication: Logic Programming