CRIS Current Research Information System

M. Alberti, M. Gavanelli, E. Lamma, P. Mello, P. Torroni (2005). The SCIFF abductive proof-procedure [10.1007/11558590_14].

The SCIFF abductive proof-procedure

MELLO, PAOLA;TORRONI, PAOLO
2005
2005
AI*IA 2005: Advances in Artificial Intelligence
135
147
M. Alberti, M. Gavanelli, E. Lamma, P. Mello, P. Torroni (2005). The SCIFF abductive proof-procedure [10.1007/11558590_14].
M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P. Torroni
4.01 Contributo in Atti di convegno
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/8071
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 32
  • ???jsp.display-item.citation.isi??? 19
social impact