Canonicalization in the PrIKL Reasoner.

Don Libes Antoine Gerardin Severin Tixier Fabian Neuhaus

Published in: J. Softw. (2013)

Keyphrases

consistency checking
query answering
knowledge base
meta reasoning
data sets
temporal reasoning
databases
artificial intelligence
decision making
cooperative
domain knowledge
logic programs
qualitative and quantitative