Add to ORKG[[abstract]]We propose the use of task based specifications in conceptual graphs to construct and verify a conceptual model. Task based specification methodology is used to serve as the mechanism to structure the knowledge captured in the conceptual model; whereas, conceptual graphs are adopted as the formalism to express task based specifications. Verifying a conceptual model is performed on model specifications of a task through constraint satisfaction and relaxation techniques, and on process specifications of the task based on the resolution algorithm and the notion of specificit
The Kiss-method uses graphical structures to represent the models which are constructed during analy...
Traditional approaches to validation and verification of KBS aim at investigating properties of a KB...
This thesis describes original research in the field of knowledge representation and reasoning by pr...
[[abstract]]In this paper, we propose the use of task-based specifications in conceptual graphs (TBC...
[[abstract]]A conceptual model is a model of real world concepts and application domains as perceive...
[[abstract]]We propose the use of conceptual graphs to express task based specifications in which th...
[[abstract]]It is widely recognized that requirements engineering is a knowledge-intensive process a...
[[abstract]]As knowledge-based system technology gains wider acceptance, there is an increasing need...
[[abstract]]In this paper, we propose an approach to reusing requirements specification, called task...
The research works on knowledge validation aim at enhancing the quality of knowledge bases. The conc...
Cognitive modeling is the creation of computer-based processes that mimic human problem-solving and ...
The task structure diagramming technique can be used to graphically denote process specifications. I...
[[abstract]]A number of approaches have been proposed in tackling the timetabling problem, such as o...
The increasing complexity of enterprise systems requires a more advanced analysis about the represen...
Vita.There has been an increasing interest in improving the quality and reliability of artificial in...
The Kiss-method uses graphical structures to represent the models which are constructed during analy...
Traditional approaches to validation and verification of KBS aim at investigating properties of a KB...
This thesis describes original research in the field of knowledge representation and reasoning by pr...
[[abstract]]In this paper, we propose the use of task-based specifications in conceptual graphs (TBC...
[[abstract]]A conceptual model is a model of real world concepts and application domains as perceive...
[[abstract]]We propose the use of conceptual graphs to express task based specifications in which th...
[[abstract]]It is widely recognized that requirements engineering is a knowledge-intensive process a...
[[abstract]]As knowledge-based system technology gains wider acceptance, there is an increasing need...
[[abstract]]In this paper, we propose an approach to reusing requirements specification, called task...
The research works on knowledge validation aim at enhancing the quality of knowledge bases. The conc...
Cognitive modeling is the creation of computer-based processes that mimic human problem-solving and ...
The task structure diagramming technique can be used to graphically denote process specifications. I...
[[abstract]]A number of approaches have been proposed in tackling the timetabling problem, such as o...
The increasing complexity of enterprise systems requires a more advanced analysis about the represen...
Vita.There has been an increasing interest in improving the quality and reliability of artificial in...
The Kiss-method uses graphical structures to represent the models which are constructed during analy...
Traditional approaches to validation and verification of KBS aim at investigating properties of a KB...
This thesis describes original research in the field of knowledge representation and reasoning by pr...