Koji Iwanuma

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An extension of pointwise circumscription Artificial Intelligence	2022-09-27	Paper
Lemma matching for a PTTP-based top-down theorem prover Automated Deduction—CADE-14	2019-10-01	Paper
Completing SBGN-AF networks by logic-based hypothesis finding Formal Methods in Macro-Biology	2015-08-06	Paper
Conditional answer computation in SOL as speculative computation in multi-agent environments	2013-08-20	Paper
Inverse subsumption for complete explanatory induction Machine Learning	2012-07-31	Paper
SOLAR: An automated deduction system for consequence finding AI Communications	2010-06-17	Paper
SOLAR: a consequence finding system for advanced reasoning Lecture Notes in Computer Science	2010-03-09	Paper
Reconsideration of circumscriptive induction with pointwise circumscription Journal of Applied Logic	2009-08-14	Paper
Theoretical Aspects of Computing – ICTAC 2005 Lecture Notes in Computer Science	2006-11-01	Paper
Speculative computation through consequence-finding in multi-agent environments Annals of Mathematics and Artificial Intelligence	2005-01-17	Paper
scientific article; zbMATH DE number 1954197 (Why is no real title available?)	2003-07-28	Paper
scientific article; zbMATH DE number 1931664 (Why is no real title available?)	2003-06-20	Paper
scientific article; zbMATH DE number 1927148 (Why is no real title available?)	2003-06-12	Paper
scientific article; zbMATH DE number 1500560 (Why is no real title available?)	2000-09-04	Paper
scientific article; zbMATH DE number 4058914 (Why is no real title available?)	1988-01-01	Paper

Research outcomes over time

This page was built for person: Koji Iwanuma