|
СТ |
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 |
|
СТ |
Chapter 1. Introduction |
2001 |
Drira K., Martelli A., Villemur T. |
|
|
|
Lecture Notes in Computer Science |
02.02.2002 |
|
СТ |
Chapter 3. Relevant Existing Practices |
2001 |
Avino D., Becchini R., Chilaev P., Follet H., Krivtsov V., Martelli A., Volochinov V. |
|
|
|
Lecture Notes in Computer Science |
02.02.2002 |
|
М |
Programming Environments: Deriving Language Dependent Tools from Structured Denotational Semantics |
1982 |
Barbuti R., Bellina M., Degano P., Levi G., Martelli A. |
|
|
Istituto di Scienze dell Informazione |
|
02.08.2000 |
|
П |
Towards the Derivation of an Experimental Programming Environment from Language Formal Specifications |
1981 |
Barbuti R., Bellia M., Martelli A., Dameri E., Simonelli C., Degano P., Levi G. |
|
|
Progetto Finalizzato Informatica |
|
02.08.2000 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
The Generic Reusable Component: An Approach to Reuse Hierarchical OO Designs |
1993 |
D Alessandro M., Iachini P. L., Martelli A. |
|
|
|
Advances in Software Reuse (Selected Papers from the Second Intern. Workshop on Software Reusability) |
25.11.1993 |
|
СТ |
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 |
