Journal of Experimental and Theoretical Artificial Intelligence, Volume 12

Volume 12, Number 1, January 2000

Xinchuan Zeng, Tony R. Martinez: Distribution-balanced stratified cross-validation for accuracy estimation. 1-12 BibTeX
John Sullins: Transcending the meat: immersive technologies and computer mediated bodies. 13-22 BibTeX
Kate Larson, Tuomas Sandholm: Anytime coalition structure generation: an average case study. 23-42 BibTeX
K. R. Chervinskaya, E. L. Wasserman: Some methodological aspects of tacit knowledge elicitation. 43-55 BibTeX
Louis Sanzogni, Ringo Chan, Richard F. Bonner: Perceptrons with polynomial post-processing. 57-68 BibTeX
Eliezer L. Lozinskii: Explaining by evidence. 69-89 BibTeX
Jozef Kelemen, Gheorghe Paun: Robustness of decentralized knowledge systems: a grammar-theoretic view. 91-100 BibTeX
Abdel-Illah Mouaddib: A study of a dynamic progressive reasoning system. 101-122 BibTeX

Henry Hexmoor, David Kortenkamp: Introduction to autonomy control software. 123-127 BibTeX
K. Suzanne Barber, Anuj Goel, Cheryl E. Martin: Dynamic adaptive autonomy in multi-agent systems. 129-147 BibTeX
Rino Falcone, Cristiano Castelfranchi: Grounding autonomy adjustment on delegation and trust theory. 149-151 BibTeX
James P. Gunderson, Worthy N. Martin: The effects of uncertainty on plan success in a simulated maintenance robot domain. 153-164 BibTeX
Joanna Bryson: Cross-paradigm analysis of autonomous agent architecture. 165-189 BibTeX
Paul Scerri, Nancy E. Reed: Engineering characteristics of autonomous agent architectures. 191-212 BibTeX
Larry D. Pyeatt, Adele E. Howe: Evaluating robustness in a two layer simulated robot architecture. 213-234 BibTeX
Maurizio Piaggio, Antonio Sgorbissa, Renato Zaccaria: Pre-emptive versus non-pre-emptive real time scheduling in intelligent mobile robotics. 235-245 BibTeX

Varol Akman: Introduction to the special issue on philosophical foundations of artificial intelligence. 247-250 BibTeX
Colin Allen, Gary Varner, Jason Zinser: Prolegomena to any future artificial moral agent. 251-261 BibTeX
Murat Aydede, Guven Guzeldere: Consciousness, intentionality and intelligence: some foundational issues for artificial intelligence. 263-277 BibTeX
Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini: Contextual reasoning distilled. 279-305 BibTeX
Selmer Bringsjord, Hong Xiao: A refutation of Penrose's Gödelian case against artificial intelligence. 307-329 BibTeX
Robert M. French: Peeking behind the screen: the unsuspected power of the standard Turing Test. 331-340 BibTeX
John McCarthy: Free will - even for robots. 341-352 BibTeX
Steve Torrance: Producing mind. 353-376 BibTeX

Editorial

Eric Dietrich: A counter-example to all future dynamic systems theories of cognition. 377-382 BibTeX

Articles

Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal software development in the Verification Support Environment (VSE). 383-406 BibTeX
Avelino J. Gonzalez, Valerie Barr: Validation and verification of intelligent systems - what are they and how are they different? 407-420 BibTeX
Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez: Towards validation and refinement of rule-based systems. 421-431 BibTeX
Volker Dötsch, Gunter Grieser, Steffen Lange: Applying formal concepts to learning systems validation. 433-445 BibTeX
Peter Ochsenschläger, Jürgen Repp, Roland Rieke: Abstraction and composition: a verification method for co-operating systems. 447-459 BibTeX
Takashi Onoyama, Setsuo Tsuruta: Validation method for intelligent systems. 461-472 BibTeX
Heiko Mantel, Felix C. Gärtner: A case study in the mechanical verification of fault tolerance. 473-487 BibTeX
Uwe Petermann: Towards dependable development tools for embedded systems: a case study in software verification. 489-498 BibTeX