The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Katsumi Inoue" ( http://dblp.L3S.de/Authors/Katsumi_Inoue )

URL (Homepage):  http://research.nii.ac.jp/~inoue  Author page on DBLP  Author page in RDF  Community of Katsumi Inoue in ASPL-2

Publication years (Num. hits)
1988-1994 (18) 1995-1999 (15) 2000-2003 (17) 2004-2005 (17) 2006-2007 (17) 2008-2009 (15) 2010-2011 (30) 2012-2013 (34) 2014-2015 (26) 2016 (15) 2017-2018 (31) 2019 (11)
Publication types (Num. hits)
article(75) book(1) inproceedings(167) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 23 occurrences of 23 keywords

Results
Found 247 publication records. Showing 246 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko teaspoon : solving the curriculum-based course timetabling problems with answer set programming. Search on Bibsonomy Annals OR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chiaki Sakama, Katsumi Inoue, Tony Ribeiro Learning Inference Rules from Data. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Katsumi Inoue, Chiaki Sakama Disjunctive Abduction. Search on Bibsonomy New Generation Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tomonobu Ozaki, Randy Goebel, Katsumi Inoue From Fifth Generation Computing to Skill Science - A Biographical Essay of Koichi Furukawa. Search on Bibsonomy New Generation Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yin Jun Phua, Tony Ribeiro, Katsumi Inoue Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham A 1.2-V 162.9 pJ/cycle bitmap index creation core with 0.31-pW/bit standby power on 65-nm SOTB. Search on Bibsonomy Microprocessors and Microsystems - Embedded Hardware Design The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham An Efficient I/O Architecture for RAM-Based Content-Addressable Memory on FPGA. Search on Bibsonomy IEEE Trans. on Circuits and Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xuan-Thuan Nguyen, Trong-Thuc Hoang, Katsumi Inoue, Ngoc-Tu Bui, Van-Phuc Hoang, Cong-Kha Pham A 1.2-V 90-MHz Bitmap Index Creation Accelerator with 0.27-nW Standby Power on 65-nm Silicon-On-Thin-Box (SOTB) CMOS. Search on Bibsonomy ISCAS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Takahiro Hosaka, Trong-Thuc Hoang, Van-Phuc Hoang, Duc-Hung Le, Katsumi Inoue, Cong-Kha Pham Live Demonstration: Real-Time Auto-Exposure Histogram Equalization Video-System using Frequent Items Counter. Search on Bibsonomy ISCAS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tobias Kaminski, Thomas Eiter, Katsumi Inoue Meta-Interpretive Learning Using HEX-Programs. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham An FPGA-Based Hardware Accelerator for Energy-Efficient Bitmap Index Creation. Search on Bibsonomy IEEE Access The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham An Efficient I/O Architecture for RAM-based Content-Addressable Memory on FPGA. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham An FPGA-Based Hardware Accelerator for Energy-Efficient Bitmap Index Creation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue Partial Evaluation of Logic Programs in Vector Spaces. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Tobias Kaminski, Thomas Eiter, Katsumi Inoue Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham A 1.2-V 162.9-pJ/cycle Bitmap Index Creation Core with 0.31-pW/bit Standby Power on 65-nm SOTB. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Tobias Kaminski, Thomas Eiter, Katsumi Inoue Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Katsumi Inoue, Trong-Thuc Hoang, Cong-Kha Pham Frequent items counter based on binary decoders. Search on Bibsonomy IEICE Electronic Express The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Katsumi Inoue, Trong-Thuc Hoang, Xuan-Thuan Nguyen, Hong-Thu Nguyen, Cong-Kha Pham VLSI Design of Frequent Items Counting Using Binary Decoders Applied to 8-bit per Item Case-study. Search on Bibsonomy PRIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue Learning Commonsense Knowledge Through Interactive Dialogue. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue Computing Logic Programming Semantics in Linear Algebra. Search on Bibsonomy MIWAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guillaume Lorthioir, Gauvain Bourgne, Katsumi Inoue Identifying Goals of Agents by Learning from Observations. Search on Bibsonomy MIWAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis Robust Coalition Structure Generation. Search on Bibsonomy PRIMA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham A 219-μW 1D-to-2D-Based Priority Encoder on 65-nm SOTB CMOS. Search on Bibsonomy ISCAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue Learning Dynamics with Synchronous, Asynchronous and General Semantics. Search on Bibsonomy ILP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis Probabilistic Coalition Structure Generation. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Taisuke Sato, Katsumi Inoue, Chiaki Sakama Abducing Relations in Continuous Spaces. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maxime Clement, Tenda Okimoto, Katsumi Inoue Multi-Objective Distributed Pseudo-Tree Optimization. Search on Bibsonomy AAMAS The full citation details ... 2018 DBLP  BibTeX  RDF
1Emir Demirovic, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue Recoverable Team Formation: Building Teams Resilient to Change. Search on Bibsonomy AAMAS The full citation details ... 2018 DBLP  BibTeX  RDF
1David Martínez Martínez, Guillem Alenyà, Tony Ribeiro, Katsumi Inoue, Carme Torras Relational Reinforcement Learning for Planning with Exogenous Effects. Search on Bibsonomy J. Mach. Learn. Res. The full citation details ... 2017 DBLP  BibTeX  RDF
1Maxime Clement, Tenda Okimoto, Katsumi Inoue Distributed Pareto Local Search for Multi-Objective DCOPs. Search on Bibsonomy IEICE Transactions The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto Special issue on inductive logic programming. Search on Bibsonomy Machine Learning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emna Ben Abdallah 0001, Tony Ribeiro, Morgan Magnin, Olivier H. Roux, Katsumi Inoue Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data. Search on Bibsonomy Algorithms The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chiaki Sakama, Katsumi Inoue, Taisuke Sato Linear Algebraic Characterization of Logic Programs. Search on Bibsonomy KSEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sophie Tourret, Enguerrand Gentet, Katsumi Inoue Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks. Search on Bibsonomy ISNN (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hidetomo Nabeshima, Katsumi Inoue Coverage-Based Clause Reduction Heuristics for CDCL Solvers. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xuan-Thuan Nguyen, Hong-Thu Nguyen, Katsumi Inoue, Osamu Shimojo, Cong-Kha Pham Highly parallel bitmap-based regular expression matching for text analytics. Search on Bibsonomy ISCAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier F. Roux, Katsumi Inoue Inductive Learning from State Transitions over Continuous Domains. Search on Bibsonomy ILP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yin Jun Phua, Tony Ribeiro, Sophie Tourret, Katsumi Inoue Learning Logic Program Representation for Delayed Systems With Limited Training Data. Search on Bibsonomy ILP (Late Breaking Papers) The full citation details ... 2017 DBLP  BibTeX  RDF
1Kotaro Okazaki, Katsumi Inoue Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences. Search on Bibsonomy CBI (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Katsumi Inoue Meta-Level Abduction. Search on Bibsonomy FLAP The full citation details ... 2016 DBLP  BibTeX  RDF
1Alexander Andreychenko, Morgan Magnin, Katsumi Inoue Analyzing resilience properties in oscillatory biological systems using parametric model checking. Search on Bibsonomy Biosystems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicolas Schwind, Morgan Magnin, Katsumi Inoue, Tenda Okimoto, Taisuke Sato, Kazuhiro Minami, Hiroshi Maruyama Formalization of resilience for constraint-based dynamic systems. Search on Bibsonomy J. Reliable Intelligent Environments The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicolas Schwind, Katsumi Inoue Characterization of logic program revision as an extension of propositional revision. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chiaki Sakama, Katsumi Inoue Abduction, conversational implicature and misleading in human dialogues. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto Inductive Logic Programming: Challenges. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Xuan-Thuan Nguyen, Hong-Thu Nguyen, Trong-Thuc Hoang, Katsumi Inoue, Osamu Shimojo, Toshio Murayama, Kenji Tominaga, Cong-Kha Pham An efficient FPGA-based database processor for fast database analytics. Search on Bibsonomy ISCAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto (eds.) Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, Kyoto University, Kyoto, Japan, August 20th to 22nd, 2015. Search on Bibsonomy ILP (Late Breaking Papers) The full citation details ... 2016 DBLP  BibTeX  RDF
1Enguerrand Gentet, Sophie Tourret, Katsumi Inoue Learning from Interpretation Transition using Feed-Forward Neural Networks. Search on Bibsonomy ILP (Short Papers) The full citation details ... 2016 DBLP  BibTeX  RDF
1Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto (eds.) Inductive Logic Programming - 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers Search on Bibsonomy ILP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Emna Ben Abdallah 0001, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue Inference of Delayed Biological Regulatory Networks from Time Series Data. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue Representative Solutions for Multi-Objective Constraint Optimization Problems. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1David Martínez 0004, Guillem Alenyà, Carme Torras, Tony Ribeiro, Katsumi Inoue Learning Relational Dynamics of Stochastic Domains for Planning. Search on Bibsonomy ICAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Tenda Okimoto, Tony Ribeiro, Damien Bouchabou, Katsumi Inoue Mission Oriented Robust Multi-Team Formation and Its Application to Robot Rescue Simulation. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux Identification of biological regulatory networks from Process Hitting models. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander Andreychenko, Morgan Magnin, Katsumi Inoue Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Nicolas Schwind, Katsumi Inoue Characterization of Logic Program Revision as an Extension of Propositional Revision. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations. Search on Bibsonomy ICMLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Martínez 0004, Tony Ribeiro, Katsumi Inoue, Guillem Alenyà, Carme Torras Learning Probabilistic Action Models from Interpretation Transitions. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Marcus Völker, Katsumi Inoue Logic Programming for Cellular Automata. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis Belief Revision Games. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Chiaki Sakama, Katsumi Inoue Can Machines Learn Logics? Search on Bibsonomy AGI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chiaki Sakama, Katsumi Inoue Abduction and Conversational Implicature (Extended Abstract). Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2015 DBLP  BibTeX  RDF
1Maxime Clement, Tenda Okimoto, Nicolas Schwind, Katsumi Inoue Finding Resilient Solutions for Dynamic Multi-Objective Constraint Optimization Problems. Search on Bibsonomy ICAART (2) The full citation details ... 2015 DBLP  BibTeX  RDF
1Chiaki Sakama, Tony Ribeiro, Katsumi Inoue Learning Inference by Induction. Search on Bibsonomy ILP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adrien Rougny, Yoshitaka Yamamoto, Hidetomo Nabeshima, Gauvain Bourgne, Anne Poupon, Katsumi Inoue, Christine Froidevaux Completing signaling networks by abductive reasoning with perturbation experiments. Search on Bibsonomy ILP (Late Breaking Papers) The full citation details ... 2015 DBLP  BibTeX  RDF
1Alexander Andreychenko, Morgan Magnin, Katsumi Inoue Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tenda Okimoto, Nicolas Schwind, Maxime Clement, Tony Ribeiro, Katsumi Inoue, Pierre Marquis How to Form a Task-Oriented Robust Team. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Duc-Hung Le, Tran Bao Thuong Cao, Katsumi Inoue, Cong-Kha Pham A CAM-Based Information Detection Hardware System for Fast Image Matching on FPGA. Search on Bibsonomy IEICE Transactions The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Katsumi Inoue, Tony Ribeiro, Chiaki Sakama Learning from interpretation transition. Search on Bibsonomy Machine Learning The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexandre Medi, Tenda Okimoto, Katsumi Inoue A Two-Phase Complete Algorithm for Multi-Objective Distributed Constraint Optimization. Search on Bibsonomy JACIII The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Katsumi Inoue Logical Modeling of Biological Systems. Search on Bibsonomy 2014   RDF
1Rungsiman Nararatwong, Kotaro Okazaki, Hitoshi Okada, Katsumi Inoue How Social Identity May Matter Most in Brand Crisis Management. Search on Bibsonomy BDCloud The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yoshitaka Yamamoto, Adrien Rougny, Hidetomo Nabeshima, Katsumi Inoue, Hisao Moriya, Christine Froidevaux, Koji Iwanuma Completing SBGN-AF Networks by Logic-Based Hypothesis Finding. Search on Bibsonomy FMMB The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maxime Wack, Tenda Okimoto, Maxime Clement, Katsumi Inoue Local Search Based Approximate Algorithm for Multi-Objective DCOPs. Search on Bibsonomy PRIMA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tenda Okimoto, Tony Ribeiro, Maxime Clement, Katsumi Inoue Modeling and Algorithm for Dynamic Multi-objective Weighted Constraint Satisfaction Problem. Search on Bibsonomy ICAART (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicolas Schwind, Tenda Okimoto, Sébastien Konieczny, Maxime Wack, Katsumi Inoue Utilitarian and Egalitarian Solutions for Multi-objective Constraint Optimization. Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tony Ribeiro, Katsumi Inoue Learning Prime Implicant Conditions from Interpretation Transition. Search on Bibsonomy ILP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tenda Okimoto, Nicolas Schwind, Maxime Clement, Katsumi Inoue Lp-Norm based algorithm for multi-objective distributed constraint optimization. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Duc-Hung Le, Katsumi Inoue, Cong-Kha Pham Design a Fast CAM-Based Exact Pattern Matching System on FPGA and 0.18µm CMOS Process. Search on Bibsonomy IEICE Transactions The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima Completing causal networks by meta-level abduction. Search on Bibsonomy Machine Learning The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Katsumi Inoue, Chiaki Sakama Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Saadat Anwar, Chitta Baral, Katsumi Inoue Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Saadat Anwar, Chitta Baral, Katsumi Inoue Encoding Higher Level Extensions of Petri Nets in Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub Answer set programming as a modeling language for course timetabling. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saadat Anwar, Chitta Baral, Katsumi Inoue Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Tony Ribeiro, Katsumi Inoue, Gauvain Bourgne Combining Answer Set Programs for Adaptive and Reactive Reasoning. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Chiaki Sakama, Katsumi Inoue Abduction, unpredictability and Garden of Eden. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tenda Okimoto, Naoto Ikegai, Katsumi Inoue, Hitoshi Okada, Tony Ribeiro, Hiroshi Maruyama Cyber security problem based on Multi-Objective Distributed Constraint Optimization technique. Search on Bibsonomy DSN Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tenda Okimoto, Maxime Clement, Katsumi Inoue AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization. Search on Bibsonomy MIWAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saadat Anwar, Chitta Baral, Katsumi Inoue Encoding Higher Level Extensions of Petri Nets in Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nicolas Schwind, Katsumi Inoue Characterization Theorems for Revision of Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Maxime Clement, Tenda Okimoto, Tony Ribeiro, Katsumi Inoue Model and Algorithm for Dynamic Multi-Objective Distributed Optimization. Search on Bibsonomy PRIMA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue On-the-Fly Lazy Clause Simplification Based on Binary Resolvents. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Duc-Hung Le, Tran Bao Thuong Cao, Katsumi Inoue, Cong-Kha Pham A fast CAM-based image matching system on FPGA. Search on Bibsonomy ISCAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 246 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license