|
Publication List - Katsumi Inoue 2016 (19 / 49 entries)
Journal Paper
-
Alexander Andreychenko,
Morgan Magnin,
Katsumi Inoue.
Analyzing Resilience Properties in Oscillatory Biological Systems Using Parametric Model Checking,
BioSystems,
Vol. 149,
pp. 50-58,
Dec. 2016.
-
Tatsuya Sako,
Takehide Soh,
Mutsunori Banbara,
Naoyuki Tamura,
Hidetomo Nabeshima,
Katsumi Inoue.
An Incremental SAT Method Library and its Application (in Japanese),
Computer Software,
岩波書店,
Vol. 33,
No. 4,
pp. 16-29,
Nov. 2016.
-
Shih-Min Wu,
Tenda Okimoto,
Katsutoshi Hirayama,
Katsumi Inoue.
Multi-Objective Nurse Rerostering Problem,
In: Quan Bai, Fenghui Ren, Katsuhide Fujita, Minjie Zhang and Takayuki Ito (eds.), Multi-agent and Complex Systems, Chapter 10, Studies in Computational Intelligence,
Springer,
Vol. 607,
pp. 139-152,
Oct. 2016.
-
Emna Ben Abdallah,
Tony Ribeiro,
Morgan Magnin,
Olivier Roux,
Katsumi Inoue.
Inference of Delayed Biological Regulatory Networks from Time Series Data,
In: Ezio Bartocci, Pietro Liò, Nicola Paoletti (eds.), Computational Methods in Systems Biology: Proceedings of the 14th International Conference (CMSB 2016; Cambridge, UK), Lecture Notes in Bioinformatics,
Springer,
Vol. 9859,
pp. 30-48,
Sept. 2016.
-
Chiaki Sakama,
Katsumi Inoue.
Abduction, Conversational Implicature, and Misleading in Human Dialogues,
Logic Journal of the IGPL,
Oxford University Press,
Vol. 24,
No. 4,
pp. 526-541,
Aug. 2016.
-
Mutsunori Banbara,
Katsumi Inoue,
Benjamin Kaufmann,
Torsten Schaub,
Takehide Soh,
Naoyuki Tamura,
Philipp Wanko.
teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming,
In: Edmund K. Burke, Luca Di Gaspero, Ender Özcan, Barry McCollum and Andrea Schaerf (eds.), Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016; Udine, Italy),
pp. 13-32,
Aug. 2016.
-
Maxime Clement,
Tenda Okimoto,
Katsumi Inoue,
Mutsunori Banbara.
$\Sigma_{x}$-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems,
In: Edmund K. Burke, Luca Di Gaspero, Ender Özcan, Barry McCollum and Andrea Schaerf (eds.), Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016; Udine, Italy),
pp. 63-79,
Aug. 2016.
-
Tenda Okimoto,
Tony Ribeiro,
Damien Bouchabou,
Katsumi Inoue.
Mission Oriented Robust Multi-Team Formation and its Application to Robot Rescue Simulation,
In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16; New York, NY, USA),
AAAI Press,
pp. 454-460,
July 2016.
-
Nicolas Schwind,
Katsumi Inoue,
Gauvain Bourgne,
Sébastien Konieczny,
Pierre Marquis.
Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?,
In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16; New York, NY, USA),
AAAI Press,
pp. 1237-1243,
July 2016.
-
Chiaki Sakama,
Tony Ribeiro,
Katsumi Inoue.
Learning Deduction Rules by Induction,
In: Katsumi Inoue, Hayato Ohwada, and Akihiro Yamamoto (eds.), Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference (ILP 2015; Kyoto, Japan, August 20-22, 2015), Lecture Notes in Artificial Intelligence,
Springer,
Vol. 9575,
pp. 183-199,
July 2016.
-
Jacopo Panerati,
Giovanni Beltrame,
Nicolas Schwind,
Atefan Zeltner,
Katsumi Inoue.
Probabilistic Resilience in Hidden Markov Models,
The 4th International Conference on Manufacturing, Optimization, Industrial and Material Engineering 2016 (MOIME 2016),
IOP Conference Series: Materials Science and Engineering,
IOP Publishing,
Vol. 131,
No. 12007,
June 2016.
-
David Martínez,
Tony Ribeiro,
Katsumi Inoue,
Guillem Alenyà,
Carme Torras.
Learning Relational Dynamics of Stochastic Domains for Planning,
In: Proceedings of the 26th International Conference on Automated Planning and Scheduling, (ICAPS 2016; London, UK, June 12-17, 2016),
AAAI Press,
pp. 235-243,
June 2016.
-
Katsumi Inoue.
Meta-Level Abduction,
IfCoLog Journal of Logics and their Applications,
College Publications,
Vol. 3,
No. 1,
pp. 7-35,
May 2016.
-
Nicolas Schwind,
Morgan Magnin,
Katsumi Inoue,
Tenda Okimoto,
Taisuke Sato,
Kazuhiro Minami,
Hiroshi Maruyama.
Formalization of Resilience for Constraint-Based Dynamic Systems,
Journal of Reliable Intelligent Environments,
Springer,
Vol. 2,
No. 1,
pp. 17-35,
Apr. 2016.
-
Nicolas Schwind,
Tenda Okimoto,
Maxime Clement,
Katsumi Inoue.
Representative Solutions for Multi-Objective Constraint Optimization Problems,
In: Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016; Cape Town, South Africa, April 25-29, 2016),
AAAI Press,
pp. 601-604,
Apr. 2016.
-
Katsumi Inoue,
Hayato Ohwada,
Akihiro Yamamoto.
Inductive Logic Programming: Challenges,
In: Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-16; Phoenix, Arizona, USA, February 14, 2016),
AAAI Press,
pp. 4330-4332,
Feb. 2016.
-
Nicolas Schwind,
Katsumi Inoue.
Characterization of Logic Program Revision as an Extension of Propositional Revision,
Theory and Practice of Logic Programming,
Cambridge University Press,
Vol. 16,
No. 1,
pp. 111-138,
Jan. 2016.
-
Tony Ribeiro,
Katsumi Inoue.
Learning Prime Implicant Conditions from Interpretation Transition,
In: Jesse Davis, Jan Ramon (eds.), Inductive Logic Programming: Revised Selected Papers from the 24th International Conference (ILP 2014; Nancy, France, September 14-16, 2014). Lecture Notes in Artificial Intelligence,
Springer,
Vol. 9046,
pp. 108-125,
Jan. 2016.
International Conference (Reviewed)
-
Adrien Rougny,
Yoshitaka Yamamoto,
Hidetomo Nabeshima,
Gauvain Bourgne,
Anne Poupon,
Katsumi Inoue,
Christine Froidevaux.
Completing Signaling Networks by Abductive Reasoning with Perturbation Experiments,
In: Late Breaking Papers of the 25th International Conference on Inductive Logic Programming (ILP 2015; Kyoto University, Kyoto, Japan, August 20-22, 2015), CEUR Workshop Proceedings,
CEUR-WS.org,
Vol. 1636,
pp. 95-100,
July 2016.
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|