Keyword : logic programming


Encoding Argumentation Semantics by Boolean Algebra
Fuan PU Guiming LUO Zhou JIANG 
Publication:   
Publication Date: 2017/04/01
Vol. E100-D  No. 4 ; pp. 838-848
Type of Manuscript:  PAPER
Category: Artificial Intelligence, Data Mining
Keyword: 
argumentation frameworkacceptability semanticsBoolean algebraBoolean constraint solverlogic programmingquerying strategies
 Summary | Full Text:PDF

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

Implementation of a Parallel Prolog System on a Distributed Memory Parallel Computer
Hideo MATSUDA Toru KAWABATA Yukio KANEDA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/04/25
Vol. E80-D  No. 4 ; pp. 504-509
Type of Manuscript:  Special Section PAPER (Special Issue on Parallel and Distributed Supercomputing)
Category: 
Keyword: 
parallel Prologlogic programmingload balancingsearch problemsdata parallelism
 Summary | Full Text:PDF

Conceptual Graph Programs and Their Declarative Semantics
Bikash Chandra GHOSH Vilas WUWONGSE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/09/25
Vol. E78-D  No. 9 ; pp. 1208-1217
Type of Manuscript:  PAPER
Category: Artificial Intelligence and Cognitive Science
Keyword: 
artificial intelligenceknowledge representationconceptual structuresconceptual graphslogic programmingorder-sorted logicnon-classical logicdeclarative semantics
 Summary | Full Text:PDF

cu-Prolog for Constraint-Based Natural Language Processing
Hiroshi TSUDA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1994/02/25
Vol. E77-D  No. 2 ; pp. 171-180
Type of Manuscript:  Special Section PAPER (Special Issue on Natural Language Processing and Understanding)
Category: 
Keyword: 
artificial intelligencenatural language processinglogic programming
 Summary | Full Text:PDF

Analogical Reasoning as a Form of Hypothetical Reasoning
Ryohei ORIHARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/07/25
Vol. E75-D  No. 4 ; pp. 477-486
Type of Manuscript:  Special Section PAPER (Special Issue on Algorithmic Learning Theory)
Category: 
Keyword: 
artificial intelligence and cognitive sciencedatabasesanalogical reasoninglogic programminghypothetical reasoningabductiongeneralized stable model
 Summary | Full Text:PDF