Susumu Yamasaki

Available identifiers

zbMath Open yamasaki.susumuMaRDI QIDQ920623

List of research outcomes

Publication	Date of Publication	Type
Logic programming with default, weak and strict negations	2007-02-13	Paper
Soundness of abductive proof procedure with respect to constraint for non-ground abducibles	1999-01-12	Paper
SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs	1997-02-27	Paper
Transformation of logic programs to FP programs based on dataflows	1994-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4287468	1994-06-20	Paper
A denotational semantics and dataflow construction for logic programs	1994-04-05	Paper
Recursion equation sets computing logic programs	1990-01-01	Paper
A fixpoint semantics of Horn sentences based on substitution sets	1987-01-01	Paper
Resolution deduction to detect satisfiability for another class including non-Horn sentences in propositional logic	1986-01-01	Paper
A new combination of input and unit deductions for Horn sentences	1984-01-01	Paper
The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic	1983-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: Susumu Yamasaki