Luigia Carlucci Aiello

From MaRDI portal
Person:274411

Available identifiers

zbMath Open carlucci-aiello.luigiaDBLPa/LuigiaCarlucciAielloWikidataQ102175372 ScholiaQ102175372MaRDI QIDQ274411

List of research outcomes





PublicationDate of PublicationType
Intelligent agents in the Situation Calculus: An application to user modelling2019-04-29Paper
Verifying security protocols as planning in logic programming2017-06-13Paper
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 age2016-04-22Paper
Attacking fair-exchange protocols: parallel models vs. trace models2013-07-24Paper
Mechanizing Mathematical Reasoning2006-01-10Paper
Definability and commonsense reasoning2003-08-28Paper
https://portal.mardi4nfdi.de/entity/Q47077502003-06-11Paper
https://portal.mardi4nfdi.de/entity/Q49346372000-04-03Paper
Intuitionistic autoepistemic logic1997-10-26Paper
https://portal.mardi4nfdi.de/entity/Q48954211997-04-13Paper
A proof theoretical approach to default reasoning I: tableaux for default logic1997-04-07Paper
https://portal.mardi4nfdi.de/entity/Q48774381996-07-08Paper
Defaults as restrictions on classical Hilbert-style proofs1995-12-13Paper
https://portal.mardi4nfdi.de/entity/Q40138251992-09-27Paper
Reasoning about reasoning in a meta-level architecture1992-06-28Paper
An efficient interpreter for the lambda-calculus1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38803051980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41626291978-01-01Paper
PASCAL in LCF: Semantics and examples of proof1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41397121977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41078901976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41228471976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40964061975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40500951974-01-01Paper

Research outcomes over time

This page was built for person: Luigia Carlucci Aiello