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 reasoningcourteous logic programsprioritiesnon-monotonic reasoningintelligent agent
 Summary | Full Text:PDF

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: 
ATMSexpert systemtemporal reasoningtruth maintenancenon-monotonic reasoning
 Summary | Full Text:PDF