Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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 - John P. Sullins:
Transcending the meat: immersive technologies and computer mediated bodies. 13-22 - Kate Larson, Tuomas Sandholm:
Anytime coalition structure generation: an average case study. 23-42 - K. R. Chervinskaya, E. L. Wasserman:
Some methodological aspects of tacit knowledge elicitation. 43-55 - Louis Sanzogni, Ringo Chan, Richard F. Bonner:
Perceptrons with polynomial post-processing. 57-68 - Eliezer L. Lozinskii:
Explaining by evidence. 69-89 - Jozef Kelemen, Gheorghe Paun:
Robustness of decentralized knowledge systems: a grammar-theoretic view. 91-100 - Abdel-Illah Mouaddib:
A study of a dynamic progressive reasoning system. 101-122
Volume 12, Number 2, April 2000
- Henry Hexmoor, David Kortenkamp:
Introduction to autonomy control software. 123-127 - K. Suzanne Barber, Anuj Goel, Cheryl E. Martin:
Dynamic adaptive autonomy in multi-agent systems. 129-147 - Rino Falcone, Cristiano Castelfranchi:
Grounding autonomy adjustment on delegation and trust theory. 149-151 - James P. Gunderson, Worthy N. Martin:
The effects of uncertainty on plan success in a simulated maintenance robot domain. 153-164 - Joanna Bryson
:
Cross-paradigm analysis of autonomous agent architecture. 165-189 - Paul Scerri, Nancy E. Reed:
Engineering characteristics of autonomous agent architectures. 191-212 - Larry D. Pyeatt, Adele E. Howe:
Evaluating robustness in a two layer simulated robot architecture. 213-234 - Maurizio Piaggio, Antonio Sgorbissa, Renato Zaccaria:
Pre-emptive versus non-pre-emptive real time scheduling in intelligent mobile robotics. 235-245
Volume 12, Number 3, July 2000
- Varol Akman:
Introduction to the special issue on philosophical foundations of artificial intelligence. 247-250 - Colin Allen, Gary Varner, Jason Zinser:
Prolegomena to any future artificial moral agent. 251-261 - Murat Aydede, Guven Guzeldere:
Consciousness, intentionality and intelligence: some foundational issues for artificial intelligence. 263-277 - Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini:
Contextual reasoning distilled. 279-305 - Selmer Bringsjord, Hong Xiao:
A refutation of Penrose's Gödelian case against artificial intelligence. 307-329 - Robert M. French:
Peeking behind the screen: the unsuspected power of the standard Turing Test. 331-340 - John McCarthy:
Free will - even for robots. 341-352 - Steve Torrance:
Producing mind. 353-376
Volume 12, Number 4, October 2000
- Eric Dietrich:
A counter-example to all future dynamic systems theories of cognition. 377-382
- 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 - Avelino J. Gonzalez, Valerie Barr:
Validation and verification of intelligent systems - what are they and how are they different? 407-420 - Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez:
Towards validation and refinement of rule-based systems. 421-431 - Volker Dötsch, Gunter Grieser, Steffen Lange:
Applying formal concepts to learning systems validation. 433-445 - Peter Ochsenschläger, Jürgen Repp, Roland Rieke:
Abstraction and composition: a verification method for co-operating systems. 447-459 - Takashi Onoyama, Setsuo Tsuruta:
Validation method for intelligent systems. 461-472 - Heiko Mantel, Felix C. Gärtner:
A case study in the mechanical verification of fault tolerance. 473-487 - Uwe Petermann:
Towards dependable development tools for embedded systems: a case study in software verification. 489-498
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 20:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
