Luigia Carlucci Aiello

Available identifiers

zbMath Open carlucci-aiello.luigiaDBLPa/LuigiaCarlucciAielloWikidataQ102175372 ScholiaQ102175372MaRDI QIDQ274411

List of research outcomes

Publication	Date of Publication	Type
Intelligent agents in the Situation Calculus: An application to user modelling	2019-04-29	Paper
Verifying security protocols as planning in logic programming	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	2016-04-22	Paper
Attacking fair-exchange protocols: parallel models vs. trace models	2013-07-24	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Definability and commonsense reasoning	2003-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4707750	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4934637	2000-04-03	Paper
Intuitionistic autoepistemic logic	1997-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4895421	1997-04-13	Paper
A proof theoretical approach to default reasoning I: tableaux for default logic	1997-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4877438	1996-07-08	Paper
Defaults as restrictions on classical Hilbert-style proofs	1995-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4013825	1992-09-27	Paper
Reasoning about reasoning in a meta-level architecture	1992-06-28	Paper
An efficient interpreter for the lambda-calculus	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3880305	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4162629	1978-01-01	Paper
PASCAL in LCF: Semantics and examples of proof	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4139712	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4107890	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4122847	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4096406	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4050095	1974-01-01	Paper

Research outcomes over time

This page was built for person: Luigia Carlucci Aiello