Keyword : non-monotonic reasoning

Answer Set Semantics for Prioritized Defaults Logic
Hee-Jun YOO Mino BAI Jin-Young CHOI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/12/01
Vol. E87-D  No. 12 ; pp. 2883-2884
Type of Manuscript:  LETTER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
default reasoning, courteous logic programs, priorities, non-monotonic reasoning, intelligent agent, 
 Summary | Full Text:PDF(139KB)
A Temporal Data Maintenance Method in an ATMS
MinSuk LEE YeungGyu PARK ChoongShik PARK Jaihie KIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/02/25
Vol. E83-D  No. 2 ; pp. 295-298
Type of Manuscript:  LETTER
Category: Artificial Intelligence, Cognitive Science
Keyword: 
ATMS, expert system, temporal reasoning, truth maintenance, non-monotonic reasoning, 
 Summary | Full Text:PDF(142.9KB)