Twist your logic with TouIST.

Khaled Skander Ben Slimane Alexis Comte Olivier Gasquet Abdelwahab Heba Olivier Lezaud Frederic Maris Maël Valais

Published in: CoRR (2015)

Keyphrases

modal logic
automated reasoning
classical logic
probability theory
logical framework
defeasible logic
sound and complete axiomatization
data sets
logic synthesis
asynchronous circuits
predicate logic
set theory
computational properties
logic programming
relational databases
video sequences
social networks