( en | de | ru )

 

Disambiguierung von "Inoue, Katsumi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Relating Disjunctive Logic Programs to Default Theories.

, und . LPNMR, Seite 266-282. MIT Press, (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Katsumi Nomura

Heide Inoue

Tomoyuki Inoue

Norman Inoue

Hiroko Inoue

 

Weitere Publikationen von Autoren mit dem selben Namen

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