Analyzing Time-Related Clauses in Transparent Intensional Logic.

Ales Horák Milos Jakubícek Vojtech Kovár

Published in: RASLAN (2011)

Keyphrases

horn clauses
databases
search space
multi valued
classical logic
learning algorithm
information systems
object oriented
logic programming
automated reasoning