Koji Iwanuma

From MaRDI portal
Person:439022

Available identifiers

zbMath Open iwanuma.kojiMaRDI QIDQ439022

List of research outcomes





PublicationDate of PublicationType
An extension of pointwise circumscription2022-09-27Paper
Lemma matching for a PTTP-based top-down theorem prover2019-10-01Paper
Completing SBGN-AF networks by logic-based hypothesis finding2015-08-06Paper
Conditional answer computation in SOL as speculative computation in multi-agent environments2013-08-20Paper
Inverse subsumption for complete explanatory induction2012-07-31Paper
SOLAR: An automated deduction system for consequence finding2010-06-17Paper
SOLAR: a consequence finding system for advanced reasoning2010-03-09Paper
Reconsideration of circumscriptive induction with pointwise circumscription2009-08-14Paper
Theoretical Aspects of Computing – ICTAC 20052006-11-01Paper
Speculative computation through consequence-finding in multi-agent environments2005-01-17Paper
https://portal.mardi4nfdi.de/entity/Q44152352003-07-28Paper
https://portal.mardi4nfdi.de/entity/Q47089222003-06-20Paper
https://portal.mardi4nfdi.de/entity/Q47079742003-06-12Paper
https://portal.mardi4nfdi.de/entity/Q45015812000-09-04Paper
https://portal.mardi4nfdi.de/entity/Q37937711988-01-01Paper

Research outcomes over time

This page was built for person: Koji Iwanuma

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:439022&oldid=6971381"
Powered by MediaWiki