( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
New Results for Horn Cores and Envelopes of Horn Disjunctions.

, и . ECAI, том 178 из Frontiers in Artificial Intelligence and Applications, стр. 60-64. IOS Press, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Kazuhisa Kakurai

 

Другие публикации лиц с тем же именем

On functional dependencies in q-Horn theories., , и . Artif. Intell., 131 (1-2): 171-187 (2001)Computing Intersections of Horn Theories for Reasoning with Models., , и . Artif. Intell., 110 (1): 57-101 (1999)Locating Sources to Meet Flow Demands in Undirected Networks., , , и . J. Algorithms, 42 (1): 54-68 (2002)A representation of antimatroids by Horn rules and its application to educational systems., , и . CoRR, (2015)Finding Sparse Solutions for Packing and Covering Semidefinite Programs., и . CoRR, (2018)Disjunctions of Horn Theories and Their Cores., , и . ISAAC, том 1533 из Lecture Notes in Computer Science, стр. 49-58. Springer, (1998)Parameterized Complexity of Sparse Linear Complementarity Problems., , и . IPEC, том 43 из LIPIcs, стр. 355-364. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)On the Boolean Connectivity Problem for Horn Relations., , и . SAT, том 4501 из Lecture Notes in Computer Science, стр. 187-200. Springer, (2007)Generating clause sequences of a CNF formula., , , , , и . CoRR, (2020)On Canonical Forms for Zero-Sum Stochastic Mean Payoff Games., , , и . Dyn. Games Appl., 3 (2): 128-161 (2013)