Functional extension of structural logic optimization techniques.

José Alberto Espejo Luis Entrena Enrique San Millán Emilio Olías

Published in: ASP-DAC (2001)

Keyphrases

proof theoretic
logic programming
linear time temporal logic
structural information
modal logic
multi valued
real time
learning algorithm
optimization methods
classical logic
data model
description logics
automated reasoning
structural models
proof theory
tableau calculus