ARTICLE
|
doi:10.20944/preprints201905.0090.v1
Subject:
Computer Science And Mathematics,
Artificial Intelligence And Machine Learning
Keywords:
intelligence; inductive methods; deductive methods; pseudorandom number; artificial intelligence; Prolog; Otter; Z3; deep learning; ensemble methods; automated reasoning; coin-weighing puzzles
Online: 8 May 2019 (10:03:46 CEST)
ARTICLE
|
doi:10.20944/preprints201812.0312.v1
Subject:
Social Sciences,
Education
Keywords:
Word-Acaid, Philosophy, Behaviour, Conceptual Analysis, logic, deductive and inductive reasoning
Online: 26 December 2018 (11:59:45 CET)