Luigia Carlucci Aiello

Available identifiers

zbMath Open carlucci-aiello.luigiaWikidataQ102175372 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	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
PASCAL in LCF: Semantics and examples of proof	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4162629	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luigia Carlucci Aiello