Axiomatization of Aggregates in Answer Set Programming | Zendy

Jorge Fandinno | Zendy; Zachary Hansen | Zendy; Yuliya Lierler | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Axiomatization 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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research