Prepared by Agata Ligęza, basing on biblio from Antoni Ligęza and Grzegorz J. Nalepa.
Available in the project CVS as hekate-evva.bib
Four last entries need clarification.
<bibtex mode=“text”>
@article{DBLP:journals/aim/Preece92,
author = {Preece, A. D.}, title = {Verification, Validation, and Test of Knowledge-Based Systems}, journal = {AI Magazine}, volume = {13}, number = {4}, year = {1992}, pages = {77}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://www.aaai.org/ojs/index.php/aimagazine/article/viewFile/1024/942}
}
@inproceedings{DBLP:conf/ecai/GerritsS00,
author = {Gerrits, R. and Spreeuwenberg, S.}, title = {VALENS: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base}, booktitle = {ECAI}, year = {2000}, pages = {731-738}, crossref = {DBLP:conf/ecai/2000}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=662171F5F2C8E33A3415210C6A9C3182?doi=10.1.1.18.6450&rep=rep1&type=pdf}
}
@inproceedings{DBLP:conf/flairs/SpreeuwenbergG02,
author = {Spreeuwenberg, S. and Gerrits, R.}, title = {Requirements for Successful Verification in Practice}, booktitle = {FLAIRS Conference}, year = {2002}, pages = {221-225}, crossref = {DBLP:conf/flairs/2002}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://www.lri.jur.uva.nl/~epower/publications/FLAIRS2002.pdf}
}
@article{DBLP:journals/ijmms/Andert92,
author = {Andert, E. P.}, title = {Integrated Knowledge-Based System Design and Validation for Solving Problems in Uncertain Environments}, journal = {International Journal of Man-Machine Studies}, volume = {36}, number = {2}, year = {1992}, pages = {357-373}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://www.reviews.com/reviewer/quickreview/frameset_toplevel.cfm?bib_id=144453}
}
@inproceedings{DBLP:conf/dexaw/Coenen98,
author = {Coenen, F.}, title = {Verification and Validation Issues in Expert and Database Systems: The Expert Systems Perspective}, booktitle = {DEXA Workshop}, year = {1998}, pages = {16-21}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.54.1671&rep=rep1&type=pdf}
}
@inproceedings{DBLP:conf/dexa/Coenen98,
author = {Coenen, F}, title = {Rulebase Checking Using a Spatial Representation}, booktitle = {DEXA}, year = {1998}, pages = {166-175}, ee = {http://link.springer.de/link/service/series/0558/bibs/1460/14600166.htm}, crossref = {DBLP:conf/dexa/1998}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.47.9590&rep=rep1&type=pdf
} }
@inproceedings{DBLP:conf/eurovav/CoenenER99,
author = {Coenen, F. and Eaglestone, B. and Ridley, M.}, title = {Verification, Validation and Integrity in Knowledge and Database Systems: Future Directions}, booktitle = {EUROVAV}, year = {1999}, pages = {297-312}, crossref = {DBLP:conf/eurovav/1999}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://www.csc.liv.ac.uk/~frans/PostScriptFiles/eurovav99.ps}
}
@inproceedings{DBLP:conf/dexaw/EaglestoneR98,
author = {Eaglestone, B. and Ridley, M.}, title = {Verification, Validation and Integrity Issues in Expert and Database Systems: The Database Perspective}, booktitle = {DEXA Workshop}, year = {1998}, pages = {22-27}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.15.6947&rep=rep1&type=pdf}
}
@article{DBLP:journals/ipl/Gottlob87,
author = {Gottlob, G.}, title = {Subsumption and Implication}, journal = {Inf. Process. Lett.}, volume = {24}, number = {2}, year = {1987}, pages = {109-111}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://www.reviews.com/reviewer/quickreview/frameset_toplevel.cfm?bib_id=31163}
}
@article{DBLP:journals/ijmms/Nazareth89,
author = {Nazareth, D. L.}, title = {Issues in the Verification of Knowledge in Rule-Based Systems}, journal = {International Journal of Man-Machine Studies}, volume = {30}, number = {3}, year = {1989}, pages = {255-271}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://www.reviews.com/reviewer/quickreview/frameset_toplevel.cfm?bib_id=69244}
}
@inproceedings{DBLP:conf/ijcai/NguyenPLP85,
author = {Nguyen, T. A. and Perkins, W. A. and Laffey, T. J. and Pecora, D.}, title = {Checking an Expert Systems Knowledge Base for Consistency and Completeness}, booktitle = {IJCAI}, year = {1985}, pages = {375-378}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://dli.iiit.ac.in/ijcai/IJCAI-85-VOL1/PDF/070.pdf}
}
@article{DBLP:journals/aai/LunardhiP95,
author = {Lunardhi, A. D. and Passino, K. M.}, title = {Verification of Qualitative properties of rule-based expert systems}, journal = {Applied Artificial Intelligence}, volume = {9}, number = {6}, year = {1995}, pages = {587-621}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://www.ece.osu.edu/~passino/PapersToPost/verif-ES-AAI.pdf}
}
@article{DBLP:journals/ijmms/Preece93,
author = {Preece, A. D.}, title = {A New Approach to Detecting Missing Knowledge in Expert System Rule Bases}, journal = {International Journal of Man-Machine Studies}, volume = {38}, number = {4}, year = {1993}, pages = {661-688}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://users.cs.cf.ac.uk/A.D.Preece/publications/download/ijhcs1993.pdf}
}
@inproceedings{DBLP:conf/eurovav/VanthienenMW97,
author = {Vanthienen, J. and Mues, Ch. and Wets, G.}, title = {Inter-Tabular Verification in an Interactive Environment}, booktitle = {EUROVAV}, year = {1997}, pages = {155-165}, crossref = {DBLP:conf/eurovav/1997}, bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/ijmms/Craw96,
author = {Craw, S.}, title = {Refinement complements verification and validation}, journal = {nternational Journal of Human Computer Studies}, volume = {44}, number = {2}, year = {1996}, pages = {245-256}, ee = {http://dx.doi.org/10.1006/ijhc.1996.0012}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://www.comp.rgu.ac.uk/staff/smc/papers/acpress-ijhcs96.pdf}
}
@article{Meseguer93,
author = {Meseguer, P. and Verdaguer, A.}, title = {Verification of multi-level rule-based expert systems: theory and practice}, journal = {Int. J. Expert Syst.}, volume = {6}, number = {2}, year = {1993}, issn = {0894-9077}, pages = {163--192}, publisher = {JAI Press, Inc.}, address = {Greenwich, CT, USA}, url = {http://www.reviews.com/reviewer/quickreview/frameset_toplevel.cfm?bib_id=159299}
}
@inproceedings{DBLP:conf/ecai/Meseguer92,
author = {Meseguer, P.}, title = {Incremental Verification of Rule-Based Expert Systems}, booktitle = {ECAI}, year = {1992}, pages = {840-844}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://www.reviews.com/reviewer/quickreview/frameset_toplevel.cfm?bib_id=147581}
}
@Article{Preece94,
author = {Preece, A. D. and Shinghal, R.}, title = {Foundation and application of knowledge base verification}, journal = {International Journal of Intelligent Systems}, volume = {9}, number = {8}, year = {1994}, pages = {249--269}, url = {http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=8AA80DD129FFA9E68923804DA265B116?doi=10.1.1.17.2310&rep=rep1&type=pdf}
}
@Article{Amar,
author = {Amar, B. and Ayel, M.}, title = {Validation of rule bases containing constraints}, journal = {ECAI'96 Workshop on Validation, Verification and Refinement of Knowledge-Based Systems}, year = {1996}, pages = {120-125}, address = {Budapest}, url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.55.5336&rep=rep1&type=pdf}
}
@Article{Harmelen98,
author = {van Harmelen, F.}, title = {Applying rule-base anomalies to KADS inference structures}, journal = {ECAI'96 Workshop on Validation, Verification and Refinement of Knowledge-Based Systems}, year = {1996}, pages = {41-46}, address = {Budapest}, url = {http://www.cs.vu.nl/~frankh/postscript/DSS98.pdf}
}
@article{DBLP:journals/aim/NguyenPLP87,
author = {Nguyen, T. A. and Perkins, W. A. and Laffey, T. J. and Pecora, D.}, title = {Knowledge-Base Verification}, journal = {AI Magazine}, volume = {8}, number = {2}, year = {1987}, pages = {69-75}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://www.aaai.org/ojs/index.php/aimagazine/article/view/584/520}
}
@Article{chang:eva,
author = {Chang, C. L. and Combs, J. B. and Stachowitz, R. A.}, title = {A report on the Expert Systems Validation Associate (EVA)}, journal = {Expert Systems with Applications}, year = {1990}, volume = {1}, number = {3}, pages = {217-230}
}
@Article{knauf:2005:kese,
author = {Knauf, R.}, title = {The Engineering of System Refinement or: What AI Learnt from Software Engineering}, journal = {Fachberichte Informatik Universität Koblenz-Landau}, year = {2005}, OPTnumber = {28th German Conference on Artificial Intelligence (KI-2005), Koblenz, Germany}, number = {28th German Conference on Artificial Intelligence (KI-2005), Workshop on Knowledge Engineering and Software Engineering, Koblenz, Germany, ISSN 1860-4471}, pages = {59-70}, annote = {ISSN 1860-4471}
}
@Article{Tepandi,
author = {Tepandi, J.}, title = {Verification, testing, and validation of rule-based expert systems}, journal = {Proceedings of the 11-th IFAC World Congress}, address = {Tallin}, year = {1990}, pages = {162-167}
}
@Article{Lamb,
author = {Lamb, N. and Preece, A. D.}, title = {Verification of multi-agent knowledge-based systems}, journal = {ECAI'96 Workshop on Validation, Verification and Refinement of Knowledge-Based Systems}, year = {1996}, pages = {114-119}, address = {Budapest}
}
@Article{Preece91a,
author = {Preece, A. D. and {\em et al.}}, title = {Verifying rule-based systems}, journal = {Technical Report}, publisher = {postscript available from the author}, year = {1991}, pages = {25 pp.}
}
@Article{Preece91b,
author = {Preece, A. D.}, title = {Methods for verifying expert system knowledge bases}, journal = {Technical Report}, publisher = {postscript available from the author}, year = {1991}, pages = {37 pp.}
}
@Article{Ligeza94,
author = {Ligeza, A.}, title = {Rule-based control systems. Design and implementation problems.}, year = {1994}, publisher = {available from the author}
}
@inproceedings{Ligeza96,
author = {Ligeza, A.}, title = {Logical support for design of RBS. Reliability and quality issues}, booktitle = {ECAI}, year = {1996}, crossref = {DBLP:conf/ecai/1996}
}
@inproceedings{DBLP:conf/ecai/PreeceS92,
author = {Preece, A. D. and Shinghal, R.}, title = {Verifying Knowledge Bases by Anomaly Detection: An Experience Report}, booktitle = {ECAI}, year = {1992}, pages = {835-839}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://www.reviews.com/reviewer/quickreview/frameset_toplevel.cfm?bib_id=147577}
}
@inproceedings{DBLP:conf/ifip/PreeceBS92,
author = {Preece, A. D. and Bell, R. D. and Suen, Ch. Y.}, title = {Verifying Knowledge-Based Systems Using the COVER Tool}, booktitle = {IFIP Congress (3)}, year = {1992}, pages = {231-237}, crossref = {DBLP:conf/ifip/1992-3}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://www.reviews.com/reviewer/quickreview/frameset_toplevel.cfm?bib_id=660526}
}
@article{DBLP:journals/ijmms/PreeceGR96,
author = {Preece, A. D. and Grossner, C. and Radhakrishnan, T.}, title = {Validating dynamic properties of rule-based systems}, journal = {Int. J. Hum.-Comput. Stud.}, volume = {44}, number = {2}, year = {1996}, pages = {145-169}, ee = {http://dx.doi.org/10.1006/ijhc.1996.0008}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.16.9611&rep=rep1&type=pdf}
}
@article{DBLP:journals/jss/Preece95,
author = {Preece, A. D.}, title = {Toward a quality assessment framework for knowledge-based systems}, journal = {Journal of Systems and Software}, volume = {29}, number = {3}, year = {1995}, pages = {219-234}, ee = {http://dx.doi.org/10.1016/0164-1212(94)00106-W}, bibsource = {DBLP, http://dblp.uni-trier.de} url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.17.5880&rep=rep1&type=pdf}
}
@ARTICLE{O'keefe96,
author = {O'Keefe, R. O. and Preece, A. D.}, title = {The development, validation and implementation of knowledge-based systems}, journal = {European Journal of Operational Research}, year = {1996}, volume = {92}, pages = {458--473}, url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.17.3908&rep=rep1&type=pdf}
}
@INPROCEEDINGS{Meseguer96,
author = {Meseguer, P. and Preece, A. D.}, title = {Assessing the Role of Formal Specifications in Verification and Validation of Knowledge-Based Systems}, booktitle = {Procedings of the Third International Conference on Achieving Quality in Software}, year = {1996}, pages = {317--328}, publisher = {Chapman & Hall}, url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.18.251&rep=rep1&type=pdf}
}
@article{DBLP:journals/kbs/Preece99,
author = {Preece, A. D.}, title = {C$_{\mbox{OVERAGE}}$: verifying multiple-agent knowledge-based systems}, journal = {Knowl.-Based Syst.}, volume = {12}, number = {1-2}, year = {1999}, pages = {37-44}, ee = {http://dx.doi.org/10.1016/S0950-7051(99)00006-4}, bibsource = {DBLP, http://dblp.uni-trier.de}, url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.17.6599&rep=rep1&type=pdf}
}
@book{Liebowitz97,
author = {Liebowitz, J.}, title = {The Handbook of Applied Expert Systems}, year = {1997}, isbn = {0849331064}, publisher = {CRC Press, Inc.}, address = {Boca Raton, FL, USA}
}
@InBook{Hoog,
author = {de Hoog, R.}, title = {The Handbook of Applied Expert Systems}, chapter = {Methodologies for Building Knowledge-Based Systems: Achievements and Prospectus}, publisher = {CRC Press}, year = {1997}
}
@InBook{Vermesan:98,
author = {Vermesan, A.}, title = {The Handbook of Applied Expert Systems}, chapter = {Foundation and Application of Expert System Verification and Validation.}, publisher = {CRC Press}, year = {1997}
}
@Book{Buchanan,
editor = {Buchanan, B. G. and Shortliffe, E. H.}, title = {Rule-Based Expert Systems}, publisher = {Addison-Wesley Publishing Company}, year = {1985}, address = {Reading, Massachusetts}
}
@InBook{Suwa,
editor = {Buchanan, B. G. and Shortliffe, E. H.}, author = {Suwa, M. and Scott, C. A. and Shortliffe, E. H.}, title = {Rule-Based Expert Systems}, chapter = {Completeness and consistency in rule-based expert system}, publisher = {Addison-Wesley Publishing Company}, year = {1985}, pages = {159-170}
}
@Book{Vermesan:99,
editor = {Vermesan, A. I. and Coenen, F.}, title = {Validation and Verification of Knowledge Based Systems. Theory, Tools and Practice}, publisher = {Kluwer Academic Publisher}, year = {1999}, address = {Boston}
}
@InBook{Vermesan:99a,
author = {Vermesan, A. {\em et al.}}, title = {In \cite{Vermesan:99}}, chapter = {Verification and validation in support for software certification methods.}, publisher = {Kluwer Academic Publisher}, year = {1999}, pages = {277--295}
}
@Manual{prologa,
title = {PROcedural LOgic Analyzer 5.1}, author = {Vanthienen, J.}, month = {September}, year = {2000}
}
@Unpublished{preece:cover,
author = {Preece, A.D.}, title = {Methods for Verifying Expert System Knowledge Base}, note = {availbale from apreece\@csd.abdn.ac.uk}
}
@book{DBLP:series/sci/2006-11,
author = {Ligeza, A.}, title = {Logical Foundations for Rule-Based Systems}, publisher = {Springer}, series = {Studies in Computational Intelligence}, volume = {11}, year = {2006}, isbn = {978-3-540-29117-6}, bibsource = {DBLP, http://dblp.uni-trier.de}
}
% %Czym (jesli w ogole) roznia sie te pozycje. Pierwsza to pozycja z DBLP, druga - z biblio prof. Ligezy. @article{DBLP:journals/ires/Bench-CaponCCDEFGLV99,
author = {Bench-Capon, T. J. M. and Castelli, D. and Coenen, F. and Devendeville-Brisoux, L. and Eaglestone, B. and Fiddian, N. J. and Gray, W. A. and Lig\k{e}za, A. and Vermesan, A. I.}, title = {Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems}, journal = {Inf. Res.}, volume = {4}, number = {3}, year = {1999}, url = {http://informationr.net/ir/4-3/paper55.html}, bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{ GRANT99-8,
author = {Bench-Capon T. et al.}, title = {Validation, Verification and Integrity Issues in Expert and Database Systems}, journal = {Expert Update}, year = {1999}, volume = {2}, number = {1}, pages = {31-35}, note = {Lig\k{e}za co-author}, url = {http://www.comp.rgu.ac.uk/staff/nw/ExpertUpdate/PostScriptFiles/dexa98confRep.ps}
}
%
@proceedings{DBLP:conf/eurovav/1999, editor = {Vermesan, A. I. and Coenen, F.}, title = {Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV'99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 1999, Oslo, Norway}, booktitle = {EUROVAV}, publisher = {Kluwer}, year = {1999}, isbn = {0-7923-8645-0}, bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{Coenen00,
author = {Coenen, F.}, title = {Validation and verification of knowledge based systems: Report on EUROVAV'99}, journal = {Knowledge Engineering Review 15:2}, year = {2000}, pages = {187--196}, url = {http://www.ricam.oeaw.ac.at/Groebner-Bases-Bibliography/gbbib_files/publication_171.ps}
}
</bibtex>