A Modal Herbrand's Property.

Marta Cialdea Luis Fariñas del Cerro

Published in: Math. Log. Q. (1986)

Keyphrases

logic programs
logic programming
modal logic
first order logic
data mining
real time
databases
genetic algorithm
three dimensional
knowledge representation
integrity constraints
horn clauses
monotonicity property