Searching for authors named "Luigia Carlucci Aiello" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Planning attacks to security protocols: Case studies in logic programming
- …Planning Attacks to Security Protocols: Case Studies in Logic Programming Luigia Carlucci Aiello 1…
- Cited by 3 (0 self) – Add To MetaCart
-
Intelligent Agents in the Situation Calculus: an Application to User Modelling
- … and Luigia Carlucci Aiello 1 Dipartimento di Informatica e Sistemistica, Universit`a di Roma "La Sapienza…
- Cited by 1 (0 self) – Add To MetaCart
-
Abstract Attacking Fair-Exchange Protocols: Parallel Models vs Trace Models 1
- … Luigia Carlucci Aiello 2 Dip. Infomatica e Sistemistica - Univ. di Roma “La Sapienza”, via Salaria 113…
- Add To MetaCart
-
Modal and Meta Languages: Consistency and Expressiveness
- …1 Modal and Meta Languages: Consistency and Expressiveness Luigia Carlucci Aiello, Marta Cialdea…
- Cited by 3 (0 self) – Add To MetaCart
-
Reasoning about Student Knowledge and Reasoning
- …Reasoning about Student Knowledge and Reasoning Luigia Carlucci Aiello, Marta Cialdea, Daniele…
- Cited by 9 (1 self) – Add To MetaCart
-
Defaults as restrictions on classical Hilbert-style proofs
- …, via Baldassarre Castiglione 59, 00142 Roma, Italia, e-mail: gba@(email omitted); and Luigia Carlucci Aiello…
- Cited by 3 (3 self) – Add To MetaCart
-
A proof theoretical approach to default reasoning I: tableaux for default logic
- … + , Luigia Carlucci Aiello # , Dov Gabbay , Fiora Pirri # # This work has been partially supported by Basic…
- Cited by 6 (2 self) – Add To MetaCart
-
unknown title
- … Carlucci Aiello & Dov Gabbay & Fiora Pirri Abstract We show that modal logics characterized by a class…
- Add To MetaCart
-
Default Logic as a formalism for understanding commonsense reasoning
- … Carlucci Aiello y , Fiora Pirri y March 15, 1996 Abstract Commonsense reasoning is the reasoning…
- Add To MetaCart
-
Default Logic and Purity of Reasoning
- …Default Logic and purity of reasoning Gianni Amati 1 , Luigia Carlucci Aiello 2 , and Fiora…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
