default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Luigia Carlucci Aiello
@article{DBLP:journals/ai/Aiello16,
author = {Luigia Carlucci Aiello},
title = {The multifaceted impact of Ada Lovelace in the digital age},
journal = {Artif. Intell.},
volume = {235},
pages = {58--62},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2016.02.003},
doi = {10.1016/J.ARTINT.2016.02.003},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Aiello16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/BastianelliNAGM16,
author = {Emanuele Bastianelli and
Daniele Nardi and
Luigia Carlucci Aiello and
Fabrizio Giacomelli and
Nicolamaria Manes},
title = {Speaky for robots: the development of vocal interfaces for robotic
applications},
journal = {Appl. Intell.},
volume = {44},
number = {1},
pages = {43--66},
year = {2016},
url = {https://doi.org/10.1007/s10489-015-0695-5},
doi = {10.1007/S10489-015-0695-5},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apin/BastianelliNAGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2013ageing,
editor = {Stefania Bandini and
Luigia Carlucci Aiello and
Giuseppe Vizzari},
title = {Proceedings of the Workshop "The Challenge of Ageing Society:
Technological Roles and Opportunities for Artificial Intelligence"
co-located with the 13th Conference of the Italian Association for
Artificial Intelligence (AI*IA 2013), Turin, Italy, December 6, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1122},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1122},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2013ageing.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/IocchiMBMPANMSZSCGZFMCFS13,
author = {Luca Iocchi and
Emanuele Menegatti and
Andrea Bonarini and
Matteo Matteucci and
Enrico Pagello and
Luigia Carlucci Aiello and
Daniele Nardi and
Fulvio Mastrogiovanni and
Antonio Sgorbissa and
Renato Zaccaria and
Rosario Sorbello and
Antonio Chella and
Marcello Giardina and
Primo Zingaretti and
Emanuele Frontoni and
Adriano Mancini and
Grazia Cicirelli and
Alessandro Farinelli and
Domenico G. Sorrenti},
title = {Development of intelligent service robots},
journal = {Intelligenza Artificiale},
volume = {7},
number = {2},
pages = {139--152},
year = {2013},
url = {https://doi.org/10.3233/IA-130055},
doi = {10.3233/IA-130055},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/IocchiMBMPANMSZSCGZFMCFS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agi/AielloBINPR13,
author = {Luigia Carlucci Aiello and
Emanuele Bastianelli and
Luca Iocchi and
Daniele Nardi and
Vittorio Perera and
Gabriele Randelli},
editor = {Kai{-}Uwe K{\"{u}}hnberger and
Sebastian Rudolph and
Pei Wang},
title = {Knowledgeable Talking Robots},
booktitle = {Artificial General Intelligence - 6th International Conference, {AGI}
2013, Beijing, China, July 31 - August 3, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7999},
pages = {182--191},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39521-5\_21},
doi = {10.1007/978-3-642-39521-5\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agi/AielloBINPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/NardiIA13,
author = {Daniele Nardi and
Luca Iocchi and
Luigia Carlucci Aiello},
editor = {Matteo Baldoni and
Federico Chesani and
Paola Mello and
Marco Montali},
title = {RoboCup@Sapienza},
booktitle = {Proceedings of the Workshop Popularize Artificial Intelligence co-located
with the 13th Conference of the Italian Association for Artificial
Intelligence (AI*IA 2013), Turin, Italy, December 5, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1107},
pages = {7--14},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1107/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/NardiIA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/AielloGS06,
author = {Luigia Carlucci Aiello and
Enrico Giunchiglia and
Luciano Serafini},
title = {Logics For Artificial Intelligence},
journal = {Intelligenza Artificiale},
volume = {3},
number = {1-2},
pages = {7--13},
year = {2006},
timestamp = {Tue, 23 Jan 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/AielloGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BenedettiA05,
author = {Marco Benedetti and
Luigia Carlucci Aiello},
editor = {Dieter Hutter and
Werner Stephan},
title = {SAT-Based Cooperative Planning: {A} Proposal},
booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
H. Siekmann on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2605},
pages = {494--513},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32254-2\_28},
doi = {10.1007/978-3-540-32254-2\_28},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BenedettiA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AielloM02,
author = {Luigia Carlucci Aiello and
Fabio Massacci},
editor = {Antonis C. Kakas and
Fariba Sadri},
title = {Planning Attacks to Security Protocols: Case Studies in Logic Programming},
booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour
of Robert A. Kowalski, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2407},
pages = {533--560},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45628-7\_20},
doi = {10.1007/3-540-45628-7\_20},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AielloM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AielloM01,
author = {Luigia Carlucci Aiello and
Fabio Massacci},
title = {Verifying security protocols as planning in logic programming},
journal = {{ACM} Trans. Comput. Log.},
volume = {2},
number = {4},
pages = {542--580},
year = {2001},
url = {https://doi.org/10.1145/383779.383785},
doi = {10.1145/383779.383785},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AielloM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AielloM01,
author = {Luigia Carlucci Aiello and
Fabio Massacci},
editor = {Jean Goubault{-}Larrecq},
title = {Attacking fair-exchange protocols: parallel models vs trace models},
booktitle = {Logical Aspects of Cryptographic Protocol Verification, {LACPV} 2001,
in connection with {CAV} 2001, Paris, France, July 23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {55},
number = {1},
pages = {51--68},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00244-0},
doi = {10.1016/S1571-0661(04)00244-0},
timestamp = {Mon, 05 Dec 2022 12:31:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AielloM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/AielloM00,
author = {Luigia Carlucci Aiello and
Fabio Massacci},
title = {An Executable Specification Language for Planning Attacks to Security
Protocols},
booktitle = {Proceedings of the 13th {IEEE} Computer Security Foundations Workshop,
{CSFW} '00, Cambridge, England, UK, July 3-5, 2000},
pages = {88--102},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/CSFW.2000.856928},
doi = {10.1109/CSFW.2000.856928},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/AielloM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AmatiAP97,
author = {Gianni Amati and
Luigia Carlucci Aiello and
Fiora Pirri},
title = {Definability and Commonsense Reasoning},
journal = {Artif. Intell.},
volume = {93},
pages = {169--199},
year = {1997},
url = {https://doi.org/10.1016/S0004-3702(96)00049-5},
doi = {10.1016/S0004-3702(96)00049-5},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AmatiAP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/AmatiAP97,
author = {Gianni Amati and
Luigia Carlucci Aiello and
Fiora Pirri},
title = {Intuitionistic Autoepistemic Logic},
journal = {Stud Logica},
volume = {59},
number = {1},
pages = {103--120},
year = {1997},
url = {https://doi.org/10.1023/A:1004999417699},
doi = {10.1023/A:1004999417699},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/AmatiAP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AmatiAGP96,
author = {Gianni Amati and
Luigia Carlucci Aiello and
Dov M. Gabbay and
Fiora Pirri},
title = {A Structural Property on Modal Frames Characterizing Default Logic},
journal = {Log. J. {IGPL}},
volume = {4},
number = {1},
pages = {7--22},
year = {1996},
url = {https://doi.org/10.1093/jigpal/4.1.7},
doi = {10.1093/JIGPAL/4.1.7},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AmatiAGP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AmatiAGP96,
author = {Gianni Amati and
Luigia Carlucci Aiello and
Dov M. Gabbay and
Fiora Pirri},
title = {A Proof Theoretical Approach to Default Reasoning {I:} Tableaux for
Default Logic},
journal = {J. Log. Comput.},
volume = {6},
number = {2},
pages = {205--231},
year = {1996},
url = {https://doi.org/10.1093/logcom/6.2.205},
doi = {10.1093/LOGCOM/6.2.205},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AmatiAGP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Aiello96,
author = {Luigia Carlucci Aiello},
editor = {Wolfgang Wahlster},
title = {Commonsense Reasoning},
booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
August 11-16, 1996, Proceedings},
pages = {708--709},
publisher = {John Wiley and Sons, Chichester},
year = {1996},
timestamp = {Thu, 03 Jan 2002 11:56:53 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Aiello96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fapr/ErricoA96,
author = {Bruno Errico and
Luigia Carlucci Aiello},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Intelligent Agents in the Situation Calculus: an Application to User
Modelling},
booktitle = {Practical Reasoning, International Conference on Formal and Applied
Practical Reasoning, {FAPR} '96, Bonn, Germany, June 3-7, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1085},
pages = {126--140},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61313-7\_68},
doi = {10.1007/3-540-61313-7\_68},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/fapr/ErricoA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/1996,
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
publisher = {Morgan Kaufmann},
year = {1996},
isbn = {1-55860-421-9},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/AmatiAP94,
author = {Gianni Amati and
Luigia Carlucci Aiello and
Fiora Pirri},
title = {Defaults as restrictions on classical Hilbert-style proofs},
journal = {J. Log. Lang. Inf.},
volume = {3},
number = {4},
pages = {303--326},
year = {1994},
url = {https://doi.org/10.1007/BF01160020},
doi = {10.1007/BF01160020},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/AmatiAP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/AielloN91,
author = {Luigia Carlucci Aiello and
Daniele Nardi},
title = {Perspectives in knowledge representation},
journal = {Appl. Artif. Intell.},
volume = {5},
number = {1},
pages = {29--44},
year = {1991},
url = {https://doi.org/10.1080/08839519108927916},
doi = {10.1080/08839519108927916},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aai/AielloN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/AielloNS91,
author = {Luigia Carlucci Aiello and
Daniele Nardi and
Marco Schaerf},
title = {Reasoning about reasoning in a meta-level architecture},
journal = {Appl. Intell.},
volume = {1},
number = {1},
pages = {55--67},
year = {1991},
url = {https://doi.org/10.1007/BF00117746},
doi = {10.1007/BF00117746},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apin/AielloNS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AielloCN91,
author = {Luigia Carlucci Aiello and
Maria Cialdea and
Daniele Nardi},
editor = {John Mylopoulos and
Raymond Reiter},
title = {Reasoning about Student Knowledge and Reasoning},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial
Intelligence. Sydney, Australia, August 24-30, 1991},
pages = {1087--1093},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://ijcai.org/Proceedings/91-2/Papers/070.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:13 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AielloCN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/AielloNS91,
author = {Luigia Carlucci Aiello and
Daniele Nardi and
Marco Schaerf},
editor = {Brian H. Mayoh},
title = {Reasoning about Knowledge: The Meta-Level Approach},
booktitle = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
Roskilde, Denmark, May 21-24, 1991, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {12},
pages = {4--18},
publisher = {{IOS} Press},
year = {1991},
timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
biburl = {https://dblp.org/rec/conf/scai/AielloNS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/AielloM90,
author = {Luigia Carlucci Aiello and
Alessandro Micarelli},
title = {{SEDAF:} an intelligent educational system for mathematics},
journal = {Appl. Artif. Intell.},
volume = {4},
number = {1},
pages = {15--36},
year = {1990},
url = {https://doi.org/10.1080/08839519008927939},
doi = {10.1080/08839519008927939},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aai/AielloM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/AielloNS88,
author = {Luigia Carlucci Aiello and
Daniele Nardi and
Marco Schaerf},
title = {Reasoning About Knowledge and Ignorance},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {618--627},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/AielloNS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/AielloNS88,
author = {Luigia Carlucci Aiello and
Daniele Nardi and
Marco Schaerf},
editor = {Zbigniew W. Ras and
Lorenza Saitta},
title = {Yet Another Solution to the Three Wisemen Puzzle},
booktitle = {Methodologies for Intelligent Systems, 3, Proceedings of the Third
International Symposium on Methodologies for Intelligent Systems,
Turin, Italy, October 12-15, 1988},
pages = {398--407},
publisher = {North-Holland/Elsevier},
year = {1988},
timestamp = {Mon, 22 May 2017 09:56:56 +0200},
biburl = {https://dblp.org/rec/conf/ismis/AielloNS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flfp/1986,
editor = {Mauro Boscarol and
Luigia Carlucci Aiello and
Giorgio Levi},
title = {Foundations of Logic and Functional Programming, Workshop, Trento,
Italy, December 15-19, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {306},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-19129-1},
doi = {10.1007/3-540-19129-1},
isbn = {3-540-19129-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flfp/1986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CecchiSA87,
author = {Carlo Cecchi and
Dario Sartini and
Luigia Carlucci Aiello},
editor = {Jean{-}Louis Lassez},
title = {Evaluating Logic Programs via Set-Valued Functions},
booktitle = {Logic Programming, Proceedings of the Fourth International Conference,
Melbourne, Victoria, Australia, May 25-29, 1987 {(2} Volumes)},
pages = {428--455},
publisher = {{MIT} Press},
year = {1987},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CecchiSA87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/AielloCS86,
author = {Luigia Aiello and
Carlo Cecchi and
Dario Sartini},
title = {Representation and use of metaknowledge},
journal = {Proc. {IEEE}},
volume = {74},
number = {10},
pages = {1304--1321},
year = {1986},
url = {https://doi.org/10.1109/PROC.1986.13633},
doi = {10.1109/PROC.1986.13633},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/AielloCS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Aiello86,
author = {Luigia Carlucci Aiello},
editor = {Hans{-}J{\"{u}}rgen Kugler},
title = {Reasoning Techniques (Panel)},
booktitle = {Information Processing 86, Proceedings of the {IFIP} 10th World Computer
Congress, Dublin, Ireland, September 1-5, 1986},
pages = {549--550},
publisher = {North-Holland/IFIP},
year = {1986},
timestamp = {Sun, 28 Jul 2019 12:54:16 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Aiello86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/AielloC85,
author = {Luigia Carlucci Aiello and
Carlo Cecchi},
editor = {Joachim W. Schmidt and
Costantino Thanos},
title = {Adding a Closure Operator to the Extended Relational Algebra: {A}
Further Step Towards the Integration of Database Techniques and Logic
Programming},
booktitle = {Foundations of Knowledge Base Management: Contributions from Logic,
Databases, and Artificial Intelligence, Book resulting from the Xania
Workshop 1985},
series = {Topics in Information Systems},
pages = {179--202},
publisher = {Springer},
year = {1985},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/AielloC85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocs/AielloNP84,
author = {Luigia Aiello and
Daniele Nardi and
Maurizio Panti},
editor = {Clarence A. Ellis and
James H. Bair},
title = {Modeling the office structure: {A} first step towards the Office Expert
System},
booktitle = {Proceedings of the Second {ACM-SIGOA} Conference on Office Information
Systems, {COCS} 1984, USA, 1984},
pages = {25--32},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800023.808330},
doi = {10.1145/800023.808330},
timestamp = {Thu, 24 Mar 2022 14:31:32 +0100},
biburl = {https://dblp.org/rec/conf/cocs/AielloNP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AielloP81,
author = {Luigia Carlucci Aiello and
Gianfranco Prini},
title = {An Efficient Interpreter for the Lambda-Calculus},
journal = {J. Comput. Syst. Sci.},
volume = {23},
number = {3},
pages = {383--424},
year = {1981},
url = {https://doi.org/10.1016/0022-0000(81)90073-8},
doi = {10.1016/0022-0000(81)90073-8},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AielloP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Aiello80,
author = {Luigia Carlucci Aiello},
editor = {Robert Balzer},
title = {Automatic Generation of Semantic Attachments in {FOL}},
booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
Stanford University, CA, USA, August 18-21, 1980},
pages = {90--92},
publisher = {{AAAI} Press/MIT Press},
year = {1980},
url = {http://www.aaai.org/Library/AAAI/1980/aaai80-026.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Aiello80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AielloW80,
author = {Luigia Carlucci Aiello and
Richard W. Weyhrauch},
editor = {Wolfgang Bibel and
Robert A. Kowalski},
title = {Using Meta-Theoretic Reasoning to do Algebra},
booktitle = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11,
1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {87},
pages = {1--13},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10009-1\_1},
doi = {10.1007/3-540-10009-1\_1},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/AielloW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AielloAW77,
author = {Luigia Carlucci Aiello and
Mario Aiello and
Richard W. Weyhrauch},
title = {Pascal in {LCF:} Semantics and Examples of Proof},
journal = {Theor. Comput. Sci.},
volume = {5},
number = {2},
pages = {135--177},
year = {1977},
url = {https://doi.org/10.1016/0304-3975(77)90004-4},
doi = {10.1016/0304-3975(77)90004-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AielloAW77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/AielloAP77,
author = {Luigia Aiello and
Giuseppe Attardi and
Gianfranco Prini},
editor = {Erich J. Neuhold},
title = {Towards a More Declarative Programming Style},
booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP}
Working Conference on Formal Description of Programming Concepts,
St. Andrews, NB, Canada, August 1-5, 1977},
pages = {121--138},
publisher = {North-Holland},
year = {1977},
timestamp = {Mon, 21 Jan 2019 18:41:33 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/AielloAP77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AielloAACP76,
author = {Luigia Carlucci Aiello and
Mario Aiello and
Giuseppe Attardi and
P. Cavallari and
Gianfranco Prini},
editor = {Antoni W. Mazurkiewicz},
title = {Formal Definition of Semantics of Generated Control Regimes},
booktitle = {Mathematical Foundations of Computer Science 1976, 5th Symposium,
Gdansk, Poland, September 6-10, 1976, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {45},
pages = {173--179},
publisher = {Springer},
year = {1976},
url = {https://doi.org/10.1007/3-540-07854-1\_171},
doi = {10.1007/3-540-07854-1\_171},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AielloAACP76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/AielloA75,
author = {Luigia Carlucci Aiello and
Mario Aiello},
editor = {Corrado B{\"{o}}hm},
title = {Programming language semantics in a typed lambda - calculus},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {240--251},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029529},
doi = {10.1007/BFB0029529},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/lambda/AielloA75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/AielloA74,
author = {Luigia Aiello and
Mario Aiello},
editor = {Bernard J. Robinet},
title = {Proving program correctness in L. C. F.},
booktitle = {Programming Symposium, Proceedings Colloque sur la Programmation,
Paris, France, April 9-11, 1974},
series = {Lecture Notes in Computer Science},
volume = {19},
pages = {59--71},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-06859-7\_124},
doi = {10.1007/3-540-06859-7\_124},
timestamp = {Thu, 24 Feb 2022 13:41:39 +0100},
biburl = {https://dblp.org/rec/conf/programm/AielloA74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CarlucciM73,
author = {Luigia Carlucci Aiello and
Ugo Montanari},
title = {Towards a Formal Definition of the Control in Structured Programs},
booktitle = {Mathematical Foundations of Computer Science: Proceedings of Symposium
and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
September 3-8, 1973},
pages = {169--174},
publisher = {Mathematical Institute of the Slovak Academy of Sciences},
year = {1973},
timestamp = {Fri, 04 Feb 2011 12:55:47 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/CarlucciM73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 22:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
