( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Relating Disjunctive Logic Programs to Default Theories.

, и . LPNMR, стр. 266-282. MIT Press, (1993)

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.

Katsumi Nomura

Heide Inoue

Tomoyuki Inoue

Norman Inoue

Hiroko Inoue

 

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

Characterization Theorems for Revision of Logic Programs., и . LPNMR, том 8148 из Lecture Notes in Computer Science, стр. 485-498. Springer, (2013)Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?., , , , и . IJCAI, стр. 1237-1243. IJCAI/AAAI Press, (2016)Model of Double-Strand Break of DNA in Logic-Based Hypothesis Finding., , , и . ILP (Late Breaking Papers), стр. 69-76. Imperial College Press / World Scientific, (2011)Abducing Relations in Continuous Spaces., , и . IJCAI, стр. 1956-1962. ijcai.org, (2018)Abductive Framework for Nonmonotonic Theory Change., и . IJCAI, стр. 204-210. Morgan Kaufmann, (1995)Bottom-up Abduction by Model Generation., , , и . IJCAI, стр. 102-108. Morgan Kaufmann, (1993)Coverage-Based Clause Reduction Heuristics for CDCL Solvers., и . SAT, том 10491 из Lecture Notes in Computer Science, стр. 136-144. Springer, (2017)Generality Relations in Answer Set Programming., и . ICLP, том 4079 из Lecture Notes in Computer Science, стр. 211-225. Springer, (2006)Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving., , , и . CADE, том 1249 из Lecture Notes in Computer Science, стр. 176-190. Springer, (1997)Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information., , и . CoRR, (2015)