( en | de | ru )

 

Disambiguierung von "Inoue, Katsumi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix.

, , und . ICLP (Technical Communications), Volume 17 von LIPIcs, Seite 86-97. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)

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

Negotiation by abduction and relaxation., und . AAMAS, Seite 242. IFAAMAS, (2007)Brave induction: a logical framework for learning from incomplete information., und . Mach. Learn., 76 (1): 3-35 (2009)Special issue on inductive logic programming., , und . Mach. Learn., 106 (12): 1863-1865 (2017)Analyzing resilience properties in oscillatory biological systems using parametric model checking., , und . Biosyst., (2016)Prolog Cafe : A Prolog to Java Translator System., , und . INAP, Volume 4369 von Lecture Notes in Computer Science, Seite 1-11. Springer, (2005)Exploring Relations between Answer Set Programs., und . Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, Volume 6565 von Lecture Notes in Computer Science, Seite 91-110. Springer, (2011)Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets., , und . CMSB, Volume 9308 von Lecture Notes in Computer Science, Seite 239-250. Springer, (2015)Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation., und . ECAI, Volume 215 von Frontiers in Artificial Intelligence and Applications, Seite 277-282. IOS Press, (2010)Learning Inference by Induction., , und . ILP, Volume 9575 von Lecture Notes in Computer Science, Seite 183-199. Springer, (2015)An Abductive Procedure for the CMS/ATMS.. Truth Maintenance Systems (ECAI Workshop), Volume 515 von Lecture Notes in Computer Science, Seite 34-53. Springer, (1990)