Keyword : model theory


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 programmingmodel theorynegation as failure
 Summary | Full Text:PDF