E-LIB Suche - Ergebnisse für: LIFSCHITZ, VLADIMIR

1

Locally Tight Programs:

FANDINNO, JORGE ; LIFSCHITZ, VLADIMIR ; TEMPLE, NATHAN
Theory and Practice of Logic Programming. , 2024

2

External Behavior of a Logic Program and Verification of Re..:

FANDINNO, JORGE ; HANSEN, ZACHARY ; LIERLER, YULIYA..
Theory and Practice of Logic Programming. 23 (2023) 4 - p. 933-947 , 2023

Link: https://doi.org/10.1017/..

3

On Program Completion, with an Application to the Sum and P..:

LIFSCHITZ, VLADIMIR
Theory and Practice of Logic Programming. 23 (2023) 4 - p. 664-677 , 2023

Link: https://doi.org/10.1017/..

4

From Felicitous Models to Answer Set Programming:

, In: Outstanding Contributions to Logic; Kit Fine on Truthmakers, Relevance, and Non-classical Logic,

Lifschitz, Vladimir - p. 79-96 , 2023

Link: https://doi.org/10.1007/..

5

On Heuer's Procedure for Verifying Strong Equivalence:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Fandinno, Jorge ; Lifschitz, Vladimir - p. 253-261 , 2023

Link: https://doi.org/10.1007/..

6

Strong Equivalence of Logic Programs with Counting:

LIFSCHITZ, VLADIMIR
Theory and Practice of Logic Programming. 22 (2022) 4 - p. 573-588 , 2022

Link: https://doi.org/10.1017/..

7

Positive Dependency Graphs Revisited:

FANDINNO, JORGE ; LIFSCHITZ, VLADIMIR
Theory and Practice of Logic Programming. 23 (2022) 5 - p. 1128-1137 , 2022

Link: https://doi.org/10.1017/..

8

Here and There with Arithmetic:

LIFSCHITZ, VLADIMIR
Theory and Practice of Logic Programming. 21 (2021) 6 - p. 735-749 , 2021

Link: https://doi.org/10.1017/..

9

Transforming Gringo Rules into Formulas in a Natural Way:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Lifschitz, Vladimir - p. 421-434 , 2021

Link: https://doi.org/10.1007/..

10

Towards Verifying Logic Programs in the Input Language of c..:

, In: Fields of Logic and Computation III; Lecture Notes in Computer Science,

Lifschitz, Vladimir ; Lühne, Patrick ; Schaub, Torsten - p. 190-209 , 2020

Link: https://doi.org/10.1007/..

11

Verifying Tight Logic Programs with anthem and vampire:

FANDINNO, JORGE ; LIFSCHITZ, VLADIMIR ; LÜHNE, PATRICK.
Theory and Practice of Logic Programming. 20 (2020) 5 - p. 735-750 , 2020

Link: https://doi.org/10.1017/..

12

Programs with Negation:

, In: Answer Set Programming,

Lifschitz, Vladimir - p. 71-91 , 2019

Link: https://doi.org/10.1007/..

13

Conclusion:

, In: Answer Set Programming,

Lifschitz, Vladimir - p. 147-147 , 2019

Link: https://doi.org/10.1007/..

14

Mathematics of Stable Models:

, In: Answer Set Programming,

Lifschitz, Vladimir - p. 93-107 , 2019

Link: https://doi.org/10.1007/..

15

Dynamic Systems:

, In: Answer Set Programming,

Lifschitz, Vladimir - p. 129-146 , 2019

Link: https://doi.org/10.1007/..