foundations
49 pages in this folder
A Framework for Representing Knowledge
12 out · 3 in
A Proof Method for Cyclic Programs
15 out · 5 in
A Taxonomy of Illocutionary Acts
25 out · 9 in
A Universal Modular Actor Formalism for Artificial Intelligence
8 out · 14 in
Algorithm = Logic + Control
5 out · 3 in
Algorithmic Information Theory - Grunwald Vitanyi
18 out · 15 in
An Application of a Method for Analysis of Cyclic Programs
15 out · 3 in
An Unsolvable Problem of Elementary Number Theory
17 out · 19 in
Ascribing Mental Qualities to Machines
16 out · 33 in
Assigning Meanings to Programs
16 out · 22 in
Can Programming Be Liberated from the von Neumann Style
5 out · 2 in
Circumscription - A Form of Nonmonotonic Reasoning
19 out · 23 in
Circumscription - Applications to Formalizing Common Sense Knowledge
40 out · 11 in
Classes of Recursively Enumerable Sets and Their Decision Problems
33 out · 16 in
Communicating Sequential Processes
5 out · 4 in
Correctness of a Compiler for Arithmetic Expressions
12 out · 19 in
Elephant 2000 - A Programming Language Based on Speech Acts
54 out · 51 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
First Order Theories of Individual Concepts and Propositions
17 out · 25 in
Foundations Of Illocutionary Logic
17 out · 31 in
Foundations of Logic Programming - Lloyd
19 out · 30 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 · 2 in
Intelligence Without Representation
10 out · 7 in
Logic and Conversation
19 out · 8 in
Minds Brains and Science
17 out · 4 in
On Definable Sets of Positive Integers
15 out · 8 in
On Notation for Ordinal Numbers
11 out · 5 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
Some Philosophical Problems from the Standpoint of Artificial Intelligence
41 out · 20 in
Speech Acts - An Essay in the Philosophy of Language
28 out · 4 in
Studies in the Way of Words
13 out · 1 in
The Extended Mind
9 out · 3 in
The Knowledge Level
17 out · 18 in
The Society of Mind
57 out · 32 in
Theory of Self-Reproducing Automata
19 out · 16 in
Three Models for the Description of Language
17 out · 18 in
Towards a Mathematical Science of Computation
18 out · 21 in
True Believers - The Intentional Strategy and Why It Works
19 out · 9 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