( en | de | ru )

 

Disambiguierung von "Inoue, Katsumi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Fixpoint Characterization of Abductive Logic Programs.

, und . J. Log. Program., 27 (2): 107-136 (1996)

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

Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information., , und . CoRR, (2015)A Simple Characterization of Extended Abduction.. Computational Logic, Volume 1861 von Lecture Notes in Computer Science, Seite 718-732. Springer, (2000)Discovering Rules by Meta-level Abduction., , , und . ILP, Volume 5989 von Lecture Notes in Computer Science, Seite 49-64. Springer, (2009)Inductive Equivalence of Logic Programs., und . ILP, Volume 3625 von Lecture Notes in Computer Science, Seite 312-329. Springer, (2005)Computing Preferred Answer Sets in Answer Set Programming., , , und . LPAR, Volume 2850 von Lecture Notes in Computer Science, Seite 259-273. Springer, (2003)An Efficient I/O Architecture for RAM-Based Content-Addressable Memory on FPGA., , , , und . IEEE Trans. Circuits Syst. II Express Briefs, 66-II (2): 472-476 (2019)Coordination in answer set programming., und . ACM Trans. Comput. Log., 9 (2): 9:1-9:30 (2008)From Fifth Generation Computing to Skill Science - A Biographical Essay of Koichi Furukawa., , und . New Gener. Comput., 37 (2): 141-158 (2019)Disjunctive Abduction., und . New Gener. Comput., 37 (2): 219-243 (2019)Prioritized logic programming and its application to commonsense reasoning., und . Artif. Intell., 123 (1-2): 185-222 (2000)