Katsumi Inoue
- An FPGA-Based Hardware Accelerator for Energy-Efficient Bitmap Index Creation
2018/03/13 by Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen +2 · 1 voice
#cs.AR
- Encoding Petri Nets in Answer Set Programming for Simulation Based\n Reasoning
2013/06/14 by Saadat Anwar, Anwar, Saadat, Chitta Baral +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies
- An Efficient I/O Architecture for RAM-based Content-Addressable Memory\n on FPGA
2018/03/27 by Xuan-Thuan Nguyen, Trong-Thuc Hoang, Nguyen, Xuan-Thuan +8 · 1 voice
Chemistry · Computer Science · Medicine · #Ear and Head Tumors #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Network Packet Processing and Optimization #Quinazolinone synthesis and applications #cs.AR
- Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning
2013/11/19 by Katsumi Inoue, Inoue, Katsumi, Chiaki Sakama +1 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Machine Learning (cs.LG) #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies
- Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems
2026/07/20 by Akihiro Takemura, Katsumi Inoue
Psychology · Neuroscience · #Child and Animal Learning Development #Embodied and Extended Cognition #Action Observation and Synchronization