C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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