Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 23
Volume 23, Numbers 1-2, 1998
- Sanjay Jain, Arun Sharma:
Generalization and Specialization Strategies for Learning r.e. Languages. 1-26 - Steffen Lange, Jochen Nessel, Rolf Wiehagen:
Learning Recursive Languages from Good Examples. 27-52 - Atsuyoshi Nakamura, Jun'ichi Takeuchi, Naoki Abe:
Efficient Distribution-Free Population Learning of Simple Concepts. 53-82 - Peter Auer, Nicolò Cesa-Bianchi:
On-Line Learning with Malicious Noise and the Closure Algorithm. 83-99 - Hiroki Ishizaka, Hiroki Arimura
, Takeshi Shinohara:
Finding Tree Patterns Consistent with Positive and Negative Examples Using Queries. 101-115 - Thomas Zeugmann:
Lange and Wiehagen's Pattern Language Learning Algorithm: An Average-Case Analysis with Respect to its Total Learning Time. 117-145 - William I. Gasarch, Mark G. Pleszkoch, Frank Stephan, Mahendran Velauthapillai:
Classification Using Information. 147-168 - Yoshiaki Okubo, Makoto Haraguchi:
Constructing Predicate Mappings for Goal-Dependent Abstraction. 169-197 - Rusins Freivalds, Ognian Botuscharov, Rolf Wiehagen:
Identifying Nearly Minimal Gödel Numbers from Additional Information. 199-209
Volume 23, Number 3-4, 1998
- Elizabeth Bradley, Abbie O'Gallagher, Janet Rogers:
Global Solutions for Nonlinear Systems Using Qualitative Reasoning. 211-228 - Gennady Davydov, Inna Davydova, Hans Kleine Büning:
An Efficient Algorithm for the Minimal Unsatisfiability Problem for a Subclass of CNF. 229-245 - Qingxun Yu, Mohammed Almulla, Monroe M. Newborn:
Heuristics Used by HERBY for Semantic Tree Theorem Proving. 247-266 - Zippora Arzi-Gonczarowski, Daniel Lehmann:
Introducing the Mathematical Category of Artificial Perceptions. 267-298 - Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou:
Adaptation of Declaratively Represented Methods in Proof Planning. 299-320 - Endre Boros, Ondrej Cepek, Alexander Kogan:
Horn Minimization by Iterative Decomposition. 321-343 - Jinchang Wang:
Inference Guiding in Propositional Knowledge Bases. 345-356
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-22 20:02 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:
