|
СТ |
Reasoning about Communicating Agents in the Semantic Web |
2003 |
Baldoni M., Baroglio C., Giordano L., Martelli A., Patti V. |
|
|
|
Lecture Notes in Computer Science |
24.01.2004 |
|
СТ |
A Framework for Modal Logic Programming |
1996 |
Baldoni M., Giordano L., Martelli A. |
|
|
|
Logic Programming |
12.03.1998 |
|
СТ |
Translating a Modal Language with Embedded Implication into Horn Clause Logic |
1996 |
Baldoni M., Giordano L., Martelli A. |
|
|
|
Lecture Notes in Artificial Intelligence |
17.04.1996 |
|
СТ |
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 |
|
СТ |
A Modal Reconstruction of Blocks and Modules in Logic Programming |
1991 |
Giordano L., Martelli A. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
29.12.1994 |
|
СТ |
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 |
|
СТ |
A Multimodal Logic to Define Modules in Logic Programming |
1993 |
Baldoni M., Giordano L., Martelli A. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
21.09.1994 |
|
СТ |
A Modal Framework for Structured Logic Programs |
1992 |
Giordano L., Martelli A. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.04.1993 |
|
СТ |
Extending Horn Clause Logic With Implication Goals |
1992 |
Giordano L., Martelli A., Rossi G. |
|
|
|
Theoretical Computer Science |
04.04.1992 |
