Publication:4386975
From MaRDI portal
zbMath0895.68133MaRDI QIDQ4386975
G. Gogic, Christos H. Papadimitriou, Martha Sideris
Publication date: 13 May 1998
68T30: Knowledge representation
Related Items
Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic, On the difference of Horn theories, Belief revision within fragments of propositional logic, On the complexity of monotone dualization and generating minimal hypergraph transversals, Semantical and computational aspects of Horn approximations, The complexity of theory revision, The size of a revised knowledge base, Efficiently enumerating hitting sets of hypergraphs arising in data profiling, Resolution based algorithms for the transversal hypergraph generation problem