|
СТ |
A Calculus and Complexity Bound for Minimal Conditional Logic |
2001 |
Olivetti N., Schwind C. B. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
02.11.2001 |
|
СТ |
Conditional Logic Programming |
1994 |
Gabbay D., Giordano L., Martelli A., Olivetti N. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
01.02.1996 |
|
СТ |
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language |
1995 |
Gabbay D., Giordano L., Martelli A., Olivetti N. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.07.1995 |
|
СТ |
Negation as Failure in Intuitionistic Logic Programming |
1992 |
Giordano L., Olivetti N. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
