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