Search - Archive ouverte HAL Access content directly

Filter your results

10 Results
authFullName_s : Carl Hewitt
Image document

Inconsistency Robustness in Foundations

Carl Hewitt
Carl Hewitt, John Woods. Inconsistency Robustness, 52, College Publications, 2015, Studies in logic, 978-1-84890-159-9
Book sections hal-01148293v17
Image document

Actor Model of Computation for Scalable Robust Information Systems

Carl Hewitt
Symposium on Logic and Collaboration for Intelligent Applications,, Mar 2017, Stanford, United States
Conference papers hal-01163534v7
Image document

For Cybersecurity, Computer Science Must Rely on the Opposite of Gödel’s Results

Carl Hewitt
Symposium on Logic and Collaboration for Intelligent Applications, Mar 2017, Stanford, United States
Conference papers hal-01566393v14
Image document

Computer Science Must Rely on Strongly-Typed Actors and Theories for Cybersecurity

Carl Hewitt
Inference Robustness, In press
Book sections hal-02165430v2
Image document

For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors

Carl Hewitt
Inconsistency Robustness, 2nd Ed., 2019
Book sections hal-02136170v1
Image document

Security without IoT Mandatory Backdoors

Carl Hewitt
2016
Preprints, Working Papers, ... hal-01152495v14
Image document

Formalizing common sense reasoning for scalable inconsistency-robust information coordination using Direct Logic™ Reasoning and the Actor Model

Carl Hewitt
Inconsistency Robustness, 2015, 978-1-84890-159-9
Book sections hal-01148501v12
Image document

ActorScript™ extension of C#®, Java®, Objective C®, JavaScript®, and SystemVerilog using iAdaptive™ concurrency for antiCloud™ privacy and security

Carl Hewitt
Inconsistency Robustness, 2015, 978-1-84890-159-9
Book sections hal-01147821v6

Agent Languages and Their Relationship to Other Programming Paradigms (Statements of the panel)

John-Jules Charles Meyer , Jean-Pierre Briot , Keith Clark , Carl Hewitt
Intelligent Agents V - Agent Theories, Architectures, and Languages (ATAL'98), 1555, Springer, pp.309-316, 1998, Lecture Notes in Computer Science, ⟨10.1007/3-540-49057-4_20⟩
Book sections istex hal-01621694v1
Image document

Inconsistency Robustness for Logic Programs

Carl Hewitt
Inconsistency Robustness, 2015, 978-1-84890-159
Book sections hal-01148496v6