( en | de | ru )

 

Disambiguierung von "Inoue, Katsumi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming.

, , , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 278-286. Springer, (2023)

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

Hiroko Inoue

Norman Inoue

 

Weitere Publikationen von Autoren mit dem selben Namen

Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information., , und . CoRR, (2015)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)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)Coverage-Based Clause Reduction Heuristics for CDCL Solvers., und . SAT, Volume 10491 von Lecture Notes in Computer Science, Seite 136-144. Springer, (2017)Characterization Theorems for Revision of Logic Programs., und . LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 485-498. Springer, (2013)Generality Relations in Answer Set Programming., und . ICLP, Volume 4079 von Lecture Notes in Computer Science, Seite 211-225. Springer, (2006)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)Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?., , , , und . IJCAI, Seite 1237-1243. IJCAI/AAAI Press, (2016)Bottom-up Abduction by Model Generation., , , und . IJCAI, Seite 102-108. Morgan Kaufmann, (1993)