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
Copyright © Tue Nov 10 00:28:32 2009
by Michael Ley (ley@uni-trier.de)
