Picture for Vladimir Lifschitz

Vladimir Lifschitz

Causal Laws and Multi-Valued Fluents

Jul 15, 2023
Figure 1 for Causal Laws and Multi-Valued Fluents
Viaarxiv icon

Safe Formulas in the General Theory of Stable Models

Jul 15, 2023
Viaarxiv icon

Positive Dependency Graphs Revisited

Jul 18, 2022
Viaarxiv icon

Verification of Locally Tight Programs

Add code
Apr 18, 2022
Viaarxiv icon

Verifying Tight Logic Programs with anthem and Vampire

Add code
Aug 11, 2020
Viaarxiv icon

Achievements in Answer Set Programming (Preliminary Report)

Aug 29, 2016
Figure 1 for Achievements in Answer Set Programming (Preliminary Report)
Figure 2 for Achievements in Answer Set Programming (Preliminary Report)
Figure 3 for Achievements in Answer Set Programming (Preliminary Report)
Viaarxiv icon

Stable Models for Infinitary Formulas with Extensional Atoms

Add code
Aug 04, 2016
Viaarxiv icon

On the Semantics of Gringo

Add code
Dec 20, 2013
Viaarxiv icon

Lloyd-Topor Completion and General Stable Models

Jan 08, 2013
Viaarxiv icon

Relational Theories with Null Values and Non-Herbrand Stable Models

Add code
Oct 15, 2012
Viaarxiv icon