foundations
80 pages in this folder
A Calculus of Communicating Systems
25 out · 12 in
A Calculus of Mobile Processes
47 out · 23 in
A Framework for Representing Knowledge
12 out · 3 in
A Mathematical Theory of Communication
21 out · 10 in
A Proof Method for Cyclic Programs
15 out · 6 in
A Robust Layered Control System
23 out · 7 in
A Taxonomy of Illocutionary Acts
25 out · 13 in
A Universal Modular Actor Formalism for Artificial Intelligence
8 out · 20 in
Algorithm = Logic + Control
5 out · 8 in
Algorithmic Information Theory - Grunwald Vitanyi
18 out · 18 in
An Application of a Method for Analysis of Cyclic Programs
15 out · 4 in
An Axiomatic Basis for Computer Programming - Hoare
45 out · 9 in
An Unsolvable Problem of Elementary Number Theory
17 out · 19 in
Articulating Reasons - Brandom
62 out · 37 in
Ascribing Mental Qualities to Machines
16 out · 33 in
Assertion - Stalnaker
45 out · 11 in
Assigning Meanings to Programs
16 out · 27 in
Can Programming Be Liberated from the von Neumann Style
5 out · 3 in
Causal Diagrams for Empirical Research - Pearl
37 out · 19 in
Causality - Pearl
41 out · 20 in
Circumscription - A Form of Nonmonotonic Reasoning
19 out · 27 in
Circumscription - Applications to Formalizing Common Sense Knowledge
40 out · 12 in
Classes of Recursively Enumerable Sets and Their Decision Problems
33 out · 22 in
Commitment in Dialogue
45 out · 14 in
Communicating Sequential Processes
5 out · 26 in
Concurrent Constraint Programming
37 out · 13 in
Convention - Lewis
38 out · 27 in
Correctness of a Compiler for Arithmetic Expressions
12 out · 20 in
Counterspeculation Auctions and Competitive Sealed Tenders
28 out · 17 in
Elephant 2000 - A Programming Language Based on Speech Acts
54 out · 52 in
Empiricism and the Philosophy of Mind - Sellars
49 out · 28 in
Epistemological Fault Lines Between Human and Artificial Intelligence
26 out · 3 in
Epistemological Problems of Artificial Intelligence
33 out · 16 in
Extensions of Some Theorems of Gödel and Church
13 out · 5 in
Fallacies - Hamblin
23 out · 7 in
First Order Theories of Individual Concepts and Propositions
17 out · 25 in
Foundations Of Illocutionary Logic
17 out · 34 in
Foundations of Logic Programming - Lloyd
19 out · 39 in
General Recursive Functions of Natural Numbers
17 out · 15 in
Generality in Artificial Intelligence
38 out · 12 in
How Do Committees Invent
17 out · 9 in
How to Do Things with Words
20 out · 11 in
Identification of Joint Interventional Distributions - Shpitser Pearl
35 out · 20 in
Intelligence Without Representation
10 out · 12 in
Jones-Sergot Normative Systems
52 out · 11 in
Languages and Language - Lewis
45 out · 13 in
Linear Logic
36 out · 16 in
Logic and Conversation
19 out · 24 in
Making It Explicit - Brandom
69 out · 32 in
Minds Brains and Science
17 out · 4 in
Mobile Ambients
25 out · 18 in
On Definable Sets of Positive Integers
15 out · 8 in
On Notation for Ordinal Numbers
11 out · 5 in
On the Acceptability of Arguments
30 out · 15 in
Philosophical Investigations - Wittgenstein
59 out · 24 in
Potential Outcomes Framework - Rubin
36 out · 17 in
Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components
53 out · 7 in
Programs with Common Sense
30 out · 15 in
Recursive Functions of Symbolic Expressions and Their Computation by Machine
42 out · 15 in
Recursive Predicates and Quantifiers
17 out · 16 in
Recursively Enumerable Sets of Positive Integers and Their Decision Problems
14 out · 16 in
Seven Turrets Of Babel
13 out · 11 in
Shared Cooperative Activity
37 out · 20 in
SharedPlans
35 out · 18 in
Some Philosophical Problems from the Standpoint of Artificial Intelligence
41 out · 21 in
Speech Acts - An Essay in the Philosophy of Language
28 out · 17 in
Studies in the Way of Words
13 out · 1 in
The Evolution of Cooperation
24 out · 13 in
The Extended Mind
9 out · 5 in
The Knowledge Level
17 out · 18 in
The Society of Mind
57 out · 35 in
The Strategy of Conflict
21 out · 12 in
Theory of Self-Reproducing Automata
19 out · 18 in
Three Models for the Description of Language
17 out · 21 in
Towards a Mathematical Science of Computation
18 out · 22 in
True Believers - The Intentional Strategy and Why It Works
19 out · 9 in
Two Dogmas of Empiricism - Quine
35 out · 20 in
We-intentions
22 out · 6 in
What is it to Understand a Directive Speech Act
17 out · 1 in
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
16 out · 13 in