Luigia Carlucci Aiello

MaRDI QIDQ274411zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Intelligent agents in the Situation Calculus: An application to user modelling Practical Reasoning	2019-04-29	Paper
Verifying security protocols as planning in logic programming ACM Transactions on Computational Logic	2017-06-13	Paper
The multifaceted impact of Ada Lovelace in the digital age. Book review of: R. Hammerman (ed.) and A. L. Russell (ed.), Ada's legacy. Cultures of computing from the Victorian to the digital age Artificial Intelligence	2016-04-22	Paper
Attacking fair-exchange protocols: parallel models vs. trace models Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
Mechanizing Mathematical Reasoning Lecture Notes in Computer Science	2006-01-10	Paper
Definability and commonsense reasoning Artificial Intelligence	2003-08-28	Paper
scientific article; zbMATH DE number 1926618 (Why is no real title available?)	2003-06-11	Paper
scientific article; zbMATH DE number 1390346 (Why is no real title available?)	2000-04-03	Paper
Intuitionistic autoepistemic logic Studia Logica	1997-10-26	Paper
scientific article; zbMATH DE number 935033 (Why is no real title available?)	1997-04-13	Paper
A proof theoretical approach to default reasoning I: tableaux for default logic Journal Of Logic And Computation	1997-04-07	Paper
scientific article; zbMATH DE number 877745 (Why is no real title available?)	1996-07-08	Paper
Defaults as restrictions on classical Hilbert-style proofs Journal of Logic, Language and Information	1995-12-13	Paper
scientific article; zbMATH DE number 67854 (Why is no real title available?)	1992-09-27	Paper
Reasoning about reasoning in a meta-level architecture Applied Intelligence	1992-06-28	Paper
An efficient interpreter for the lambda-calculus Journal of Computer and System Sciences	1981-01-01	Paper
scientific article; zbMATH DE number 3684922 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3596218 (Why is no real title available?)	1978-01-01	Paper
PASCAL in LCF: Semantics and examples of proof Theoretical Computer Science	1978-01-01	Paper
scientific article; zbMATH DE number 3568057 (Why is no real title available?)	1977-01-01	Paper
scientific article; zbMATH DE number 3530944 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3548479 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3548479 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3518255 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3464807 (Why is no real title available?)	1974-01-01	Paper

Research outcomes over time

This page was built for person: Luigia Carlucci Aiello