|
| Keyword : logic programming
| |
|
Speculative Computation and Abduction for an Autonomous Agent
Ken SATOH | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/09/01
Vol. E88-D
No. 9 ;
pp. 2031-2038
Type of Manuscript:
Special Section PAPER (Special Section on Software Agent and Its Applications)
Category:
Keyword:
speculative computation, abduction, belief revision, logic programming, | | | Summary | Full Text:PDF | |
|
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 | |
| |
| |
| |
| |
|
|