Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 86
Titolo Data di pubblicazione Autore(i) File
Un metodo di risoluzione per il calcolo dei predicati modale 1-gen-1986 Cialdea, Marta
A modal Herbrand's property 1-gen-1986 Cialdea, Marta; FARINAS DEL CERRO, L.
Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic. 1-gen-1986 Cialdea, Marta
Metalevel Knowledge in Intelligent Educational Systems 1-gen-1989 Aiello, L.; Cialdea, Marta; Micarelli, A.
Helping students refine their working hypotheses: a first pass in the domain of language tutoring 1-gen-1990 Aiello, L.; Cialdea, Marta; Humphris, C.; Micarelli, A.; Spohrer, Jc
A rational reconstruction of the diagnostic process in Intelligent Tutoring Systems 1-gen-1990 Cialdea, Marta; Micarelli, A.; Nardi, D.; Spohrer, J. C.; Aiello, L.
A Rational reconstruction of the Diagnostic Process in Intelligent Tutoring Systems 1-gen-1990 Cialdea, Marta; Micarelli, Alessandro; Nardi, D; Spohrer J., C; Aiello, L. C.
Helping students refine their working hypotheses: a first pass in the domain of language tutoring 1-gen-1991 Aiello, L.; Cialdea, Marta; Humphris, C.; Micarelli, A.; Spohrer, Jc
Applicazioni di intelligenza artificiale nella formazione. Alcune esperienze 1-gen-1991 Aiello, L.; Cialdea, Marta; Micarelli, A.; Mungo, F.; Nucci, F. S.
Reasoning about student knowledge and reasoning. 1-gen-1991 L., Aiello; Cialdea, Marta; D., Nardi
A Meta-Level Abstract Description of Diagnosis in Intelligent Educational Systems. 1-gen-1991 Aiello, L. C.; Cialdea, Marta; Nardi, D.
Resolution for some first order modal systems. 1-gen-1991 Cialdea, Marta
Meta reasoning and student modelling 1-gen-1992 Cialdea, Marta
Reasoning about student knowledge and reasoning 1-gen-1993 L., Aiello; Cialdea, Marta; D., Nardi
Natural properties of abductive hypotheses in three-valued logic 1-gen-1993 Cialdea, Marta; Pirri, F; Pizzuti, C.
Propositional abduction in modal logic 1-gen-1993 Cialdea, Marta; F., Pirri
First order abduction via tableau and sequent calculi. 1-gen-1993 Cialdea, Marta; Pirri, F.
Herbrand style proof procedures for modal logic 1-gen-1993 Cialdea, Marta
Propositional abduction in modal logic. 1-gen-1995 Cialdea, Marta; F., Pirri
Modal and meta-languages: consistency and expressiveness. 1-gen-1995 L., Aiello; Cialdea, Marta; D., Nardi; M., Shaerf
Mostrati risultati da 1 a 20 di 86
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile