Titlebook: CSL ‘87; 1st Workshop on Comp Egon Börger,Hans Kleine Büning,Michael M. Richter Conference proceedings 1988 Springer-Verlag Berlin Heidelbe

分开

排他

Conference proceedings 1988ly by any of them. The novel and unifying aspect of this new branch of Logic is the algorithmic point of view which is based on experiences people had with computers. The aim of the "Computer-Science Logic" workshop and of this volume is to represent the richness of research activities in this field

figure

Intact

AIL

connoisseur

Deciding the path- and word-fair equivalence problem,

繁忙

GEM

Resolution with feature unification,ended by feature unification. Soundness and completeness of the calculus presented are reduced to the soundness and completeness results for an order-sorted predicate calculus with a fixed sort lattice containing primitive sorts only.

Brittle

Proving finite satisfiability of deductive databases,iability. The proposed extension is justified by a new characterization of finite satisfiability. This research was motivated by a database design problem: Deduction rules and integrity constraints in definite databases have to be finitely satisfiable.

Obedient