Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal on Artificial Intelligence Tools, Volume 2
Volume 2, Number 1, March 1993
- Frederick Hayes-Roth:
The Evolution of Commercial AI Tools: the First Decade. 1-14 - C. V. Ramamoorthy, Daniel E. Cooke, Chitta Baral:
Maintaining the Truth of Specifications in Evolutionary Software. 15-32 - Daniel P. Miranker, Frederic H. Burke, Jeri J. Steele, John Kolts, David R. Haug:
The C++ Embeddable Rule System. 33-46 - Sharon M. Tuttle, Christoph F. Eick:
Historical Rete Networks to Support the Debugging of Forward-Chaining Rule-Based Programs. 47-70 - Horng-Yuan Chen, Jeffrey J. P. Tsai, Yao-Dong Bi:
An Event-Based Real-Time Logic for the Specification and Analysis of Real-Time Systems. 71-92 - Babak Hamidzadeh, Shashi Shekhar:
Dynoraii: a Real-Time Planning Algorithm. 93-116 - Stamatis Vassiliadis, Gerald G. Pechanek, José G. Delgado-Frias:
Spin: the Sequential Pipelined Neuroemulator. 117-132 - Peter Wohl:
Efficiency through Reduced Communication in Message Passing Simulation of Neural Networks. 133-162
Volume 2, Number 2, June 1993
- Diane J. Cook, Gary Lyons:
Massively Parallel IDA* Search. 163-180 - Wei-Tek Tsai, Imran A. Zualkernan, Shekhar H. Kirani:
Pragmatic Testing Methods for Expert Systems. 181-218 - Robert G. Reynolds, Jonathan I. Maletic:
The Use of Version Space Controlled Genetic Algorithms to Solve the Boole Problem. 219-234 - Farokh B. Bastani, Ing-Ray Chen:
Assessment of the Reliability of AI Programs. 235-248 - Antonius J. Hendriks, Damian M. Lyons:
A Methodology for Creating and Adapting Reactive Systems. 249-276 - Mark W. Perlin:
Factored Arc Consistency for Rete Match. 277-306
Volume 2, Number 3, September 1993
- Nicolas Graner, Sunil Sharma, Derek H. Sleeman, Michalis Rissakis, Susan Craw, Chris Moore:
The Machine Learning Toolbox Consultant. 307-328 - Emmanuel Kounalis, Michaël Rusinowitch:
A Logical Framework for Concept Learning with Background Knowledge. 329-348 - Suk I. Yoo, Chang H. Park:
An Inference Browser for Verifying the Knowledge Base in Knowledge-Based Systems. 349-372 - Peggy Israel, Cris Koutsougeras:
A Hybrid Electro-Optical Architecture for Classification Trees and Associative Memory Mechanisms. 373-394 - Jaideep Srivastava, Jau-Hwang Wang, Kuo-Wei Hwang, Wei-Tek Tsai:
A Transaction Model for Parallel Rule Execution Part I: Model and Algorithms. 395-430 - Jau-Hwang Wang, Jaideep Srivastava, Wei-Tek Tsai:
A Transaction Model for Parallel Production Systems Part II: Model and Evaluation. 431-458
Volume 2, Number 4, December 1993
- Shashi Shekhar, Babak Hamidzadeh:
Evaluation of Real-Time Problem Solvers in Dynamic Environments. 459-484 - M'hamed Bouziane, Cheng Hsu:
A Rulebase Model for Data and Knowledge Integration in Multiple Systems Environments. 485-510 - Pierre Marquis:
Skeptical Abduction. 511-540 - Forouzan Golshani, Michael N. Kozicki, Purag Rastogi:
A Real-Time Expert System for Process Management - the Design and Development of Expro. 541-556 - Soheil Shams, Jean-Luc Gaudiot:
Parallel Implementations of Neural Networks. 557-
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-17 21:28 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:
