Theory and Practice of Logic Programming · 2019 · 130 citations · 17 references
ComputingComputer ScienceArtificial IntelligenceKnowledge RepresentationProgramming LanguagesAbstract Syntax TreesDomain-specific LanguagesIntermediate RepresentationLogic ProgrammingProgramming Language ImplementationSpecification LanguagesAnswer Set ProgrammingKnowledge Representation Standards
Abstract Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual applications. In this document, we present the ASP-CORE-2 standard input language for Answer Set Programming, which has been adopted in ASP Competition events since 2013.
17
Extending and implementing the stable model semantics
Patrik Simons, Ilkka Niemelä, Timo Soininen · Artificial Intelligence · 2002 · 850 citations
Applications of Answer Set Programming
Esra Erdem, Michael Gelfond, Nicola Leone · AI Magazine · 2016 · 208 citations · Full text