C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Predicate learning and selective theory deduction for a difference logic solver.
Chao Wang
Aarti Gupta
Malay K. Ganai
Published in:
DAC (2006)
Keyphrases
</>
learning process
learning systems
learning algorithm
reinforcement learning
supervised learning
learning problems
inductive learning
inductive inference
computer algebra
data sets
online learning
logic programming
learning tasks
learning scenarios
deductive reasoning