|
СТ |
From Functional Specifications to Logic Programs |
1997 |
Gelfond M., Gabaldon A. |
|
|
|
Logic Programming |
05.03.1998 |
|
СТ |
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 |
|
СТ |
Approximating General Logic Programs |
1993 |
Baral C., Gelfond M., Kosheleva O. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
20.09.1994 |
|
СТ |
Representing Null Values in Logic Programming |
1994 |
Traylor B., Gelfond M. |
|
|
|
Lecture Notes in Computer Science |
02.08.1994 |
