Difference between revisions of "Template:Computable knowledge"
Jump to navigation
Jump to search
imported>Waldyrious (please take such drastic changes to the talk page first.) |
imported>Biogeographist (added links) |
||
| Line 23: | Line 23: | ||
* [[Logic programming]] | * [[Logic programming]] | ||
* [[Ontology (information science)|Ontology]] | * [[Ontology (information science)|Ontology]] | ||
| + | * [[Personal knowledge base]] | ||
* [[Question answering]] | * [[Question answering]] | ||
* [[Semantic reasoner]] | * [[Semantic reasoner]] | ||
| Line 39: | Line 40: | ||
* [[Hilbert's program]] (1920s) | * [[Hilbert's program]] (1920s) | ||
* [[Gödel's incompleteness theorems|Incompleteness theorem]] (1931) | * [[Gödel's incompleteness theorems|Incompleteness theorem]] (1931) | ||
| + | * ''[[World Brain]]'' (1938) | ||
* [[Memex]] (1945) | * [[Memex]] (1945) | ||
* [[General Problem Solver]] (1959) | * [[General Problem Solver]] (1959) | ||