Volume 23, Numbers 1-2, 1998
Selected papers from ALT 94 and AII 94
Editor:
Michael M. Richter
- 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
Artificial Intelligence and Mathematics VII
Editor:
Martin Charles Golumbic
- Elizabeth Bradley, A. O'Gallagher, J. 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 J. 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

Last update Thu May 23 12:21:29 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page