نتایج جستجو برای: feed horn

تعداد نتایج: 78456  

2008
Marina Langlois Dhruv Mubayi Robert H. Sloan György Turán

Given a family of Horn clauses, what is the minimal number of Horn clauses implying all other clauses in the family? What is the maximal number of Horn clauses from the family without having resolvents of a certain kind? We consider various problems of this type, and give some sharp bounds. We also consider the probability that a random family of a given size implies all other clauses in the fa...

2016
Gerhard Brewka Jean-Guy Mailly Stefan Woltran

In this paper we introduce a new approach for revising and merging consistent Horn formulae under minimal model semantics. Our approach is translation-based in the following sense: we generate a propositional encoding capturing both the syntax of the original Horn formulae (the clauses which appear or not in them) and their semantics (their minimal models). We can then use any classical revisio...

Journal: :Urology Annals 2020

Journal: :Nature 1939

Journal: :Scientific American 1878

Journal: :The Lancet 1917

Journal: :The Tohoku Journal of Experimental Medicine 1990

Journal: :Proceedings of the American Mathematical Society 1959

Journal: :Science 1898

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید