View source for Template:Computable knowledge

{{Navbox
  | name      = Computable knowledge
  | title     = Computable knowledge
  | listclass = hlist

  | group1    = Topics and<br />concepts
  | list1     =
* [[Alphabet of human thought]]
* [[Authority control]]
* [[Automated reasoning]]
* [[Commonsense knowledge (artificial intelligence)|Commonsense knowledge]]
* [[Commonsense reasoning]]
* [[Computability]]
* [[Discovery system (AI research)|Discovery system]]
* [[Formal system]]
* [[Inference engine]]
* [[Knowledge base]]
** [[Personal knowledge base]]
* [[Knowledge-based systems]]
* [[Knowledge engineering]]
* [[Knowledge extraction]]
* [[Knowledge graph]] 
* [[Knowledge representation and reasoning|Knowledge representation]]
* [[Knowledge retrieval]]
* [[Library classification]]
* [[Logic programming]]
* [[Ontology (information science)|Ontology]]
* [[Question answering]]
* [[Semantic reasoner]]

  | group2    = Proposals and<br />implementations
  | list2     =
* [[Antikythera mechanism]]{{nbsp}}(ca.{{nbsp}}100{{nbsp}}BCE)
* [[Zairja]]{{nbsp}}(ca.{{nbsp}}1000{{nbsp}}CE)
* ''[[Ramon Llull|Ars Magna]]''{{nbsp}}(1300)
* ''[[An Essay Towards a Real Character, and a Philosophical Language]]''{{nbsp}}(1688)
* ''[[Calculus ratiocinator]]'' and ''[[characteristica universalis]]''{{nbsp}}(1700)
* [[Dewey Decimal Classification]]{{nbsp}}(1876)
* [[Begriffsschrift]]{{nbsp}}(1879)
* [[Mundaneum]]{{nbsp}}(1910)
* [[Logical atomism]]{{nbsp}}(1918)
* ''[[Tractatus Logico-Philosophicus]]''{{nbsp}}(1921)
* [[Hilbert's program]]{{nbsp}}(1920s)
* [[Gödel's incompleteness theorems|Incompleteness theorem]]{{nbsp}}(1931)
* ''[[World Brain]]''{{nbsp}}(1938)
* [[Memex]]{{nbsp}}(1945)
* [[General Problem Solver]]{{nbsp}}(1959)
* [[Prolog]]{{nbsp}}(1972)
* [[Cyc]]{{nbsp}}(1984)
* [[Semantic Web]]{{nbsp}}(2001)
* [[Wikipedia]]{{nbsp}}(2001)
* [[Evi (software)|Evi]]{{nbsp}}(2007)
* [[Wolfram Alpha]]{{nbsp}}(2009)
* [[Watson (computer)|Watson]]{{nbsp}}(2011)
* [[Siri]]{{nbsp}}(2011)
* [[Google Knowledge Graph]]{{nbsp}}(2012)
* [[Wikidata]]{{nbsp}}(2012)
* [[Cortana (virtual assistant)|Cortana]]{{nbsp}}(2014)
* [[Viv (software)|Viv]]{{nbsp}}(2016)
  | group3    = In fiction
  | list3     =
* [[The Engine]] (''[[Gulliver's Travels]]'', 1726)
* Joe ("[[A Logic Named Joe]]", 1946)
* The Librarian (''[[Snow Crash]]'', 1992)
* Dr. Know (''[[A.I. Artificial Intelligence|A.I. (film)]]'', 2001)
* Waterhouse (''[[The Baroque Cycle]]'', 2003)
''See also: [[Artificial intelligence in fiction#Logic machines|Logic machines in fiction]] and [[List of fictional computers]]''

}}<noinclude>
[[Category:Technology and applied science navigational boxes]]
[[Category:Computer science navigational boxes]]
</noinclude>