( en | de | ru )

 

Disambiguation of "Aiello, Luigia Carlucci"

Author of the publication

copydeleteadd this publication to your clipboard
A Structural Property on Modal Frames Characterizing Default Logic.

, , , and . Logic Journal of the IGPL, 4 (1): 7-22 (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Luigia Garrapa

Lucio Carlucci

Kiara Aiello

Maria Valentina Carlucci

Michael Vincent Aiello

 

Other publications of authors with the same name

Verifying security protocols as planning in logic programming., and . ACM Trans. Comput. Log., 2 (4): 542-580 (2001)Reasoning about Knowledge: The Meta-Level Approach., , and . SCAI, volume 12 of Frontiers in Artificial Intelligence and Applications, page 4-18. IOS Press, (1991)Reasoning Techniques (Panel).. IFIP Congress, page 549-550. North-Holland/IFIP, (1986)Attacking fair-exchange protocols: parallel models vs trace models., and . LACPV@CAV, volume 55 of Electronic Notes in Theoretical Computer Science, page 51-68. Elsevier, (2001)Automatic Generation of Semantic Attachments in FOL.. AAAI, page 90-92. AAAI Press/MIT Press, (1980)SEDAF: an intelligent educational system for mathematics., and . Applied Artificial Intelligence, 4 (1): 15-36 (1990)Perspectives in knowledge representation., and . Applied Artificial Intelligence, 5 (1): 29-44 (1991)Towards a Formal Definition of the Control in Structured Programs., and . MFCS, page 169-174. Mathematical Institute of the Slovak Academy of Sciences, (1973)Intelligent Agents in the Situation Calculus: an Application to User Modelling., and . FAPR, volume 1085 of Lecture Notes in Computer Science, page 126-140. Springer, (1996)Adding a Closure Operator to the Extended Relational Algebra: A Further Step Towards the Integration of Database Techniques and Logic Programming., and . Foundations of Knowledge Base Management (Xania), page 179-202. Springer, (1985)