This is an old revision of the document!
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>
