Concept Synthesis Using Logic of Prototypes and Counterexamples: A Graded Consequence Approach.

Soma Dutta Piotr Wasilewski

Published in: PReMI (2015)

Keyphrases

logic programming
modal logic
logic synthesis
search algorithm
concept learning
classical logic
set theory
functional programs
real time
multi valued
logical framework
mathematical theory
linear logic
program synthesis
alternating time temporal logic