Time-Table Disjunctive Reasoning for the Cumulative Constraint.

Steven Gay Renaud Hartert Pierre Schaus

Published in: CPAIOR (2015)

Keyphrases

database
data sets
knowledge base
model based reasoning
global constraints
constraint solving
linear constraints
reasoning tasks
reasoning process
deductive reasoning
reasoning mechanisms
computational properties
legal reasoning
automated reasoning
meta level
knowledge representation
case study
machine learning