scientific article; zbMATH DE number 1149451
From MaRDI portal
Publication:4386975
zbMath0895.68133MaRDI QIDQ4386975
G. Gogic, Christos H. Papadimitriou, Martha Sideris
Publication date: 13 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Belief revision within fragments of propositional logic ⋮ The size of a revised knowledge base ⋮ Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic ⋮ On the complexity of monotone dualization and generating minimal hypergraph transversals ⋮ On the difference of Horn theories ⋮ Efficiently enumerating hitting sets of hypergraphs arising in data profiling ⋮ Resolution based algorithms for the transversal hypergraph generation problem ⋮ Semantical and computational aspects of Horn approximations ⋮ The complexity of theory revision
This page was built for publication:
