The Undecidability of the Logic of Subintervals.

Jerzy Marcinkowski Jakub Michaliszyn

Published in: Fundam. Informaticae (2014)

Keyphrases

classical logic
logic programming
modal logic
description logics
defeasible logic
set theory
data mining
bayesian networks
search algorithm
knowledge representation
multi valued
query containment
probabilistic planning
deontic logic
asynchronous circuits