Two Proof-Theoretic Remarks on EA + ECT.

Volker Halbach Leon Horsten

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

Keyphrases

proof theoretic
evolutionary algorithm
default reasoning
linear logic
nonmonotonic reasoning
proof theory
constraint logic programming
model theoretic
fixpoint
logic programs
description logics
cut elimination
knowledge base
logic programming
deductive databases