Login / Signup
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.
Davide Bresolin
Dario Della Monica
Valentin Goranko
Angelo Montanari
Guido Sciavicco
Published in:
Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
</>
description logics
multi valued
genetic algorithm
logic programming
modal logic
linear systems
automated reasoning
defeasible logic
cubic spline
closed form
belief revision
linear model
continuous variables
classical logic
shift register