DocumentCode
1939465
Title
Hypothetical reasoning with modalities on some integrity constraints
Author
Sakai, Hiroshi
Author_Institution
Dept. of Comput. Eng., Kyushu Inst. of Technol., Kitakyushu, Japan
fYear
1994
fDate
28-31 Mar 1994
Firstpage
171
Lastpage
175
Abstract
Hypothetical reasoning with modalities on some integrity constraints is proposed. This procedure characterizes formulas which surely hold in spite of incomplete knowledge. The prover is also implemented on a Sparc Station 10 by K-Prolog
Keywords
constraint handling; heuristic programming; inference mechanisms; uncertainty handling; K-prolog; Sparc Station 10; hypothetical reasoning; incomplete knowledge; integrity constraints; modalities; Artificial intelligence; Expert systems; Logic programming; Magnetic heads;
fLanguage
English
Publisher
ieee
Conference_Titel
Expert Systems for Development, 1994., Proceedings of International Conference on
Conference_Location
Bangkok
Print_ISBN
0-8186-5780-4
Type
conf
DOI
10.1109/ICESD.1994.302286
Filename
302286
Link To Document