Logical Extensions of Aristotle's Square.

Dominique Luzeaux Jean Sallantin Christopher Dartnell

Published in: Logica Universalis (2008)

Keyphrases

efficient implementation
case study
default logic
computer vision
predicate calculus
logical reasoning
real time
computational complexity
user interface
logic programs
logical properties
logical operations
logical rules