A survey of some recent results on Spectrum Exchangeability in Polyadic Inductive Logic.

Jürgen Landes Jeff B. Paris Alena Vencovská

Published in: Synth. (2011)

Keyphrases

deductive reasoning
inductive learning
logic programming
logical framework
machine learning
classical logic
recent developments
modal logic
search engine
website
concept learning
power spectrum
nonmonotonic logics
digital circuits
epistemic logic