( en | de | ru )

 

Disambiguation of "Inoue, Katsumi"

Author of the publication

copydeleteadd this publication to your clipboard
Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis.

, , , , and . WALCOM, volume 14549 of Lecture Notes in Computer Science, page 242-256. Springer, (2024)

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. You can also use the button next to the name to display some publications already assigned to the person.

Katsumi Nomura

Heide Inoue

Tomoyuki Inoue

Hiroko Inoue

Norman Inoue

 

Other publications of authors with the same name

Updating Extended Logic Programs through Abduction., and . LPNMR, volume 1730 of Lecture Notes in Computer Science, page 147-161. Springer, (1999)Interpretable Utility-based Models Applied to the FightingICE Platform., , , and . CoG, page 1-8. IEEE, (2021)An efficient reasoning method on logic programming using partial evaluation in vector spaces., , , and . J. Log. Comput., 31 (5): 1298-1316 (2021)A Two-Phase Complete Algorithm for Multi-Objective Distributed Constraint Optimization., , and . J. Adv. Comput. Intell. Intell. Informatics, 18 (4): 573-580 (2014)Automated Abduction for Computer Forensics., and . ATC, volume 4158 of Lecture Notes in Computer Science, page 493-499. Springer, (2006)Diagnosis of Event Sequences with LFIT., , , , , and . ILP, volume 13779 of Lecture Notes in Computer Science, page 117-126. Springer, (2022)Learning Logic Programs Using Neural Networks by Exploiting Symbolic Invariance., and . ILP, volume 13191 of Lecture Notes in Computer Science, page 203-218. Springer, (2021)GNN Based Extraction of Minimal Unsatisfiable Subsets., , and . ILP, volume 14363 of Lecture Notes in Computer Science, page 77-92. Springer, (2023)Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments., and . CLIMA, volume 70 of Electronic Notes in Theoretical Computer Science, page 167-182. Elsevier, (2002)Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning., , and . Theory Pract. Log. Program., (2013)