FOLASP: FO(·) as Input Language for Answer Set Solvers

DOI10.1017/s1471068421000351zbMath1530.68060arXiv2108.04020OpenAlexW3214918040MaRDI QIDQ6063868

Jo Devriendt, Unnamed Author, Joost Vennekens

Publication date: 12 December 2023

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

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

zbMATH Keywords

first-order logicdeclarative programminganswer-set programming

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Design and results of the Fifth Answer Set Programming Competition
• The well-founded semantics for general logic programs
• The Seventh Answer Set Programming Competition: Design and Results
• ASP-Core-2 Input Language Format
• Lazy Model Expansion: Interleaving Grounding with Search
• Multi-shot ASP solving with clingo
• The DLV system for knowledge representation and reasoning
• A logic of nonmonotone inductive definitions
• Logics in Artificial Intelligence
• A Tarskian Informal Semantics for Answer Set Programming

This page was built for publication: FOLASP: FO(·) as Input Language for Answer Set Solvers