GIORDANO, Laura

GIORDANO, Laura  

MATEMATICA "GIUSEPPE PEANO"  

Mostra records
Risultati 1 - 20 di 25 (tempo di esecuzione: 0.044 secondi).
Titolo Data di pubblicazione Autore(i) File
A Framework for Modal Logic Programming 1996 M. Baldoni; L. Giordano; A. Martelli
A Modal Extention of Logic Programming 1994 M. Baldoni; L. Giordano; A. Martelli
A Modal Framework for Structured Logic Programs 1992 L. Giordano; A. Martelli
A Modal Programming Language for Representing Complex Actions 1998 M. Baldoni; L. Giordano; A. Martelli; V. Patti
A Modal Reconstruction of Blocks and Modules in Logic Programming 1991 L. Giordano; A. Martelli
A Multimodal Logic to define Modules in Logic Programming 1993 M. Baldoni; L. Giordano; A. Martelli
A semantics for Eshghi and Kowalski’s abductive procedure 1993 L. Giordano; A. Martelli; M. L. Sapino
An Abductive Characterization of the TMS 1990 L. Giordano; A. Martelli
An Abductive Proof Procedure for Conditional Logic Programming 1996 L. Giordano; A. Martelli; M. L. Sapino
Conditional Logic Programming 1994 D. Gabbay; L. Giordano; A. Martelli; N.Olivetti
Dealing with Concurrent Actions in Modal Action Logics 1998 L. GIORDANO; A. MARTELLI; C. SCHWIND
Generalized Stable Models, Truth Maintenance and Conflict Resolution 1990 L. Giordano; A. Martelli
Hypothetical updates, priority and inconsistency in a logic programming language 1995 D. Gabbay; L. Giordano; A. Martelli; N. Olivetti
Local Definitions with Static Scope Rules in Logic Programming 1988 L. Giordano; A. Martelli; G.F. Rossi
Negation as Failure and Constraints through Abduction and Defaults 1991 L. Giordano; A. Martelli; M.L. Sapino
Reasoning about actions in a multiagent domain 2001 L. GIORDANO ; A. MARTELLI; C. SCHWIND
Reasoning About Actions in Dynamic Linear Time Temporal Logic 2000 L. Giordano; A. Martelli; C. Schwind
Reasoning about communicating agents in the semantic web 2003 M. BALDONI; C. BAROGLIO; L. GIORDANO; A. MARTELLI; V. PATTI
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach 2001 M. Baldoni; L. Giordano; A. Martelli; V. Patti
Specifying and verifying systems of communicating agents in a temporal action logic 2003 L. GIORDANO; A. MARTELLI; C. SCHWIND