|
СТ |
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming |
2002 |
Erdem E., Lifschitz V., Nakhleh L., Ringe D. |
|
|
|
Lecture Notes in Computer Science |
24.01.2003 |
|
СТ |
SLDNF, Constructive Negation and Grounding |
1995 |
Lifschitz V. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
|
СТ |
Splitting a Logic Program |
1994 |
Lifschitz V., Turner H. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
31.01.1996 |
|
СТ |
Loop Checking and the Well-Founded Semantics |
1995 |
Lifschitz V., Mccain N., Przymusinski T. C., Stark R. F. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.07.1995 |
|
СТ |
Representing Actions in Extended Logic Programming |
1992 |
Gelfond M., Lifschitz V. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
The Stable Model Semantics for Logic Programming |
1988 |
Gelfond M., Lifschitz V. |
|
|
|
Logic Programming: Proc./Fifth Intern.Conf. and Symp. |
13.10.1994 |
