Horn logic, search and satisfiability. A collection of papers in memory of Robert G. Jeroslow
type: Item
instance of: scholarly article
title: Horn logic, search and satisfiability. A collection of papers in memory of Robert G. Jeroslow
zbMATH Open document ID: 0869.00014
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-08-14T00:00:00Z
review text: The articles of this volume will be reviewed individually.
Mathematics Subject Classification ID: 00B15
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 03-06
zbMATH DE Number: 1017056
zbMATH Keywords: Horn logic
MaRDI profile type: Publication
Recommended article: Q4812982
Recommended article: Semantical and computational aspects of Horn approximations
Recommended article: Satisfiability of mixed Horn formulas
Recommended article: Semantics of Horn and disjunctive logic programs
Recommended article: A note on the complexity of the satisfiability of modal Horn clauses
Recommended article: Q3384904
Recommended article: Q4205083
Recommended article: Q3140392
Recommended article: The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics
Recommended article: On a generalization of Horn constraint systems
description: scientific article; zbMATH DE number 1017056