Relating Two Dialects of Answer Set Programming

DOI10.1017/S1471068419000322zbMath1434.68074arXiv1907.12139OpenAlexW3100629232WikidataQ127225752 ScholiaQ127225752MaRDI QIDQ5108518

Vladimir Lifschitz, Amelia Harrison

Publication date: 4 May 2020

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1907.12139

zbMATH Keywords

answer set programmingaggregatesstable modelsanswer set solvers

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (2)

ASP-Core-2 Input Language Format ⋮ Vicious circle principle, aggregates, and formation of sets in ASP based languages

Uses Software

• Gringo
• Clingo

Cites Work

• Semantics and complexity of recursive aggregates in answer set programming
• Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
• A generalization of the Lin-Zhao theorem
• Infinitary equilibrium logic and strongly equivalent logic programs
• Connecting First-Order ASP and the Logic FO(ID) through Reducts
• Vicious Circle Principle and Logic Programs with Aggregates
• Abstract gringo
• Logics in Artificial Intelligence
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: Relating Two Dialects of Answer Set Programming