Open AccessAxiomatization of Aggregates in Answer Set Programming
Author(s) -
Jorge Fandinno,
Zachary Hansen,
Yuliya Lierler
Publication year - 2022
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v36i5.20504
Subject(s) - generalization , axiom , characterization (materials science) , aggregate (composite) , semantics (computer science) , recursion (computer science) , set (abstract data type) , programming language , operator (biology) , computer science , solver , operational semantics , well founded semantics , theoretical computer science , algebra over a field , mathematics , denotational semantics , pure mathematics , mathematical analysis , biochemistry , chemistry , materials science , geometry , repressor , transcription factor , composite material , gene , nanotechnology