Luigia Carlucci Aiello
#111,460
Most Influential Person Now
Italian information scientist
Luigia Carlucci Aiello's AcademicInfluence.com Rankings
Luigia Carlucci Aiellophilosophy Degrees
Philosophy
#10426
World Rank
#14286
Historical Rank
Logic
#7300
World Rank
#9017
Historical Rank
Download Badge
Philosophy
Why Is Luigia Carlucci Aiello Influential?
(Suggest an Edit or Addition)According to Wikipedia, Luigia Carlucci Aiello is an Italian computer scientist, emeritus professor of artificial intelligence at Sapienza University of Rome. Education and career Aiello is originally from Fabriano. After earning a diploma from the Scuola Normale Superiore di Pisa in 1968, Aiello became a researcher for the National Research Council , in Pisa, also working in the 1970s with John McCarthy at Stanford University, following the death of her husband, computer scientist Mario Aiello, in 1976.
Luigia Carlucci Aiello's Published Works
Published Works
- The expensive tissue hypothesis (1995) (207)
- Verifying security protocols as planning in logic programming (2001) (82)
- Representation and use of metaknowledge (1986) (43)
- Principles of knowledge representation and reasoning : proceedings of the fifth international conference (KR'96), Cambridge, Massachusetts, November 5-8, 1996 (1996) (31)
- A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic (1996) (29)
- Reasoning About Knowledge and Ignorance (1988) (23)
- Modeling the office structure: A first step towards the Office Expert System (1984) (22)
- An Efficient Interpreter for the Lambda-Calculus (1981) (21)
- Reasoning about Student Knowledge and Reasoning (1991) (17)
- Using Meta-Theoretic Reasoning to do Algebra (1980) (17)
- Speaky for robots: the development of vocal interfaces for robotic applications (2015) (15)
- Foundations of Logic and Functional Programming (1988) (15)
- SEDAF: an intelligent educational system for mathematics (1990) (14)
- A Structural Property on Modal Frames Characterizing Default Logic (1996) (13)
- Planning Attacks to Security Protocols: Case Studies in Logic Programming (2002) (12)
- Definability and Commonsense Reasoning (1997) (12)
- The semantics of PASCAL in LCF. (1974) (11)
- An executable specification language for planning attacks to security protocols (2000) (11)
- Knowledgeable Talking Robots (2013) (8)
- A Rational reconstruction of the Diagnostic Process in Intelligent Tutoring Systems (1990) (8)
- Towards a More Declarative Programming Style (1977) (8)
- SAMPLE: an intelligent educational system for electrical circuits (1991) (7)
- Research Report 2008 (2009) (7)
- Yet Another Solution to the Three Wisemen Puzzle (1988) (7)
- Intelligent Agents in the Situation Calculus: an Application to User Modelling (1996) (7)
- Case Studies in Cognitive Robotics (2001) (7)
- Reasoning about reasoning in a meta-level architecture (1991) (6)
- itc . it PLANNING AND VERIFICATION TECHNIQUES FOR THE HIGH LEVEL PROGRAMMING AND MONITORING OF AUTONOMOUS ROBOTIC DEVICES (2001) (6)
- Defaults as restrictions on classical Hilbert-style proofs (1994) (6)
- SAT-Based Cooperative Planning: A Proposal (2005) (6)
- The multifaceted impact of Ada Lovelace in the digital age (2016) (6)
- Modal and meta languages: consistency and expressiveness (1995) (6)
- Merging Planning and Verication Techniques for \Safe Planning" in Space Robotics (2001) (5)
- Adding a Closure Operator to the Extended Relational Algebra: A Further Step Towards the Integration of Database Techniques and Logic Programming (1989) (5)
- Perspectives in knowledge representation (1991) (5)
- Intuitionistic Autoepistemic Logic (1997) (4)
- Reasoning with worlds and truth maintenance in an intelligent tutoring system (1992) (3)
- Reasoning about Knowledge: The Meta-Level Approach (1991) (3)
- Towards a Formal Definition of the Control in Structured Programs (1973) (3)
- Automatic Generation of Semantic Attachments in FOL (1980) (3)
- Suppose you have a robot (2011) (3)
- Lecture notes in computer science on Foundations of logic and functional programming (1988) (2)
- Proving program correctness in L. C. F (1974) (2)
- Evaluating Logic Programs via Set-Valued Functions (1987) (2)
- Proceedings of the Workshop on Foundations of Logic and Functional Programming (1986) (2)
- Helping students refine their working hypotheses: a first pass in thedomain of language tutoring (1990) (2)
- Pascal in LCF: Semantics and Examples of Proof (1977) (2)
- Building the Expert Module for ITS in Mathematics: A General Reasoning Apparatus (1993) (2)
- Metalevel Knowledge in Intelligent Educational Systems (1989) (2)
- Default logic as a formalism for understanding commonsense reasoning (1996) (1)
- Attacking fair-exchange protocols: parallel models vs trace models (2001) (1)
- A Meta-Level Abstract Description of Diagnosis in Intelligent Educational Systems. (1991) (1)
- Computing: report leaps geographical barriers but stumbles over gender (2006) (1)
- Development of intelligent service robots (2013) (1)
- Default Logic and purity of reasoning (1999) (1)
- Formal Definition of Semantics of Generated Control Regimes (1976) (1)
- Can we believe our beliefs (1991) (1)
- LCFsmall: an implementation of LCF. (1974) (1)
- Programming language semantics in a typed lambda - calculus (1975) (1)
- Logics in Artificial Intelligence (2019) (1)
- Research trends in knowledge representation (1991) (1)
- Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (1988) (1)
- Speaky for robots: the development of vocal interfaces for robotic applications (2015) (0)
- Commonsense Reasoning (1996) (0)
- Meta-Reasoning: Transcription of an Invited Lecture by (1990) (0)
- Speaky for Robots (2013) (0)
- An Intelligent Educational System for Electrical Circuits (1991) (0)
- Archaeologist M.D. (1967) (0)
- Informal proofs formally checked by machine (1976) (0)
- Reasoning Techniques (Panel) (1986) (0)
- ECAI 90 : proceedings of the 9th European Conference on Artificial Intelligence, August 6-10, 1990 (1990) (0)
- RoboCup@Sapienza (2013) (0)
- List of Publications (2005) (0)
This paper list is powered by the following services:
Other Resources About Luigia Carlucci Aiello
What Schools Are Affiliated With Luigia Carlucci Aiello?
Luigia Carlucci Aiello is affiliated with the following schools: