First-Order Stable Model Semantics with Intensional Functions

15 July 2023

Papers citing "First-Order Stable Model Semantics with Intensional Functions"

5 / 5 papers shown

Title
Relating Answer Set Programming and Many-sorted Logics for Formal Verification Zachary Hansen LRM 109 0 0 13 Feb 2025
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence Jorge Fandinno Zachary Hansen 70 0 0 14 Dec 2024
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment Giovanni Amendola Tobias Berei Giuseppe Mazzotta Francesco Ricca 39 1 0 04 Jan 2024
Positive Dependency Graphs Revisited Jorge Fandinno Vladimir Lifschitz 13 1 0 18 Jul 2022
ASP(AC): Answer Set Programming with Algebraic Constraints Thomas Eiter Rafael Kiesel 12 4 0 10 Aug 2020