Luigia Carlucci Aiello
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1973–1996
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | ECAI | Commonsense Reasoning. | Luigia Carlucci Aiello |
| 1991 | IJCAI | Reasoning about Student Knowledge and Reasoning. | Luigia Carlucci Aiello, Maria Cialdea, Daniele Nardi |
| 1988 | ISMIS | Yet Another Solution to the Three Wisemen Puzzle. | Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf |
| 1987 | ICLP | Evaluating Logic Programs via Set-Valued Functions. | Carlo Cecchi, Dario Sartini, Luigia Carlucci Aiello |
| 1980 | AAAI | Automatic Generation of Semantic Attachments in FOL. | Luigia Carlucci Aiello |
| 1980 | CADE | Using Meta-Theoretic Reasoning to do Algebra. | Luigia Carlucci Aiello, Richard W. Weyhrauch |
| 1976 | MFCS | Formal Definition of Semantics of Generated Control Regimes. | Luigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini |
| 1973 | MFCS | Towards a Formal Definition of the Control in Structured Programs. | Luigia Carlucci Aiello, Ugo Montanari |