Proceedings Sixth International Workshop on Classical Logic and Computation, CL&C 2016, Porto, Portugal , 23th June 2016.

Published in: CL&C (2016)

Keyphrases

international workshop
classical logic
lecture notes in artificial intelligence
revised selected papers
logic programming
modal logic
domain driven data mining
selected papers
pacific rim
lecture notes
acm sigkdd
default logic
intuitionistic logic
possibility theory
valued logic
inference rules
logic programs