( en | de | ru )

 

Disambiguation of "Aiello, Luigia Carlucci"

Author of the publication

copydeleteadd this publication to your clipboard
Definability and Commonsense Reasoning.

, , and . Artif. Intell., (1997)

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

Reasoning Techniques (Panel).. IFIP Congress, page 549-550. North-Holland/IFIP, (1986)Reasoning about Knowledge: The Meta-Level Approach., , and . SCAI, volume 12 of Frontiers in Artificial Intelligence and Applications, page 4-18. IOS Press, (1991)Automatic Generation of Semantic Attachments in FOL.. AAAI, page 90-92. AAAI Press/MIT Press, (1980)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)Towards a Formal Definition of the Control in Structured Programs., and . MFCS, page 169-174. Mathematical Institute of the Slovak Academy of Sciences, (1973)Planning Attacks to Security Protocols: Case Studies in Logic Programming., and . Computational Logic: Logic Programming and Beyond, volume 2407 of Lecture Notes in Computer Science, page 533-560. Springer, (2002)Definability and Commonsense Reasoning., , and . Artif. Intell., (1997)Development of intelligent service robots., , , , , , , , , and 9 other author(s). Intelligenza Artificiale, 7 (2): 139-152 (2013)Knowledgeable Talking Robots., , , , , and . AGI, volume 7999 of Lecture Notes in Computer Science, page 182-191. Springer, (2013)