Achievements in answer set programming

DOI10.1017/S1471068417000345zbMath1422.68027arXiv1608.08144OpenAlexW2624964952MaRDI QIDQ4592719

Vladimir Lifschitz

Publication date: 8 November 2017

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

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

zbMATH Keywords

answer set programmingprogramming methodologyteaching logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

Towards Verifying Logic Programs in the Input Language of clingo ⋮ Answer set programming made easy ⋮ Modular Answer Set Programming as a Formal Specification Language ⋮ Answering the “why” in answer set programming – A survey of explanation approaches

Uses Software

• Gringo

Cites Work

• Unnamed Item
• Unnamed Item
• Logic programs with stable model semantics as a constraint programming paradigm
• Inferring phylogenetic trees using answer set programming
• Representing action and change by logic programs
• Abstract gringo

This page was built for publication: Achievements in answer set programming