Tab-trees: A CASE tool for the design of extended tabular systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2113, Issue , 2001, Pages 422-431

  Ligęza, Antoni ^a   Wojnicki, Igor ^a   Nalepa, Grzegorz J ^a  

^a CRACOW UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION TREES; DESIGN; EXPERT SYSTEMS; FORESTRY;

ANALYSIS AND VERIFICATIONS; ATOMIC VALUES; BACKGROUND THEORY; DESIGN PROCESS; QUALITATIVE PROPERTIES; RELATIONAL DATABASE; TOOL SUPPORTING; TOOL USE;

DECISION TABLES;

EID: 84949456152     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-44759-8_42     Document Type: Article

References (19)

1. Andert, E. P.: Integrated knowledge-based system design and validation for solving problems in uncertain environments. Int. J. of Man-Machine Studies, 36, 1992, 357-373.
2. Coenen, F.: Verification and validation in expert and database systems: The expert systems perspective. A Keynote presentation in [17], 1998, 16-21.
3. Coenen, F.: Rulebase checking using a spatial representation. In [13], 1998, 166-175.
4. Coenen, F., B. Eaglestone and M. Ridley: Validation, Verification and integrity in knowledge and data base systems: future directions. In [15], 1999, 297-311.
5. Gouyon, Jean-Paul: Kheops Users's Guide, Report of Laboratoire d'Automatique et d'Analyse des Systemes, No.: 92503, 1994, Toulouse.
6. Ligęza, A.: A note on backward dual resolution and its application to proving completeness of rule-based systems. Proceedings of the 13th Int. Joint Conference on Artificial Intelligence (IJCAI). Chambery, France 1, 1993, 132-137.
7. Ligęza, A.: Towards design of complete rule-based control systems, IFAC/IMACS International Workshop on Artificial Intelligence in Real-Time Control, IFAC, Bled, Slovenia, 1995, 189-194.
8. Ligęza, A.: Logical support for design of rule-based systems. Reliability and quality issues, ECAI-96 Workshop on Validation, Verification and Refinement of Knowledge-based Systems, ECAI'96, Budapest, 1996, 28-34.
9. Ligęza, A.: Towards logical analysis of tabular rule-based systems. In [17], 1998, 30-35.
10. Ligęza, A.: Intelligent data and knowledge analysis and Verification; towards a taxonomy of specific problems. In [15], 1999, 313-325.
11. Ligęza, A.: Towards logical analysis of tabular rule-based systems. International Journal of Intelligent Systems, 16, 2001, 333-360.
12. Milne, R., C. Nicol, L. Travé-Massuyèz and J. Quevedo, TIGER: Knowledge based gas turbine condition monitoring, Applications and Innovations in Expert Systems III, SGES Publications, 1995, 3, Cambridge, Oxford, 23-43.
13. Quirchmayr, G., Schweighofer, E. and T.J.M. Bench-Capon (Eds.): Database and Expert Systems Applications. Proceedings of the 9th Int. Conf., DEXA'98, Vienna, Springer-Verlag Lecture Notes in Computer Sciences. Berlin, 1460, 1998.
14. Preece, A. D.: A new approach to detecting missing knowledge in expert system rule bases. Int. J. Man-Machine Studies. 38, 1993, 661-668.
15. Vermesan, A. and F. Coenen (Eds.): Validation and Verification of Knowledge Based Systems -Theory, Tools and Practice. Kluwer Academic Publishers, Boston, 1999.
16. Vermesan, A. et al.: Verification and validation in support for software certification methods. In [15], 1999, 277-295.
17. Wagner, R. R. (ed.): Database and Expert Systems Applications. Proceedings of the Ninth InternationalWorkshop, Vienna; IEEE Computer Society, Los Alamitos, CA., 1998.
18. Attar Software, XpertRule 3.0 http://www.attar.com/pages/info xr.htm.
19. AITECH Katowice, Sphinx 2.3, http://www.aitech.gliwice.pl/.