Journal of Experimental & Theoretical Artificial Intelligence

A counter-example to all future dynamic systems theories of cognition
pp. 377-382(6)
Author: Dietrich E.

Formal software development in the Verification Support Environment (VSE)
pp. 383-406(24)
Authors: Hutter D.; Langenstein B.; Rock G.; Siekmann J. H.; Stephan W.; Vogt R.

Validation and verification of intelligent systems - what are they and how are they different?
pp. 407-420(14)
Authors: Gonzalez A. J.; Barr V.

Towards validation and refinement of rule-based systems
pp. 421-431(11)
Authors: Knauf R.; Philippow I.; Gonzalez A. J.

Applying formal concepts to learning systems validation
pp. 433-445(13)
Authors: Dötsch V.; Grieser G.; Lange S.

Abstraction and composition: a verification method for co-operating systems
pp. 447-459(13)
Authors: Ochsenschläger P.; Repp J.; Rieke R.

Validation method for intelligent systems
pp. 461-472(12)
Authors: Onoyama T.; Tsuruta S.

A case study in the mechanical verification of fault tolerance
pp. 473-487(15)
Authors: Mantel H.; Gartner F. C.

Towards dependable development tools for embedded systems: a case study in software verification
pp. 489-498(10)
Author: Petermann U.