Proceedings Fifth International Workshop on Classical Logic and Computation, CL&C 2014, Vienna, Austria, July 13, 2014.

Published in: CL&C (2014)

Keyphrases

international workshop
classical logic
pacific rim
domain driven data mining
logic programming
lecture notes in artificial intelligence
modal logic
revised selected papers
selected papers
acm sigkdd
default logic
intuitionistic logic
valued logic
data mining
high level