Verification Bibliography

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

FIXME 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}

}

%FIXME %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}

}

% FIXME

 @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>

hekate/bib/verification_bibliography.txt · Last modified: 2019/06/27 15:49 (external edit)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0