2018/08/21 by Michael Gelfond, Gelfond, Michael, Yuanlin Zhang +1
Computer Science · Mathematics · #Advanced Database Systems and Queries #Algebra over a field #Algorithm #Artificial Intelligence (cs.AI) #Artificial intelligence #Computer science #Discrete mathematics #Epistemology #FOS: Computer and information sciences #Knowledge representation and reasoning #Logic, Reasoning, and Knowledge #Mathematics #Philosophy #Programming language #Pure mathematics #Representation (politics) #Semantic Web and Ontologies #Semantics (computer science) #Simple (philosophy) #Syntax #Theoretical computer science #Virtuous circle and vicious circle #cs.AI
paper · pdf · doi:10.48550/arxiv.1808.07050
arXiv admin note: text overlap with arXiv:1405.3637
arxiv created 2018/08/21 · openalex publication_date 2018/08/21 · arxiv updated 2018/08/23 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/06
The paper presents a knowledge representation language Alog which extends ASP with aggregates. The goal is to have a language based on simple syntax and clear intuitive and mathematical semantics. We give some properties of Alog, an algorithm for computing its answer sets, and comparison with other approaches.