Carl Hewitt
#534
Most Influential Person Now
American mathematician and computer scientist
Carl Hewitt's AcademicInfluence.com Rankings
Carl Hewittcomputer-science Degrees
Computer Science
#39
World Rank
#41
Historical Rank
#22
USA Rank
Distributed Computing
#2
World Rank
#2
Historical Rank
#2
USA Rank
Artificial Intelligence
#17
World Rank
#18
Historical Rank
#9
USA Rank
Carl Hewittmathematics Degrees
Mathematics
#832
World Rank
#1484
Historical Rank
#364
USA Rank
Measure Theory
#977
World Rank
#1270
Historical Rank
#364
USA Rank
Download Badge
Computer Science Mathematics
Why Is Carl Hewitt Influential?
(Suggest an Edit or Addition)According to Wikipedia, Carl Eddie Hewitt was an American computer scientist who designed the Planner programming language for automated planning and the actor model of concurrent computation, which have been influential in the development of logic, functional and object-oriented programming. Planner was the first programming language based on procedural plans invoked using pattern-directed invocation from assertions and goals. The actor model influenced the development of the Scheme programming language, the π-calculus, and served as an inspiration for several other programming languages.
Carl Hewitt's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Viewing Control Structures as Patterns of Passing Messages (1977) (1363)
- A Universal Modular ACTOR Formalism for Artificial Intelligence (1973) (1303)
- A real-time garbage collector based on the lifetimes of objects (1983) (596)
- The incremental garbage collection of processes (1977) (423)
- Offices are open systems (1986) (407)
- Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot (1972) (351)
- The Scientific Community Metaphor (1988) (288)
- Open Information Systems Semantics for Distributed Artificial Intelligence (1991) (280)
- Comparative Schematology (1970) (261)
- Laws for Communicating Parallel Processes (1977) (228)
- Automata on a 2-Dimensional Tape (1967) (226)
- PLANNER: A Language for Proving Theorems in Robots (1969) (225)
- ORGs for Scalable, Robust, Privacy-Friendly Client Cloud Computing (2008) (187)
- The challenge of open systems (1990) (157)
- Concurrent programming using actors (1987) (157)
- Actors and Continuous Functionals (1978) (124)
- Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming (1987) (123)
- DAI betwixt and between: from 'intelligent agents' to open systems science (1991) (119)
- Procedural Embedding of knowledge in Planner (1971) (119)
- Actor Model of Computation: Scalable Robust Information Systems (2010) (117)
- Concurrent Programming Using Actors: Exploiting large-Scale Parallelism (1985) (111)
- Open Systems (1982) (102)
- Specification and Proof Techniques for Serializers (1979) (75)
- How To Use What You Know (1975) (57)
- Actor semantics of PLANNER-73 (1975) (52)
- Planner: a language for manipulating models and proving theorems in a robot" ijcai-69 (1970) (52)
- Synchronization in actor systems (1977) (49)
- What is Computation? Actor Model versus Turing's Model (2012) (49)
- Actor induction and meta-evaluation (1973) (46)
- Knowledge Embedding in the Description System Omega (1980) (44)
- The challenge of open systems: current logic programming methods may be insufficient for developing the intelligent systems of the future (1985) (41)
- The Apiary network architecture for knowledgeable systems (1980) (39)
- Analyzing the Roles of Descriptions and Actions in Open Systems (1983) (37)
- What Is Commitment? Physical, Organizational, and Social (Revised) (2006) (36)
- Comments on C. Hewitt, viewing control structures as patterns of passing messages, Artificial Intelligence 8 (1977) 323¿364 (1978) (36)
- Design Issues in Parallel Architectures for Artificial Intelligence (1983) (34)
- Specifying and Proving Properties of Guardians for Distributed Systems (1979) (34)
- Actor Model for Discretionary, Adaptive Concurrency (2010) (33)
- A session with Tinker: Interleaving program testing with program design (1980) (32)
- An Artificial Intelligence Perspective (1982) (27)
- Guarded Horn Clause Languages: Are They Deductive and Logical? (1991) (25)
- Programming Viewed as an Engineering Activity (1978) (24)
- Perfect Disruption: The Paradigm Shift from Mental Agents to ORGs (2009) (24)
- Semantic Support for Work in Organizations (1983) (23)
- PLANNER: A Language for Proving Theorems (1967) (23)
- Behavioral semantics of nonrecursive control structures (1974) (20)
- Large-Scale Organizational Computing Requires Unstratified Reflection and Strong Paraconsistency (2007) (19)
- Protection and Synchronization in Actor Systems (1974) (18)
- Dynamic graphics using quasi parallelism (1978) (18)
- Parallelism and Synchronization in Actor Systems. (1977) (17)
- Linguistic Support of Receptionists for Shared Resources (1984) (14)
- Modelling Distributed Systems (1977) (13)
- Security and Modularity in Message Passing (1979) (13)
- A Real Time Garbage Collector that can Recover Temporary Storage Quickly. (1980) (12)
- STEREOTYPES as an ACTOR Approach Towards Solving the Problem of Procedural Attachment in FRAME Theories (1975) (11)
- The Actor Model (2010) (10)
- Actor Model of Computation (2015) (10)
- Metacritique of McDermott and the logicist approach (1987) (9)
- Potentials and limitations of pen-based computers (1993) (9)
- Norms and Commitment for iOrgs(TM) Information Systems: Direct Logic(TM) and Participatory Grounding Checking (2009) (9)
- More Comparative Schematology (1970) (9)
- The Repeated Demise of Logic Programming and Why It Will Be Reincarnated (2006) (8)
- Message Passing Semantics. (1981) (8)
- Common sense for concurrency and strong paraconsistency using unstratified inference and reflection (2008) (8)
- Future Artificial Intelligence Requirements For Intelligent Database Systems - Panel Report (1988) (8)
- A language for proving theorems in robots (1971) (8)
- ActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing (2009) (7)
- Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model (2008) (7)
- Middle History of Logic Programming: Resolution, Planner, Edinburgh LCF, Prolog and the Japanese Fifth Generation Project (2009) (6)
- Norms and Commitment for ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking (2009) (6)
- Symbolic Evaluation Using Conceptual Respresentations for Programs with Side-Effects. (1976) (6)
- Implications of open systems (1986) (6)
- Concurrency in intelligent systems (1986) (6)
- Concurrent Systems Need Both Sequences And Serializers (1979) (6)
- Physical Indeterminacy in Digital Computation (2019) (5)
- Some Requirements for Mobile Distributed Telecomputing Architecture (1992) (5)
- Design of the APIARY for Actor Systems. (1980) (5)
- Evolving Parallel Programs (1979) (4)
- Knowledge Processing (1988) (4)
- Actor Programming Languages (2009) (4)
- The History, Status, and Future of FPGAs (2020) (4)
- Theory Ordinals Can Replace ZFC in Computer Science (2019) (4)
- Middle History of Logic Programming: Resolution, Planner, Prolog and the Japanese Fifth Generation Project (2009) (4)
- Preliminary Design of the APIARY for VLSI Support of Knowledge-Based Systems (1979) (4)
- Formalizing common sense reasoning for scalable inconsistency-robust information coordination using Direct Logic™ Reasoning and the Actor Model (2015) (4)
- Inconsistency Robustness in Foundations: Mathematics self proves its own Consistency and Other Matters (2009) (4)
- The history, status, and future of FPGAs (2020) (4)
- Teaching Procedures in Humans and Robots (1970) (4)
- Middle History of Logic Programming (2009) (3)
- Toward an Open Systems Architecture (1989) (3)
- Multiple Approaches to Multiple Agent Problem Solving (1991) (3)
- Technology for Project Liftoff (2020) (3)
- Security without IoT Mandatory Backdoors (2015) (3)
- Information Security Requires Strongly-Typed Actors and Theories (2019) (3)
- A historical perspective on developing foundations for privacy-friendly client cloud computing: The Paradigm Shift from "Inconsistency Denial" to "Practical Semantic Integration(TM)" (2009) (3)
- Islets Protect Sensitive IoT Information: Verifiably Ending Use of Sensitive IoT Information for Mass Surveillance Fosters (International) Commerce (2016) (3)
- Common sense for concurrency and inconsistency tolerance using Direct Logic(TM) (2008) (3)
- Middle History of Logic Programming: Resolution, Planner, Edinburgh Logic for Computable Functions, Prolog and the Japanese Fifth Generation Project (2009) (3)
- A historical perspective on developing foundations iInfo(TM) information systems: iConsult(TM) and iEntertain(TM) apps using iDescribers(TM) information integration for iOrgs(TM) information systems (2009) (3)
- Perfect Disruption Causing the Paradigm Shift from Mental Agents to ORGs (2008) (3)
- The gap in CS, mulling irrational exuberance (2018) (2)
- ActorScript(TM) extension of C sharp (TM), Java(TM), and Objective C(TM): iAdaptive(TM) concurrency for antiCloud(TM) privacy and security (2010) (2)
- Security Without IoT Mandatory Backdoors: Using Distributed Encrypted Public Recording to Catch & Prosecute Suspects (2016) (2)
- Actor Model of Computation: Many-Core Inconsistency-robust Information Integration (2010) (2)
- Proceedings of the Third ACM-SIGOIS Conference on Office Information Systems, COCS 1986, Providence, Rhode Island, USA, October 6-8, 1986 (1986) (1)
- Computer Science Must Rely on Strongly-Typed Actors and Theories for Cybersecurity (2019) (1)
- Guardians for Concurrent Systems (1980) (1)
- Inconsistency Robustness for Logic Programs (2009) (1)
- Inconsistency Robustness in Logic Programming (2009) (1)
- Using Message Passing Instead of the GOTO Construct (1978) (1)
- Strong Types for Direct Logic (2017) (1)
- Concurrent systems for knowledge processing (1989) (1)
- A historical perspective on developing foundations for privacy-friendly client cloud computing : The Paradigm Shift from “ Inconsistency Denial ” to “ Semantic Integration ” (2009) (1)
- Organizations are open systems (1991) (1)
- ActorScript™ extension of C#®, Java®, Objective C®, JavaScript®, and SystemVerilog using iAdaptive™ concurrency for antiCloud™ privacy and security (2015) (1)
- Proceedings of the workshop on Object-based concurrent programming (1991) (1)
- scriptJ(TM) extension of Java(R): discretionary, adaptive concurrency for privacy-friendly, client-cloud computing (2010) (1)
- ActorScript(TM) extension of C#(R), Java(R), and Objective C(R): discretionary, adaptive concurrency for privacy-friendly, client-cloud computing (2010) (1)
- Evolutionary Programming with the Aid of A Programmers' Apprentice (1979) (1)
- Functional Abstraction in LISP and PLANNER (1968) (0)
- Agencies : A Computational Model for the Web (1999) (0)
- Third ACM-SIGOA Conference on Office Information Systems, October 6-8, 1986, Provience, Rhode Island (1986) (0)
- PLANNER Progress Report 1972-1973. (1973) (0)
- OOP and AI (1991) (0)
- Installing Backdoors Assists CyberTerrorists (2015) (0)
- Recrafting Foundations of Computer Science (2020) (0)
- Actor Model of Computation: Programming the Many Cores for Inconsistency Robust Information Integration (2010) (0)
- Robust Inference for Universal Intelligent Systems (2021) (0)
- Views of office data (1982) (0)
- Secure (against cyberattackers) Backdoors for Universal Intelligent Systems (2019) (0)
- Planner Implementation Proposal to ARPA 1972-1973 (1971) (0)
- Distributed Public Recording (2015) (0)
- For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors (2019) (0)
- A historical perspective on developing foundations for privacy-friendly client cloud computing: iDescribers(TM) Information Integration for iOrgs(TM) Information Systems (2009) (0)
- Citadels: Increased Robustness and Better Information Integration Than Datacenters of Competing Companies (2016) (0)
- Inconsistency Robustness in Foundations (2015) (0)
- ARTIFICIAL INTELLIGENCE LABORATORY WORKING PAPER 180 FEBRUARY 1979 SECURITY AND MODULARITY IN MESSAGE PASSING (2008) (0)
- Highly-Secure Backdoors: Internet of Traitorous Things (IoTT) (2019) (0)
- ActorScript(TM): discretionary concurrency for privacy-friendly, client-cloud Computing (2009) (0)
- Norms and Commitment for ORGs (Organizations of Restricted Generality): Direct Logic(TM) and Participatory Grounding Checking(TM) (2009) (0)
- Bibliography External Interfaces Working Group Arpa Knowledge Sharing Effort. Kqml Overview. Working Paper, 1992. External Interfaces Working Group Arpa Knowledge Sharing Effort. Specification of the Kqml Agent-communication Language. Working Paper, December 1992. Force Module Selection Force Planne (1980) (0)
- Actor Programming Languages (withdrawn) (2009) (0)
- Machining Three Prongs on a Shaft (1983) (0)
- Preventing Successful Cyberattacks Using Strongly-typed Actors (2020) (0)
- A historical perspective on developing foundations for iInfoTM information systems: iConsult (2010) (0)
- Security without Mandatory Internet Backdoors (2015) (0)
- A historical perspective on developing foundations for privacy-friendly client cloud computing: iConsult(TM) Apps using iDescribers(TM) Information Integration for iOrgs(TM) Information Systems (2009) (0)
- For Cybersecurity, Computer Science Must Rely on Strong Types (2019) (0)
- Negotiation Architecture for Large-Scale Crisis Management Using NII (1994) (0)
- For Cybersecurity, Computer Science Must Rely on the Opposite of Gödel’s Results (2019) (0)
- Formalizing common sense for inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model (2008) (0)
- North Korea Deal (2017) (0)
- PLANNER Progress Report July 1971-June 1972. (1972) (0)
- Video Ergo Scio (1973) (0)
- Radio using Internet improves (2001) (0)
- OOP and AI (Panel) (1991) (0)
- Foundations of Concurrent Object-Oriented Programming (Panel) (1990) (0)
- Scalable Intelligent Systems by 2025 (2019) (0)
This paper list is powered by the following services:
Other Resources About Carl Hewitt
What Schools Are Affiliated With Carl Hewitt?
Carl Hewitt is affiliated with the following schools:
