15754 search results - page 184 / 3151 » Programs are Knowledge Bases |
ECAI
1998
Springer
15 years 8 months ago
1998
Springer
128
click to vote
KR
1998
Springer
15 years 8 months ago
1998
Springer
The paper investigates the characterisation of vague concepts within the framework of modal logic. This work builds on the supervaluation approach of Fine and exploits the idea of...
153
click to vote
CHI
1997
ACM
15 years 8 months ago
1997
ACM
Critiquing systems are a type of active, knowledge-based design support system. They propose to positively influence designers’ cognitive processes by pointing out potential pro...