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