Search results for: Ryuzo Hasegawa
Lecture Notes in Computer Science > PRICAI 2000 Topics in Artificial Intelligence > Posters > 793-793
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Automated Reasoning > 178-213
Studies in Computational Intelligence > Advances in Practical Multi-Agent Systems > Agent-Based Collaboration, Coordination and Decision Support > 33-48
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Logic Programming: Theory and Extensions > 285-299
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Experimental Papers > 299-308
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Theorem proving > 96-113
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 67-78
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 1-15
Lecture Notes in Computer Science > PRICAI 2008: Trends in Artificial Intelligence > Regular Papers > 839-848