default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNew Generation Computing, Volume 8
Volume 8, Number 1, 1990
- Hidehiko Tanaka:
Permeation of Knowledge Information Processing Systems. 1-3 - Tok Wang Ling:
The Prolog Not-Predicate and Negation as Failure Rule. 5-31 - Y. I. Jiang:
An Epistemic Model of Logic Programming. 33-59 - Arun Lakhotia, Leon Sterling:
How to Control Unfolding when Specializing Interpreters. 61-70 - Ahmed Guessoum
, John W. Lloyd:
Updating Knowledge Bases. 71-89
Volume 8, Number 2, 1990
- Masayuki Numao:
How Should Prolog Computation Be Represented for Practical Use? 95-112 - N. K. Simpkins:
Chart Parsing in Prolog. 113-138 - Robin M. Snyder:
Lazy Debugging of Lazy Functional Programs. 139-161 - Yukio Kaneda:
Introduction of dosim Predicate to Prolog. 163-181
Volume 8, Number 3, 1990
- K. Hirose:
On Computer Science Curricula at Universities. 183-184 - H. Katsuno:
Closed World Assumptions Having Precedence in Predicates. 185-209 - Thomas Wilmes:
A Generalized Approach to Metaprogramming in Logic Grammars. 211-223 - Steffen Hölldobler, Josef Schneeberger:
A New Deductive Approach to Planning. 225-244 - Verónica Dahl, Fred Popowich:
Parsing and Generation with Static Discontinuity Grammars. 245-274
Volume 8, Number 4, 1991
- Setsuo Arikawa:
Introduction: Special Issue on Algorithmic Learning Theory. 277-280 - Shun-ichi Amari:
Mathematical Theory of Neural Learning. 281-294 - Stephen H. Muggleton:
Inductive Logic Programming. 295-318 - Naoki Abe:
Learning Commutative Deterministic Finite State Automata in Polynomial Time. 319-335 - Ayumi Shinohara:
Teachability in Computational Learning. 337-347 - Klaus P. Jantke:
Monotonic and Non-monotonic Inductive Inference. 349-360 - Steffen Lange, Rolf Wiehagen:
Polynomial-time Inference of Arbitrary Pattern Languages. 361-370 - Takeshi Shinohara:
Inductive Inference of Monotonic Formal Systems from Positive Data. 371-384 - Bipin Indurkhya:
On the Role of Interpretive Analogy in Learning. 385-402 - Masami Hagiya:
Synthesis of Rewrite Programs by Higher-order and Semantic Unification. 403-420
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 2025-02-19 00:47 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:
