arXiv:1512.05177v1 [cs.LO] 16 Dec 2015
arXiv:1410.5037v2 [cs.LO] 18 Jun 2016
Artificial Intelligence Chapter 4: Knowledge Representation
Artificial Intelligence
Artificial Intelligence
article in press - School of Computer Science
article - British Academy
Arithmetics in finite but potentially infinite worlds ∀ ∃ ∀ ∃
Arithmetic as a theory modulo
Aristotle`s work on logic.
ARISTOTLE`S SYLLOGISM: LOGIC TAKES FORM
Aristotle`s particularisation
Aristotle, Boole, and Categories
Aristotle on Causation
Arindama Singh`s "Cantor`s Little Theorem"
Argumentative Synthesis Essay Topic
Argumentative Approaches to Reasoning with Maximal Consistency Ofer Arieli Christian Straßer
Argumentative Approaches to Reasoning with Maximal Consistency
Argumentations and logic
Argument construction and reinstatement in logics for
