共 50 条
- [11] Mathematical knowledge representation and reasoning within the framework of strong relevant logic IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, 2001, : 1045 - 1051
- [13] A Framework for Reasoning about the Semantics of Logic Programs Bull Eur Assoc Theor Comput Sci, 59 (426):
- [15] Representing and reasoning with scenarios within information systems modeling CHALLENGES OF INFORMATION TECHNOLOGY MANAGEMENT IN THE 21ST CENTURY, 2000, : 1079 - 1080
- [16] KRF - A METHODOLOGICAL FRAMEWORK FOR REPRESENTING KNOWLEDGE COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1989, 8 (02): : 113 - 130
- [17] A FRAMEWORK FOR REPRESENTING SELF-KNOWLEDGE BULLETIN OF THE BRITISH PSYCHOLOGICAL SOCIETY, 1984, 37 (SEP): : A117 - A117
- [18] Representing incomplete knowledge in case-based reasoning INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 11TH INTERNATIONAL CONFERENCE ON COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 1998, : 133 - 136
- [19] A mathematical framework for the semantics of symbolic languages representing periodic time 11TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2004, : 21 - 27