Login / Signup
On the Degeneracy of Sigma-Types in Presence of Computational Classical Logic.
Hugo Herbelin
Published in:
TLCA (2005)
Keyphrases
</>
classical logic
logic programming
possibilistic logic
modal logic
autoepistemic logic
commonsense reasoning
default logic
intuitionistic logic
valued logic
logic programs
automated theorem proving
revision operators
genetic algorithm
expert systems
general purpose
graphical models