Visual design and on-line verification of tabular rule-based systems with XTT

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-72, Issue , 2005, Pages 303-312

  Ligȩza, Antoni ^a   Nalepa, Grzegorz J ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EXPRESSIVE POWER; EXTENDED TABULAR TREES; KNOWLEDGE BASE; NEW APPROACHES; ON-LINE VERIFICATIONS; RULE-BASED SYSTEM; VERIFICATION PROCESS; VISUAL EDITORS;

COMPUTER AIDED DESIGN; DECISION TABLES; DECISION TREES; E-LEARNING; FORESTRY; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; TOOLS;

ELECTRONIC COMMERCE;

EID: 84880206549     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Piero A. Bonatti and et al. Rule-based policy specification - state of the art and future work. Technical report, REWERSE, 2004.
2. Valerie Barr and Zdravko Markov, editors. Proceedings of the Seventeenth International Florida Arti cial Intelligence Research Society Conference, Miami Beach, Florida, USA. AAAI Press, 2004.
3. Michael A. Covington, Donald Nute, and André Vellino. Prolog programming in dept Prentice-Hall, 1997.
4. Rik Gerrits and Silvie Spreeuwenberg. VALENS: A Knowledge Based To ol to Va lidate and Ve rify an Aion Knowledge Base. In ECAI, pages 731-738, 2000.
5. Adrain A. Hopgood. Intelligent Systems for Engineers and Scientists. CRC Press, Boca Raton London New York Washington, D.C., 2nd edition, 2001.
6. Susan M. Haller and Gene Simmons, editors Proceedings of the Fifteenth International Florida Arti cial Intelligence Research Society Conference, May 14-16, 2002, Pe nsacola Beach, Florida, USA. AAAI Press, 2002.
7. Peter Jackson. Introduction to Expert Systems. Addison-Wesley, 3rd edition, 1999.
8. Rainer Knauf, Silvie Spreeuwenberg, Rik Gerrits, and Martin Jendreck. A Step out of the Ivory Tower: Experiences with Adapting a Test Case Generation Idea to Business Rules. In FLAIRS Conference, 2004.
9. Jay Liebowitz, editor. The Handbook of Applied Expert Systems. CRC Press, Boca Raton, 1998.
10. Antoni Ligȩza. Logical support for design of rule-based systems. Reliability and quality issues. In M.C. Rousset, editor ECAI-96 Workshop on Validation, Verication and Renment of Knowledge-based Systems, volume W2. ECAI'96, Budapest, 1996.
11. Antoni Ligȩza. Logical Foundations for Rule-Based Systems. AGH University of Science and Technology Press, Kraków, 2005.
12. Antoni Ligȩza, Igor Wojnicki, and Grzegorz J. Nalepa. Tab-Trees: a CASE tool for design of extended tabular systems. In H.C. Mayr et al., editor, Database and Expert Systems Applications, volume LNCS 2113 of Lecture Notes in Computer Sciences, pages 422-431. Springer-Verlag, Berlin, 2001.
13. Grzegorz J. Nalepa. Meta-Level Approach to Integrated Process of Design and I mple-mentation of Rule-Based Systems. PhD thesis, AGH University of Science and Technology, AGH Institute of Automatics, Cracow, Poland, September 2004.
14. Michael Negnevitsky Arti cial Intelligence. A Guide to Intelligent Systems. Addison-Wesley, Harlow, England; London; New York, 2002.
15. Grzegorz J. Nalepa and Antoni Ligȩza. Security Systems Design and Analysis Using an Integrated Rule-Based Systems Approach. In Piotr Szczepaniak, Janusz Kacprzyk, and Adam Niewiadomski, editors, Advances in We b Intelligence: 3rd Atlantic We b I telli-gence Conference AWIC 2005, volume LNAI 3528, pages 334-340. Springer-Verlag, 2005.
16. Alun D. Preece, R. D. Bell, and Ching Y. Suen. Verifying Knowledge-Based Systems Using the COVER Tool. I IFIP Congress (3), pages 231-237, 1992.
17. Alun D. Preece, Clifford Grossner, P. Gokul Chander, and Thiruvengadam Radhakrishnan. Structure-Based Validation of Rule-Based Systems. Data Knowl. Eng., 26(2):161-189, 1998.
18. Silvie Spreeuwenberg and Rik Gerrits. Requirements for Successful Ve rification in Practice. In FLAIRS Conference, pages 221-225, 2002.
19. Anca Vermesan and Frans Coenen, editors. Validation and Verication of Knowledge Based Systems. Theory, Tools and Practice. Kluwer Academic Publisher, Boston, 1999.
20. Gerd Wagner Foundations of Knowledge Systems with Applications to Databases and Agents. Kluwer Academic Publishers, 1998.