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