default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNew Generation Computing, Volume 11
Volume 11, Number 1, 1992
- Antonio Brogi
, Evelina Lamma, Paola Mello:
Compositional Model-Theoretic Semantics for Logic Programs. 1-21 - Yi-Dong Shen:
Verifying Local Stratifiability of Logic Programs and Databases. 23-46 - Maurice Bruynooghe, Danny De Schreye, Bern Martens:
A General Criterion for Avoiding Infinite Unfolding during Partial Deduction. 47-79 - Khayri A. M. Ali, Roland Karlsson, Shyam Mudambi:
Performance of Muse on Switch-Based Multiprocessor Machines. 81-103
Volume 11, Number 2, 1993
- Yuejun Jiang:
On the Autoepistemic Reconstruction of Logic Programming. 107-124 - Kim Marriott, Harald Søndergaard:
Difference-List Transformation for Prolog. 125-157 - Toyoaki Nishida, Kenji Mizutani, Shuji Doshita:
Automated Analysis of Qualitative Behaviors of Piecewise Linear Ordinary Differential Equations. 159-177 - Rita Loogen:
Relating the Implementation Techniques of Functional and Functional Logic Languages. 179-215 - Shunichi Uchida, Ryuzo Hasegawa, Kazumasa Yokota, Takashi Chikayama, Katsumi Nitta, Akira Aiba:
Outline of the FGCS Fallow-on Project. 217-222
Volume 11, Number 3, 4, 1993
- William J. Dally:
A Universal Parallel Computer Architecture. 227-249 - Kentaro Shimada, Hanpei Koike, Hidehiko Tanaka:
UNIRED II: The High Performance Inference Processor for the Parallel Inference Machine PIE64. 251-269 - Evan Tick, Xiaoxiong Zhong:
A Compile-Time Granularity Analysis Algorithm and its Performance Evaluation. 271-295 - Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa:
And-Or Parallel Prolog: A Recomputation Based Approach. 297-321 - Kazunori Ueda, Masao Morita:
Message-Oriented Parallel Implementation of Moded Flat GHC. 323-341 - Ivan Bratko:
Applications of Machine Learning: Towards Knowledge Synthesis. 343-360 - Setsuo Arikawa, Satoru Miyano, Ayumi Shinohara, Satoru Kuhara, Yasuhito Mukouchi, Takeshi Shinohara:
A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular Patterns. 361-375 - David Poole:
Logic Programming, Abduction and Probability - A Top-Down Anytime Algorithm for Estimating Prior and Posterior Probabilities. 377-400 - Yoshihiko Ohta, Katsumi Inoue:
Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning. 401-421 - Katsumi Nitta, Yoshihisa Ohtake, Shigeru Maeda, Masayuki Ono, Hiroshi Ohsaki, Kiyokazu Sakane:
HELIC-II: Legal Reasoning System on the Parallel Inference Machine. 423-448 - Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap:
Projecting CLP (R) Constraints. 449-469
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-11-14 21:07 CET 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:
