GIORDANO, Laura
GIORDANO, Laura
MATEMATICA "GIUSEPPE PEANO"
A Framework for Modal Logic Programming
1996-01-01 M. Baldoni; L. Giordano; A. Martelli
A Modal Extention of Logic Programming
1994-01-01 M. Baldoni; L. Giordano; A. Martelli
A Modal Framework for Structured Logic Programs
1992-01-01 L. Giordano; A. Martelli
A Modal Programming Language for Representing Complex Actions
1998-01-01 M. Baldoni; L. Giordano; A. Martelli; V. Patti
A Modal Reconstruction of Blocks and Modules in Logic Programming
1991-01-01 L. Giordano; A. Martelli
A Multimodal Logic to define Modules in Logic Programming
1993-01-01 M. Baldoni; L. Giordano; A. Martelli
A semantics for Eshghi and Kowalski’s abductive procedure
1993-01-01 L. Giordano; A. Martelli; M. L. Sapino
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results
1998-01-01 M. Baldoni; L. Giordano; A. Martelli
An Abductive Characterization of the TMS
1990-01-01 L. Giordano; A. Martelli
An Abductive Proof Procedure for Conditional Logic Programming
1996-01-01 L. Giordano; A. Martelli; M. L. Sapino
Conditional Logic Programming
1994-01-01 D. Gabbay; L. Giordano; A. Martelli; N.Olivetti
Dealing with Concurrent Actions in Modal Action Logics
1998-01-01 L. GIORDANO; A. MARTELLI; C. SCHWIND
Generalized Stable Models, Truth Maintenance and Conflict Resolution
1990-01-01 L. Giordano; A. Martelli
Hypothetical updates, priority and inconsistency in a logic programming language
1995-01-01 D. Gabbay; L. Giordano; A. Martelli; N. Olivetti
Intelligenza Artificiale in ambito forense all’Università del Piemonte Orientale: supporto alle decisioni in ambito penale , rappresentazione della conoscenza e ragionamento nell’analisi forense
2022-01-01 Serena Quattrocolo; Cosimo Anglano; Massimo Canonico; Laura Giordano; Marco Guazzone; Luigi Portinale; Daniele Theseider Dupre
Local Definitions with Static Scope Rules in Logic Programming
1988-01-01 L. Giordano; A. Martelli; G.F. Rossi
Negation as Failure and Constraints through Abduction and Defaults
1991-01-01 L. Giordano; A. Martelli; M.L. Sapino
Reasoning about actions in a multiagent domain
2001-01-01 L. GIORDANO ; A. MARTELLI; C. SCHWIND
Reasoning About Actions in Dynamic Linear Time Temporal Logic
2000-01-01 L. Giordano; A. Martelli; C. Schwind
Reasoning about communicating agents in the semantic web
2003-01-01 M. BALDONI; C. BAROGLIO; L. GIORDANO; A. MARTELLI; V. PATTI