|
|
|
|
Semantics of Normal Goals as Acquisitors Caused by Negation as Failure
Susumu YAMASAKI | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/06/01
Vol. E86-D
No. 6
pp. 993-1000
Type of Manuscript:
PAPER
Category: Theory and Models of Software
Keyword:
logic programming, model theory, negation as failure, | | | Summary | Full Text:PDF | |
|
|
|
|
|
|
|
|
|
|
|
|
|
A Network of Communicating Logic Programs as an Extension of Kahn's Model
Susumu YAMASAKI | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 1991/04/25
Vol. E74-D
No. 4
pp. 965-974
Type of Manuscript:
PAPER
Category: Automaton, Language and Theory of Computing
Keyword:
| | | Summary | Full Text:PDF | |
|
Equational Dataflow Programs Computing Logic Programs
Susumu YAMASAKI | Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1988/11/25
Vol. E71-E
No. 11
pp. 1134-1139
Type of Manuscript:
PAPER
Category: Automaton, Language and Theory of Computing
Keyword:
| | | Summary | Full Text:PDF | |
|
The Satisfiability Problems for Some Classes of Extended Horn Sets in the Propositional Logic
Susumu YAMASAKI Shuji DOSHITA | Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1982/07/25
Vol. E65-E
No. 7
pp. 390-396
Type of Manuscript:
PAPER
Category: Miscellaneous
Keyword:
| | | Summary | Full Text:PDF | |
|