Search dblp for Publications

export results for "toc:db/journals/ijait/ijait2.bht:"

 download as .bib file

@article{DBLP:journals/ijait/BastaniC93,
  author       = {Farokh B. Bastani and
                  Ing{-}Ray Chen},
  title        = {Assessment of the Reliability of {AI} Programs},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {2},
  pages        = {235--248},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000138},
  doi          = {10.1142/S0218213093000138},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/BastaniC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/BouzianeH93,
  author       = {M'hamed Bouziane and
                  Cheng Hsu},
  title        = {A Rulebase Model for Data and Knowledge Integration in Multiple Systems
                  Environments},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {4},
  pages        = {485--510},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000230},
  doi          = {10.1142/S0218213093000230},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/BouzianeH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/ChenTB93,
  author       = {Horng{-}Yuan Chen and
                  Jeffrey J. P. Tsai and
                  Yao{-}Dong Bi},
  title        = {An Event-Based Real-Time Logic for the Specification and Analysis
                  of Real-Time Systems},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {1},
  pages        = {71--92},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000060},
  doi          = {10.1142/S0218213093000060},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/ChenTB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/CookL93,
  author       = {Diane J. Cook and
                  Gary Lyons},
  title        = {Massively Parallel IDA* Search},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {2},
  pages        = {163--180},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000102},
  doi          = {10.1142/S0218213093000102},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/CookL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/GolshaniKR93,
  author       = {Forouzan Golshani and
                  Michael N. Kozicki and
                  Purag Rastogi},
  title        = {A Real-Time Expert System for Process Management - the Design and
                  Development of Expro},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {4},
  pages        = {541--556},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000254},
  doi          = {10.1142/S0218213093000254},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijait/GolshaniKR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/GranerSSRCM93,
  author       = {Nicolas Graner and
                  Sunil Sharma and
                  Derek H. Sleeman and
                  Michalis Rissakis and
                  Susan Craw and
                  Chris Moore},
  title        = {The Machine Learning Toolbox Consultant},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {3},
  pages        = {307--328},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000163},
  doi          = {10.1142/S0218213093000163},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/GranerSSRCM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/HamidzadehS93,
  author       = {Babak Hamidzadeh and
                  Shashi Shekhar},
  title        = {Dynoraii: a Real-Time Planning Algorithm},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {1},
  pages        = {93--116},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000072},
  doi          = {10.1142/S0218213093000072},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/HamidzadehS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/Hayes-Roth93,
  author       = {Frederick Hayes{-}Roth},
  title        = {The Evolution of Commercial {AI} Tools: the First Decade},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {1},
  pages        = {1--14},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000023},
  doi          = {10.1142/S0218213093000023},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/Hayes-Roth93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/HendriksL93,
  author       = {Antonius J. Hendriks and
                  Damian M. Lyons},
  title        = {A Methodology for Creating and Adapting Reactive Systems},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {2},
  pages        = {249--276},
  year         = {1993},
  url          = {https://doi.org/10.1142/S021821309300014X},
  doi          = {10.1142/S021821309300014X},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/HendriksL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/IsraelK93,
  author       = {Peggy Israel and
                  Cris Koutsougeras},
  title        = {A Hybrid Electro-Optical Architecture for Classification Trees and
                  Associative Memory Mechanisms},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {3},
  pages        = {373--394},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000199},
  doi          = {10.1142/S0218213093000199},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/IsraelK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/KounalisR93,
  author       = {Emmanuel Kounalis and
                  Micha{\"{e}}l Rusinowitch},
  title        = {A Logical Framework for Concept Learning with Background Knowledge},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {3},
  pages        = {329--348},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000175},
  doi          = {10.1142/S0218213093000175},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/KounalisR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/Marquis93,
  author       = {Pierre Marquis},
  title        = {Skeptical Abduction},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {4},
  pages        = {511--540},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000242},
  doi          = {10.1142/S0218213093000242},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/Marquis93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/MirankerBSKH93,
  author       = {Daniel P. Miranker and
                  Frederic H. Burke and
                  Jeri J. Steele and
                  John Kolts and
                  David R. Haug},
  title        = {The C\({}_{\mbox{++}}\) Embeddable Rule System},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {1},
  pages        = {33--46},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000047},
  doi          = {10.1142/S0218213093000047},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/MirankerBSKH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/Perlin93,
  author       = {Mark W. Perlin},
  title        = {Factored Arc Consistency for Rete Match},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {2},
  pages        = {277--306},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000151},
  doi          = {10.1142/S0218213093000151},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/Perlin93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/RamamoorthyCB93,
  author       = {C. V. Ramamoorthy and
                  Daniel E. Cooke and
                  Chitta Baral},
  title        = {Maintaining the Truth of Specifications in Evolutionary Software},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {1},
  pages        = {15--32},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000035},
  doi          = {10.1142/S0218213093000035},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/RamamoorthyCB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/ReynoldsM93,
  author       = {Robert G. Reynolds and
                  Jonathan I. Maletic},
  title        = {The Use of Version Space Controlled Genetic Algorithms to Solve the
                  Boole Problem},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {2},
  pages        = {219--234},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000126},
  doi          = {10.1142/S0218213093000126},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/ReynoldsM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/ShamsG93,
  author       = {Soheil Shams and
                  Jean{-}Luc Gaudiot},
  title        = {Parallel Implementations of Neural Networks},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {4},
  pages        = {557},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000266},
  doi          = {10.1142/S0218213093000266},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/ShamsG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/ShekharH93,
  author       = {Shashi Shekhar and
                  Babak Hamidzadeh},
  title        = {Evaluation of Real-Time Problem Solvers in Dynamic Environments},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {4},
  pages        = {459--484},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000229},
  doi          = {10.1142/S0218213093000229},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/ShekharH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/SrivastavaWHT93,
  author       = {Jaideep Srivastava and
                  Jau{-}Hwang Wang and
                  Kuo{-}Wei Hwang and
                  Wei{-}Tek Tsai},
  title        = {A Transaction Model for Parallel Rule Execution Part {I:} Model and
                  Algorithms},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {3},
  pages        = {395--430},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000205},
  doi          = {10.1142/S0218213093000205},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/SrivastavaWHT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/TsaiZK93,
  author       = {Wei{-}Tek Tsai and
                  Imran A. Zualkernan and
                  Shekhar H. Kirani},
  title        = {Pragmatic Testing Methods for Expert Systems},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {2},
  pages        = {181--218},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000114},
  doi          = {10.1142/S0218213093000114},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/TsaiZK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/TuttleE93,
  author       = {Sharon M. Tuttle and
                  Christoph F. Eick},
  title        = {Historical Rete Networks to Support the Debugging of Forward-Chaining
                  Rule-Based Programs},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {1},
  pages        = {47--70},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000059},
  doi          = {10.1142/S0218213093000059},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/TuttleE93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/VassiliadisPD93,
  author       = {Stamatis Vassiliadis and
                  Gerald G. Pechanek and
                  Jos{\'{e}} G. Delgado{-}Frias},
  title        = {Spin: the Sequential Pipelined Neuroemulator},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {1},
  pages        = {117--132},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000084},
  doi          = {10.1142/S0218213093000084},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/VassiliadisPD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/WangST93,
  author       = {Jau{-}Hwang Wang and
                  Jaideep Srivastava and
                  Wei{-}Tek Tsai},
  title        = {A Transaction Model for Parallel Production Systems Part {II:} Model
                  and Evaluation},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {3},
  pages        = {431--458},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000217},
  doi          = {10.1142/S0218213093000217},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/WangST93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/Wohl93,
  author       = {Peter Wohl},
  title        = {Efficiency through Reduced Communication in Message Passing Simulation
                  of Neural Networks},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {1},
  pages        = {133--162},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000096},
  doi          = {10.1142/S0218213093000096},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/Wohl93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/YooP93,
  author       = {Suk I. Yoo and
                  Chang H. Park},
  title        = {An Inference Browser for Verifying the Knowledge Base in Knowledge-Based
                  Systems},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {2},
  number       = {3},
  pages        = {349--372},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218213093000187},
  doi          = {10.1142/S0218213093000187},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/YooP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics