Koji Iwanuma

Available identifiers

zbMath Open iwanuma.kojiMaRDI QIDQ439022

List of research outcomes

Publication	Date of Publication	Type
An extension of pointwise circumscription	2022-09-27	Paper
Lemma matching for a PTTP-based top-down theorem prover	2019-10-01	Paper
Completing SBGN-AF Networks by Logic-Based Hypothesis Finding	2015-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q2844932	2013-08-20	Paper
Inverse subsumption for complete explanatory induction	2012-07-31	Paper
SOLAR: An automated deduction system for consequence finding	2010-06-17	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2010-03-09	Paper
Reconsideration of circumscriptive induction with pointwise circumscription	2009-08-14	Paper
Theoretical Aspects of Computing – ICTAC 2005	2006-11-01	Paper
Speculative computation through consequence-finding in multi-agent environments	2005-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4415235	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4708922	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4707974	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4501581	2000-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q3793771	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Koji Iwanuma