research
∙
07/15/2023
Safe Formulas in the General Theory of Stable Models
Safe first-order formulas generalize the concept of a safe rule, which p...
share
research
∙
05/27/2023
External Behavior of a Logic Program and Verification of Refactoring
Refactoring is modifying a program without changing its external behavio...
research
∙
05/24/2023
On Program Completion, with an Application to the Sum and Product Puzzle
This paper describes a generalization of Clark's completion that is appl...
research
∙
07/18/2022
Positive Dependency Graphs Revisited
Theory of stable models is the mathematical basis of answer set programm...
research
∙
05/16/2022
Strong Equivalence of Logic Programs with Counting
In answer set programming, two groups of rules are considered strongly e...
research
∙
04/18/2022
Verification of Locally Tight Programs
ANTHEM is a proof assistant that can be used for verifying the correctne...
research
∙
08/06/2021
Here and There with Arithmetic
In the theory of answer set programming, two groups of rules are called ...
research
∙
08/05/2020
Verifying Tight Logic Programs with anthem and Vampire
This paper continues the line of research aimed at investigating the rel...
research
∙
07/28/2019
Relating Two Dialects of Answer Set Programming
The input language of the answer set solver clingo is based on the defin...
research
∙
09/30/2018
anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report)
In a recent paper by Harrison et al., the concept of program completion ...
research
∙
08/04/2016
Stable Models for Infinitary Formulas with Extensional Atoms
The definition of stable models for propositional formulas with infinite...
research
∙
12/20/2013
On the Semantics of Gringo
Input languages of answer set solvers are based on the mathematically si...
research
∙
01/08/2013
Lloyd-Topor Completion and General Stable Models
We investigate the relationship between the generalization of program co...
research
∙
10/15/2012
Relational Theories with Null Values and Non-Herbrand Stable Models
Generalized relational theories with null values in the sense of Reiter ...
research
∙
03/23/2011
Representing First-Order Causal Theories by Logic Programs
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner...
research
∙
03/09/2000