Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Masahito Kurihara
Multi-Completion With Termination Tools
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
A Deep Neural Network for Pairwise Classification: Enabling Feature Conjunctions and Ensuring Symmetry
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parallelization of Termination Checkers for Algebraic Software
Transactions on Machine Learning and Artificial Intelligence
Formalizing Reasoning for Compromise Toward Dialectical Conflict Resolution
Transactions of the Japanese Society for Artificial Intelligence
Artificial Intelligence
Software
Simulation of Consensus Formation Models Based on Structural Modeling
Identification of Possible Common Causes by Intrinsic Dimension Estimation
Empirical Evaluation of Traffic Performance of Inter-Agent Communication Systems With Mobile Agents
IEEJ Transactions on Electronics, Information and Systems
Electronic Engineering
Electrical
Package-Level Fault Diagnosis of Sequential Circuits Based on Automated Reasoning
IEEJ Transactions on Electronics, Information and Systems
Electronic Engineering
Electrical
Combining Systematic and Local Search for Approximately Solving Fuzzy Constraint Satisfaction Problems
Transactions of the Japanese Society for Artificial Intelligence
Artificial Intelligence
Software
