@article{CTT100750379,
  author = {David Martínez and Guillem Alenyà and Tony Ribeiro and Katsumi Inoue and Carme Torras},
  title = {Relational Reinforcement Learning for Planning with Exogenous Effects},
  journal = {Journal of Machine Learning Research},
  year = 2017,
}

@article{CTT100750397,
  author = {Tony Ribeiro and Sophie Tourret and Maxime Folschette and Morgan Magnin and Domenico Borzacchiello and Francisco Chinesta and Olivier Roux and Katsumi Inoue},
  title = {Learning Programs with Continuous Domains from State Transitions},
  journal = {In: Proceedings of the 27th International Conference on Inductive Logic Programming (ILP 2017; Orléans, France, September 4-6, 2017)},
  year = 2017,
}

@article{CTT100750439,
  author = {Yin Jun Phua and Sophie Tourret and Tony Ribeiro and Katsumi Inoue},
  title = {Learning Logic Program Representation for Delayed Systems with Limited Training Data},
  journal = {In: The 27th International Conference on Inductive Logic Programming (ILP 2017; Orléans, France, September 4-6, 2017)},
  year = 2017,
}

@article{CTT100750373,
  author = {Hidetomo Nabeshima and Katsumi Inoue},
  title = {Coverage-Based Clause Reduction Heuristics for CDCL Solvers},
  journal = {In: Serge Gaspers and Toby Walsh (eds.), Theory and Applications of Satisfiability Testing: Proceedings of the 20th International Conference (SAT 2017; Melbourne, VIC, Australia, August 28 - September 1, 2017), Lecture Notes in Computer Science},
  year = 2017,
}

@article{CTT100750369,
  author = {Chiaki Sakama and Katsumi Inoue and Taisuke Sato},
  title = {Linear Algebraic Characterization of Logic Programs},
  journal = {In: Gang Li, et al. (eds.), Knowledge Science, Engineering and Management: Proceedings of the 10th International Conference (KSEM 2017; Melbourne, VIC, Australia, August 19-20, 2017), Lecture Notes in Artificial Intelligence},
  year = 2017,
}

@article{CTT100750298,
  author = {Mutsunori Banbara and Katsumi Inoue and Hiromasa Kaneyuki and Tenda Okimoto and Torsten Schaub and Takehide Soh and Naoyuki Tamura},
  title = {catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming},
  journal = {In: Marcello Balduccini and Tomi Janhunen (eds.), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 14th International Conference (LPNMR 2017; Espoo, Finland, July 3-6, 2017), Lecture Notes in Artificial Intelligence},
  year = 2017,
}

@article{CTT100750368,
  author = {Kotaro Okazaki and Katsumi Inoue},
  title = {Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences},
  journal = {In: Proceedings of the 19th IEEE International Conference on Business Informatics (CBI 2017; Thessaloniki, Greece, 24-26 July 2017)},
  year = 2017,
}

@article{CTT100750265,
  author = {Maxime Clement and Tenda Okimoto and Katsumi Inoue},
  title = {Distributed Pareto Local Search for Multi-Objective DCOPs},
  journal = {IEICE transactions on information and systems},
  year = 2017,
}

@article{CTT100750241,
  author = {Sophie Tourret and Enguerrand Gentet and Katsumi Inoue},
  title = {Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks},
  journal = {In: Fengyu Cong, Andrew Leung and Qinglai Wei (eds.), Advances in Neural Networks: Proceedings of the 14th International Symposium (ISNN 2017; Sapporo, Japan, June 21-23, 2017), Part 1, Lecture Notes in Computer Science},
  year = 2017,
}

@article{CTT100750067,
  author = {Emna Ben Abdallah and Tony Ribeiro and Morgan Magnin and Olivier Roux and Katsumi Inoue},
  title = {Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data},
  journal = {Algorithms},
  year = 2017,
}

@article{CTT100750065,
  author = {Alexander Andreychenko and Morgan Magnin and Katsumi Inoue},
  title = {Analyzing Resilience Properties in Oscillatory Biological Systems Using Parametric Model Checking},
  journal = {BioSystems},
  year = 2016,
}

@article{CTT100723854,
  author = {Tatsuya Sako and Takehide Soh and Mutsunori Banbara and Naoyuki Tamura and Hidetomo Nabeshima and Katsumi Inoue},
  title = {An Incremental SAT Method Library and its Application (in Japanese)},
  journal = {Computer Software},
  year = 2016,
}

@article{CTT100723856,
  author = {Shih-Min Wu and Tenda Okimoto and Katsutoshi Hirayama and Katsumi Inoue},
  title = {Multi-Objective Nurse Rerostering Problem},
  journal = {In: Quan Bai, Fenghui Ren, Katsuhide Fujita, Minjie Zhang and Takayuki Ito (eds.), Multi-agent and Complex Systems, Chapter 10, Studies in Computational Intelligence},
  year = 2016,
}

@article{CTT100750057,
  author = {Emna Ben Abdallah and Tony Ribeiro and Morgan Magnin and Olivier Roux and Katsumi Inoue},
  title = {Inference of Delayed Biological Regulatory Networks from Time Series Data},
  journal = {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},
  year = 2016,
}

@article{CTT100723847,
  author = {Chiaki Sakama and Katsumi Inoue},
  title = {Abduction, Conversational Implicature, and Misleading in Human Dialogues},
  journal = {Logic Journal of the IGPL},
  year = 2016,
}

@article{CTT100750045,
  author = {Mutsunori Banbara and Katsumi Inoue and Benjamin Kaufmann and Torsten Schaub and Takehide Soh and Naoyuki Tamura and Philipp Wanko},
  title = {teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming},
  journal = {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)},
  year = 2016,
}

@article{CTT100750046,
  author = {Maxime Clement and Tenda Okimoto and Katsumi Inoue and Mutsunori Banbara},
  title = {$\Sigma_{x}$-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems},
  journal = {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)},
  year = 2016,
}

@article{CTT100723844,
  author = {Tenda Okimoto and Tony Ribeiro and Damien Bouchabou and Katsumi Inoue},
  title = {Mission Oriented Robust Multi-Team Formation and its Application to Robot Rescue Simulation},
  journal = {In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16; New York, NY, USA)},
  year = 2016,
}

@article{CTT100723845,
  author = {Nicolas Schwind and Katsumi Inoue and Gauvain Bourgne and Sébastien Konieczny and Pierre Marquis},
  title = {Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?},
  journal = {In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16; New York, NY, USA)},
  year = 2016,
}

@article{CTT100723849,
  author = {Chiaki Sakama and Tony Ribeiro and Katsumi Inoue},
  title = {Learning Deduction Rules by Induction},
  journal = {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},
  year = 2016,
}

@article{CTT100723846,
  author = {David Martínez and Tony Ribeiro and Katsumi Inoue and Guillem Alenyà and Carme Torras},
  title = {Learning Relational Dynamics of Stochastic Domains for Planning},
  journal = {In: Proceedings of the 26th International Conference on Automated Planning and Scheduling, (ICAPS 2016; London, UK, June 12-17, 2016)},
  year = 2016,
}

@article{CTT100723855,
  author = {Jacopo Panerati and Giovanni Beltrame and Nicolas Schwind and Atefan Zeltner and Katsumi Inoue},
  title = {Probabilistic Resilience in Hidden Markov Models},
  journal = {IOP Conference Series: Materials Science and Engineering},
  year = 2016,
}

@article{CTT100723848,
  author = {Katsumi Inoue},
  title = {Meta-Level Abduction},
  journal = {IfCoLog Journal of Logics and their Applications},
  year = 2016,
}

@article{CTT100723853,
  author = {Nicolas Schwind and Morgan Magnin and Katsumi Inoue and Tenda Okimoto and Taisuke Sato and Kazuhiro Minami and Hiroshi Maruyama},
  title = {Formalization of Resilience for Constraint-Based Dynamic Systems},
  journal = {Journal of Reliable Intelligent Environments},
  year = 2016,
}

@article{CTT100723850,
  author = {Nicolas Schwind and Tenda Okimoto and Maxime Clement and Katsumi Inoue},
  title = {Representative Solutions for Multi-Objective Constraint Optimization Problems},
  journal = {In: Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016; Cape Town, South Africa, April 25-29, 2016)},
  year = 2016,
}

@article{CTT100723851,
  author = {Katsumi Inoue and Hayato Ohwada and Akihiro Yamamoto},
  title = {Inductive Logic Programming: Challenges},
  journal = {In: Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-16; Phoenix, Arizona, USA, February 14, 2016)},
  year = 2016,
}

@article{CTT100723852,
  author = {Nicolas Schwind and Katsumi Inoue},
  title = {Characterization of Logic Program Revision as an Extension of Propositional Revision},
  journal = {Theory and Practice of Logic Programming},
  year = 2016,
}

@article{CTT100723872,
  author = {Tony Ribeiro and Katsumi Inoue},
  title = {Learning Prime Implicant Conditions from Interpretation Transition},
  journal = {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},
  year = 2016,
}

@article{CTT100723857,
  author = {Tony Ribeiro and Morgan Magnin and Katsumi Inoue and Chiaki Sakama},
  title = {Learning Multi-Valued Biological Models with Delayed Influence from Time-Series Observations},
  journal = {In: Proceedings of the 14th International Conference on Machine Learning and Applications (IEEE ICMLA 2015; Miami, Florida, USA, December 9-11, 2015)},
  year = 2015,
}

@article{CTT100723859,
  author = {Alexander Andreychenko and Morgan Magnin and Katsumi Inoue},
  title = {Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets},
  journal = {In: Olivier F. Roux, Jérémie Bourdon (eds.), Computational Methods in Systems Biology: Proceedings of the 13th International Conference (CMSB 2015; Nantes, France, September 18, 2015), Lecture Notes in Bioinformatics},
  year = 2015,
}

@article{CTT100723858,
  author = {Mutsunori Banbara and Martin Gebser and Katsumi Inoue and Max Ostrowski and Andrea Peano and Torsten Schaub and Takehide Soh and Naoyuki Tamura and Matthias Weise},
  title = {aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming},
  journal = {In: Francesco Calimeri, Giovambattista Ianni, and Miroslaw Truszczynski (eds.), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 13th International Conference (LPNMR 2015; Lexington, KY, USA, September 30, 2015), Lecture Notes in Artificial Intelligence},
  year = 2015,
}

@article{CTT100723865,
  author = {Chiaki Sakama and Katsumi Inoue},
  title = {Can Machines Learn Logics?},
  journal = {In: Jordi Bieger, Ben Goertzel, and Alexey Potapov (eds.), Artificial General Intelligence: Proceedings of the 8th International Conference (AGI 2015; Berlin, Germany, July 24, 2015), Lecture Notes in Artificial Intelligence},
  year = 2015,
}

@article{CTT100723873,
  author = {Tenda Okimoto and Nicolas Schwind and Maxime Clement and Katsumi Inoue},
  title = {Task-Oriented Robust Team Formation Problem (in Japanese)},
  journal = {The Journal of the Institute of Electronics, Information and Communication Engineers},
  year = 2015,
}

@article{CTT100723874,
  author = {Tenda Okimoto and Maxime Clement and Nicolas Schwind and Katsumi Inoue},
  title = {Resilient Solutions for Dynamic Multi-Objective Constraint Optimization (in Japanese)},
  journal = {The Journal of the Institute of Electronics, Information and Communication Engineers},
  year = 2015,
}

@article{CTT100723868,
  author = {Tenda Okimoto and Nicolas Schwind and Maxime Clement and Tony Ribeiro and Katsumi Inoue and Pierre Marquis},
  title = {How to Form a Task-Oriented Robust Team},
  journal = {In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015; Istanbul, Turkey, May 4-8, 2015)},
  year = 2015,
}

@article{CTT100723876,
  author = {Maxime Folschette and Loïc Paulevé and Katsumi Inoue and Morgan Magnin and Olivier Roux},
  title = {Identification of Biological Regulatory Networks from Process Hitting Models},
  journal = {Theoretical Computer Science},
  year = 2015,
}

@article{CTT100723871,
  author = {Tony Ribeiro and Morgan Magnin and Katsumi Inoue and Chiaki Sakama},
  title = {Learning Delayed Influences of Biological Systems},
  journal = {Frontiers in Bioengineering and Biotechnology},
  year = 2015,
}

@article{CTT100723870,
  author = {Nicolas Schwind and Katsumi Inoue and Gauvain Bourgne and Sébastien Konieczny and Pierre Marquis},
  title = {Belief Revision Games},
  journal = {In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-15; Austin, Texas, USA, January 27, 2015)},
  year = 2015,
}

@article{CTT100725356,
  author = {Maxime Clement and Tenda Okimoto and Nicolas Schwind and Katsumi Inoue},
  title = {Finding Resilient Solutions for Dynamic Multi-Objective Constraint Optimization Problem},
  journal = {Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART-2015)},
  year = 2015,
}

@inproceedings{CTT100750296,
  author = {Yin Jun Phua and Sophie Tourret and Katsumi Inoue},
  title = {Learning Logic Program Representation from Delayed Interpretation Transition Using Recurrent Neural Networks},
  booktitle = {In: Proceedings of the 1st International Workshop on Symbolic-Neural Learning (SNL-2017; Nagoya, Japan, July 7-8, 2017)},
  year = 2017,
}

@inproceedings{CTT100750063,
  author = {Enguerrand Gentet and Sophie Tourret and Katsumi Inoue},
  title = {Learning from Interpretation Transition using Feed-Forward Neural Networks},
  booktitle = {In: James Cussens and Alessandra Russo (eds.), Proceedings of the 26th International Conference on Inductive Logic Programming (ILP 2016; London, UK) (Short papers), CEUR Workshop Proceedings},
  year = 2017,
}

@inproceedings{CTT100723861,
  author = {Adrien Rougny and Yoshitaka Yamamoto and Hidetomo Nabeshima and Gauvain Bourgne and Anne Poupon and Katsumi Inoue and Christine Froidevaux},
  title = {Completing Signaling Networks by Abductive Reasoning with Perturbation Experiments},
  booktitle = {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},
  year = 2016,
}

@inproceedings{CTT100723860,
  author = {Tenda Okimoto and Maxime Clement and Katsutoshi Hirayama and Katsumi Inoue},
  title = {Skill-Based Dynamic Team Formation Problem},
  booktitle = {In: Proceedings of the 16th International Symposium on Advanced Intelligent Systems (ISIS 2015; Mokpu, Korea, November 4-7, 2015)},
  year = 2015,
}

@inproceedings{CTT100723869,
  author = {Maxime Clement and Tenda Okimoto and Katsumi Inoue and Mutsunori Banbara},
  title = {Sigma-Optimal Solutions in Multi-Objective Timetabling},
  booktitle = {In: Proceedings of Joint Agents Workshop and Symposium 2015 (JAWS 2015; Kaga, Ishikawa, Japan, October 1, 2015)},
  year = 2015,
}

@inproceedings{CTT100723863,
  author = {Marcus Völker and Katsumi Inoue},
  title = {Logic Programming for Cellular Automata},
  booktitle = {In: Marina De Vos, Thomas Eiter, Yuliya Lierler, and Francesca Toni (eds.), Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015; Cork, Ireland, September 2, 2015), CEUR Workshop Proceedings},
  year = 2015,
}

@inproceedings{CTT100723862,
  author = {David Martínez and Tony Ribeiro and Katsumi Inoue and Guillem Alenyà and Carme Torras},
  title = {Learning Probabilistic Action Models from Interpretation Transitions},
  booktitle = {In: Marina De Vos, Thomas Eiter, Yuliya Lierler, and Francesca Toni (eds.), Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015; Cork, Ireland, September 2, 2015), CEUR Workshop Proceedings},
  year = 2015,
}

@inproceedings{CTT100723864,
  author = {Tenda Okimoto and Shih-Min Wu and Katsutoshi Hirayama and Katsumi Inoue},
  title = {Favorable Solution in Multi-Objective Nurse Rerostering Problem},
  booktitle = {In: Proceedings of the International Symposium on Scheduling 2015 (ISS 2015; Kobe, Japan, July 5, 2015)},
  year = 2015,
}

@inproceedings{CTT100723867,
  author = {Chiaki Sakama and Katsumi Inoue},
  title = {Abduction, Conversational Implicature, and Misleading},
  booktitle = {The International Conference on Model-Based Reasoning in Science and Technology (MBR’015_ITALY; Sestri Levante, Italy, June 25-27, 2015)},
  year = 2015,
}

@inproceedings{CTT100723875,
  author = {Chiaki Sakama and Katsumi Inoue},
  title = {Abduction and Conversational Implicature (Extended Abstract)},
  booktitle = {In: Proceedings of the 12th International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2015; Stanford University, Stanford, CA, USA, March 24, 2015), Papers from the AAAI Spring Symposium, Technical Report SS-15-04},
  year = 2015,
}